Design patterns: elements of reusable object-oriented software
Design patterns: elements of reusable object-oriented software
Z: An Introduction to Formal Methods
Z: An Introduction to Formal Methods
Formal Conversations for the Contract Net Protocol
Proceedings of the 9th ECCAI-ACAI/EASSS 2001, AEMAS 2001, HoloMAS 2001 on Multi-Agent-Systems and Applications II-Selected Revised Papers
Conversational semantics sustained by commitments
Autonomous Agents and Multi-Agent Systems
Modelling flexible social commitments and their enforcement
ESAW'04 Proceedings of the 5th international conference on Engineering Societies in the Agents World
DIAGAL: a generic ACL for open systems
ESAW'04 Proceedings of the 5th international conference on Engineering Societies in the Agents World
Hi-index | 0.00 |
In this research, we re-arrange FIPA's ACL performatives to form a subsumption lattice (ontology) and apply a theory of social commitments to achieve a simplified and observable model of agent behaviour. Using this model, we have implemented agent interaction through social commitments (or obligations) based solely on observation of messages passed between the agents (such observation is supported by the cooperation domainmechanism in our agent infrastructure system). Moreover, because the performatives are in a subsumption lattice, it is relatively easy for an observer to infer social commitment relationships even if the observer does not understand the details of messages or even the exact performatives used (so long as the observer has access to the performatives ontology).Our social commitment model can be used in agent implementation to simplify the specification and observation of agent behaviour even if the agents themselves are not implementedusing social commitments. This is accomplished through the use of commitment operatorsattached to the performatives (as policies) in the subsumption lattice.In this work, we show how FIPA's performatives can be interpreted in a theory of social commitment to allow observable social behaviour and conformance to social norms.