Specifying and Reasoning about Multiple Institutions

O Cliffe; M De Vos; J Padget

doi:10.1007/978-3-540-74459-7_5

Specifying and Reasoning about Multiple Institutions

Department of Computer Science

Research output: Chapter or section in a book/report/conference proceeding › Chapter in a published conference proceeding

45 Citations (SciVal)

Abstract

Correctly specifying the behaviour of normative systems such as contracts and institutions is a troublesome problem. Designers are faced with two concurrent, difficult tasks: firstly specifying the relationships (over time) of agents’ actions and their effects, and secondly combining this model with another that captures the agents’ permissions and obligations. In this paper we present our model and operational semantics for specifying individual and collective institutions and outline a declarative action language for describing them. We demonstrate, by way of an example, how this may be used to enable the analysis of institutional specifications either for simply visualising possible outcomes or for checking for absence or presence of certain (un)desirable correctness properties.

Original language	English
Title of host publication	Coordination, Organizations, Institutions, and Norms in Agent Systems II AAMAS 2006 and ECAI 2006 International Workshops, COIN 2006 Hakodate, Japan, May 9, 2006 Riva del Garda, Italy, August 28, 2006. Revised Selected Papers
Editors	Pablo Noriega, Javier Vazquez-Salceda, Guido Boella, Olivier Boissier, Virginia Dignum, Nicoletta Fornara, Eric Matson
Place of Publication	Heidelberg
Publisher	Springer
Pages	67-85
Number of pages	19
Volume	4386/2007
DOIs	https://doi.org/10.1007/978-3-540-74459-7_5
Publication status	Published - Aug 2007
Event	Coordination, Organizations, Institutions, and Norms in Agent Systems II - Duration: 1 Aug 2007 → …

Publication series

Name	Lecture Notes in Computer Science
Publisher	Springer

Conference

Conference	Coordination, Organizations, Institutions, and Norms in Agent Systems II
Period	1/08/07 → …

Access to Document

10.1007/978-3-540-74459-7_5

Cite this

Cliffe, O., De Vos, M., & Padget, J. (2007). Specifying and Reasoning about Multiple Institutions. In P. Noriega, J. Vazquez-Salceda, G. Boella, O. Boissier, V. Dignum, N. Fornara, & E. Matson (Eds.), Coordination, Organizations, Institutions, and Norms in Agent Systems II AAMAS 2006 and ECAI 2006 International Workshops, COIN 2006 Hakodate, Japan, May 9, 2006 Riva del Garda, Italy, August 28, 2006. Revised Selected Papers (Vol. 4386/2007, pp. 67-85). (Lecture Notes in Computer Science). Springer. https://doi.org/10.1007/978-3-540-74459-7_5

Specifying and Reasoning about Multiple Institutions. / Cliffe, O; De Vos, M ; Padget, J.
Coordination, Organizations, Institutions, and Norms in Agent Systems II AAMAS 2006 and ECAI 2006 International Workshops, COIN 2006 Hakodate, Japan, May 9, 2006 Riva del Garda, Italy, August 28, 2006. Revised Selected Papers. ed. / Pablo Noriega; Javier Vazquez-Salceda; Guido Boella; Olivier Boissier; Virginia Dignum; Nicoletta Fornara; Eric Matson. Vol. 4386/2007 Heidelberg: Springer, 2007. p. 67-85 (Lecture Notes in Computer Science).

Research output: Chapter or section in a book/report/conference proceeding › Chapter in a published conference proceeding

Cliffe, O, De Vos, M & Padget, J 2007, Specifying and Reasoning about Multiple Institutions. in P Noriega, J Vazquez-Salceda, G Boella, O Boissier, V Dignum, N Fornara & E Matson (eds), Coordination, Organizations, Institutions, and Norms in Agent Systems II AAMAS 2006 and ECAI 2006 International Workshops, COIN 2006 Hakodate, Japan, May 9, 2006 Riva del Garda, Italy, August 28, 2006. Revised Selected Papers. vol. 4386/2007, Lecture Notes in Computer Science, Springer, Heidelberg, pp. 67-85, Coordination, Organizations, Institutions, and Norms in Agent Systems II, 1/08/07. https://doi.org/10.1007/978-3-540-74459-7_5

Cliffe O, De Vos M , Padget J. Specifying and Reasoning about Multiple Institutions. In Noriega P, Vazquez-Salceda J, Boella G, Boissier O, Dignum V, Fornara N, Matson E, editors, Coordination, Organizations, Institutions, and Norms in Agent Systems II AAMAS 2006 and ECAI 2006 International Workshops, COIN 2006 Hakodate, Japan, May 9, 2006 Riva del Garda, Italy, August 28, 2006. Revised Selected Papers. Vol. 4386/2007. Heidelberg: Springer. 2007. p. 67-85. (Lecture Notes in Computer Science). doi: 10.1007/978-3-540-74459-7_5

Cliffe, O ; De Vos, M ; Padget, J. / Specifying and Reasoning about Multiple Institutions. Coordination, Organizations, Institutions, and Norms in Agent Systems II AAMAS 2006 and ECAI 2006 International Workshops, COIN 2006 Hakodate, Japan, May 9, 2006 Riva del Garda, Italy, August 28, 2006. Revised Selected Papers. editor / Pablo Noriega ; Javier Vazquez-Salceda ; Guido Boella ; Olivier Boissier ; Virginia Dignum ; Nicoletta Fornara ; Eric Matson. Vol. 4386/2007 Heidelberg : Springer, 2007. pp. 67-85 (Lecture Notes in Computer Science).

@inproceedings{97ca4caebf64493c83bc684f2f94f880,

title = "Specifying and Reasoning about Multiple Institutions",

abstract = "Correctly specifying the behaviour of normative systems such as contracts and institutions is a troublesome problem. Designers are faced with two concurrent, difficult tasks: firstly specifying the relationships (over time) of agents{\textquoteright} actions and their effects, and secondly combining this model with another that captures the agents{\textquoteright} permissions and obligations. In this paper we present our model and operational semantics for specifying individual and collective institutions and outline a declarative action language for describing them. We demonstrate, by way of an example, how this may be used to enable the analysis of institutional specifications either for simply visualising possible outcomes or for checking for absence or presence of certain (un)desirable correctness properties.",

author = "O Cliffe and {De Vos}, M and J Padget",

year = "2007",

month = aug,

doi = "10.1007/978-3-540-74459-7_5",

language = "English",

volume = "4386/2007",

series = "Lecture Notes in Computer Science",

publisher = "Springer",

pages = "67--85",

editor = "Pablo Noriega and Javier Vazquez-Salceda and Guido Boella and Olivier Boissier and Virginia Dignum and Nicoletta Fornara and Eric Matson",

booktitle = "Coordination, Organizations, Institutions, and Norms in Agent Systems II AAMAS 2006 and ECAI 2006 International Workshops, COIN 2006 Hakodate, Japan, May 9, 2006 Riva del Garda, Italy, August 28, 2006. Revised Selected Papers",

note = "Coordination, Organizations, Institutions, and Norms in Agent Systems II ; Conference date: 01-08-2007",

}

TY - GEN

T1 - Specifying and Reasoning about Multiple Institutions

AU - Cliffe, O

AU - De Vos, M

AU - Padget, J

PY - 2007/8

Y1 - 2007/8

N2 - Correctly specifying the behaviour of normative systems such as contracts and institutions is a troublesome problem. Designers are faced with two concurrent, difficult tasks: firstly specifying the relationships (over time) of agents’ actions and their effects, and secondly combining this model with another that captures the agents’ permissions and obligations. In this paper we present our model and operational semantics for specifying individual and collective institutions and outline a declarative action language for describing them. We demonstrate, by way of an example, how this may be used to enable the analysis of institutional specifications either for simply visualising possible outcomes or for checking for absence or presence of certain (un)desirable correctness properties.

AB - Correctly specifying the behaviour of normative systems such as contracts and institutions is a troublesome problem. Designers are faced with two concurrent, difficult tasks: firstly specifying the relationships (over time) of agents’ actions and their effects, and secondly combining this model with another that captures the agents’ permissions and obligations. In this paper we present our model and operational semantics for specifying individual and collective institutions and outline a declarative action language for describing them. We demonstrate, by way of an example, how this may be used to enable the analysis of institutional specifications either for simply visualising possible outcomes or for checking for absence or presence of certain (un)desirable correctness properties.

UR - http://dx.doi.org/10.1007/978-3-540-74459-7_5

U2 - 10.1007/978-3-540-74459-7_5

DO - 10.1007/978-3-540-74459-7_5

M3 - Chapter in a published conference proceeding

VL - 4386/2007

T3 - Lecture Notes in Computer Science

SP - 67

EP - 85

BT - Coordination, Organizations, Institutions, and Norms in Agent Systems II AAMAS 2006 and ECAI 2006 International Workshops, COIN 2006 Hakodate, Japan, May 9, 2006 Riva del Garda, Italy, August 28, 2006. Revised Selected Papers

A2 - Noriega, Pablo

A2 - Vazquez-Salceda, Javier

A2 - Boella, Guido

A2 - Boissier, Olivier

A2 - Dignum, Virginia

A2 - Fornara, Nicoletta

A2 - Matson, Eric

PB - Springer

CY - Heidelberg

T2 - Coordination, Organizations, Institutions, and Norms in Agent Systems II

Y2 - 1 August 2007

ER -

Specifying and Reasoning about Multiple Institutions

Abstract

Publication series

Conference

Access to Document

Other files and links

Fingerprint

Cite this