Specifying and Reasoning about Multiple Institutions

O Cliffe, M De Vos, J Padget

Research output: Chapter in Book/Report/Conference proceedingConference contribution

38 Citations (Scopus)

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 languageEnglish
Title of host publicationCoordination, 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
EditorsPablo Noriega, Javier Vazquez-Salceda, Guido Boella, Olivier Boissier, Virginia Dignum, Nicoletta Fornara, Eric Matson
Place of PublicationHeidelberg
PublisherSpringer
Pages67-85
Number of pages19
Volume4386/2007
DOIs
Publication statusPublished - Aug 2007
EventCoordination, Organizations, Institutions, and Norms in Agent Systems II -
Duration: 1 Aug 2007 → …

Publication series

NameLecture Notes in Computer Science
PublisherSpringer

Conference

ConferenceCoordination, Organizations, Institutions, and Norms in Agent Systems II
Period1/08/07 → …

Fingerprint Dive into the research topics of 'Specifying and Reasoning about Multiple Institutions'. Together they form a unique fingerprint.

  • 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