Specifying and Reasoning about Multiple Institutions
Cliffe, O., De Vos, M. and Padget, J., 2007. Specifying and Reasoning about Multiple Institutions. In: Noriega, P., Vazquez-Salceda, J., Boella, G., Boissier, O., Dignum, V., Fornara, N. and Matson, E., eds. Coordination, Organizations, Institutions, and Norms in Agent Systems II, 2007-08-01. Heidelberg: Springer, pp. 67-85. (Lecture Notes in Computer Science)
Related documents:This repository does not currently have the full-text of this item.
You may be able to access a copy if URLs are provided below.
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.
|Item Type||Conference or Workshop Items (UNSPECIFIED)|
|Creators||Cliffe, O., De Vos, M. and Padget, J.|
|Editors||Noriega, P., Vazquez-Salceda, J., Boella, G., Boissier, O., Dignum, V., Fornara, N. and Matson, E.|
|Departments||Faculty of Science > Computer Science|
Actions (login required)