TY - GEN
T1 - Formalizing a language for institutions and norms
AU - Esteva, M
AU - Padget, J
AU - Sierra, C
N1 - ID number: ISI:000179912200026
PY - 2002
Y1 - 2002
N2 - One source of trust for physical trading systems is their physical assets and simply their presence. A similar baseline does not exist for electronic trading systems, but one way in which it may be possible to create that initial trust is through the abstract notion of an institution, defined in terms of norms [19] and the scenes within which (software) agents may play roles in different trading activities, governed by those norms. We present here a case for institutions in electronic trading, a specification language for institutions (covering norms, performative structure, scenes, roles, etc.) and its semantics and how this may be mapped into formal languages such as process algebra and various forms of logic, so that there is a framework within which norms can be stated and proven.
AB - One source of trust for physical trading systems is their physical assets and simply their presence. A similar baseline does not exist for electronic trading systems, but one way in which it may be possible to create that initial trust is through the abstract notion of an institution, defined in terms of norms [19] and the scenes within which (software) agents may play roles in different trading activities, governed by those norms. We present here a case for institutions in electronic trading, a specification language for institutions (covering norms, performative structure, scenes, roles, etc.) and its semantics and how this may be mapped into formal languages such as process algebra and various forms of logic, so that there is a framework within which norms can be stated and proven.
UR - http://www.scopus.com/inward/record.url?scp=84901721452&partnerID=8YFLogxK
M3 - Chapter in a published conference proceeding
SN - 0302-9743
VL - 2333
T3 - Lecture Notes in Artificial Intelligence
SP - 348
EP - 366
BT - Intelligent Agents Viii: Agent Theories, Architectures, and Languages
ER -