Formal specification of artificial institutions using the event calculus
- Fornara, Nicoletta Istituto di tecnologie della comunicazione (ITC), Facoltà di scienze della comunicazione, Università della Svizzera italiana, Svizzera
- Colombetti, Marco Istituto di tecnologie della comunicazione (ITC), Facoltà di scienze della comunicazione, Università della Svizzera italiana, Svizzera
-
2008
40 p.
English
The specification of open interaction systems, which may be dynamically entered and left by autonomous agents, is widely recognized to be a crucial issue in the development of distributed applications on the internet. The specification of such systems involves two main problems: the first is the definition of a standard way of specifying a communication language for the interacting agents and the context of the interaction; the second, which derives from the assumption of the agents' autonomy, is finding a way to regulate interactions so that agents may have reliable expectations on the future development of the system. A possible approach to solve those problems consists in modelling the interaction systems as a set of artificial institutions. In this chapter we address this issue by formally defining, in the Event Calculus, a repertoire of abstract concepts (like commitment, institutional power, role, norm) that can be used to specify artificial institutions. We then show how, starting from the formal specification of a system and using a suitable tool, it is possible to simulate and monitor the systems evolution through automatic deduction.
- Language
-
- English
- Classification
- Information, communication and media sciences
- License
- License undefined
- Identifiers
-
- RERO DOC 11727
- ARK ark:/12658/srd1318060
- Persistent URL
- https://n2t.net/ark:/12658/srd1318060
Statistics
Document views: 31
File downloads:
- ITC_TR05.pdf: 52