Use this URL to cite or link to this record in EThOS:
Title: Specifying and analysing institutions in multi-agent systems using answer set programming
Author: Cliffe, Owen
ISNI:       0000 0000 7620 8888
Awarding Body: University of Bath
Current Institution: University of Bath
Date of Award: 2007
Availability of Full Text:
Access from EThOS:
Access from Institution:
It is recognised that normative systems, and in particular electronic institutions and contracts are a potentially powerful means for making agent interactions in multi-agent systems effective and efficient. However, correctly specifying the behaviour of such systems is a difficult problem. Designers are faced with two concurrent, complex tasks: firstly they must specify the relationships (over time) between agents’ actions and their effects, and secondly they must also consider how agents’ actions are to be regulated through the definition of agents’ permissions and obligations. Such systems are typi- cally complex, and given this complexity it may be difficult for a designer to determine whether their original objectives have been captured by the specification of the system. In this dissertation we seek to address some of the problems associated with institu- tional specification. In order to do this we present a model for specifying institutions based on the notion of socially constructed reality that accounts not only for how the action and events which constitute the institution are described, but also how they are regulated. Institutions may be used in a number of ways, and may account for concepts at varying levels of abstraction. Recognising this we also investigate how several insti- tutions, each accounting for a particular aspect of a society may be composed and how the relationships between these institutions may be expressed. Given this model, we then demonstrate how, using the answer set programming paradigm institutional spec- ifications based on our model may be checked for the absence or presence of certain (un)desirable properties.
Supervisor: Not available Sponsor: Not available
Qualification Name: Thesis (Ph.D.) Qualification Level: Doctoral
EThOS ID:  DOI: Not available