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
Flexible protocol specification and execution: applying event calculus planning using commitments
Proceedings of the first international joint conference on Autonomous agents and multiagent systems: part 2
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
Implementing commitment-based interactions
Proceedings of the 6th international joint conference on Autonomous agents and multiagent systems
Commitment-Based Policies in Persuasion Dialogues with Defeasible Beliefs
Agent Communication II
| Hi-index | 0.00 |
In this paper, we arrange FIPA's ACL performatives to form a sub-sumption lattice (ontology) and apply a theory of social commitments to achieve a simplified and observable model of agent behaviour. Using this model, it is straight forward to model agents' social commitments (obligations) based solely on observation of messages passed between the agents (such observation is supported by our agent infrastructure system). Furthermore, owing to the performatives being 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).Although social commitment modelling of agent behaviour does not demand that agents are implemented using the social commitment model, our model nonetheless can be used in agent implementation to simplify the specification of agent behaviour through the use of "commitment operators" attached to the performatives (as policies) in the subsumption lattice.The primary contribution of this paper is to show how FIPA's performatives can be mapped onto a theory of social commitment to allow observable social behaviour and conformance to social norms.