Handbook of theoretical computer science (vol. B)
Handbook of logic in computer science (vol. 2)
A hierarchy of temporal logics with past
STACS '94 Selected papers of the eleventh symposium on Theoretical aspects of computer science
LICS '00 Proceedings of the 15th Annual IEEE Symposium on Logic in Computer Science
A logical model of social commitment for agent communication
AAMAS '03 Proceedings of the second international joint conference on Autonomous agents and multiagent systems
Dealing with time in content language expressions
AC'04 Proceedings of the 2004 international conference on Agent Communication
Using Social Commitments to Control the Agents' Freedom of Speech
Agent Communication II
Commitment-Based Policies in Persuasion Dialogues with Defeasible Beliefs
Agent Communication II
Reliable Group Communication and Institutional Action in a Multi-agent Trading Scenario
Agent Communication II
From Message Exchanges to Communicative Acts to Commitments
Electronic Notes in Theoretical Computer Science (ENTCS)
Agreeing on defeasible commitments
DALT'06 Proceedings of the 4th international conference on Declarative Agent Languages and Technologies
A rule language for modelling and monitoring social expectations in multi-agent systems
AAMAS'05 Proceedings of the 2005 international conference on Agents, Norms and Institutions for Regulated Multi-Agent Systems
| Hi-index | 0.00 |
The Agent Communication Language (ACL) proposed by the Foundation for Intelligent Physical Agents (FIPA) is the most complete attempt to create a universally accepted standard so far. Nevertheless, this standard shows some shortcomings which are probably hindering an even greater impact upon the scientific research dealing with multiagent systems. Although agreeing with the mainstream view that analyzes agent communication in terms of communicative acts, we part from FIPA's assumptions about the semantics, as we shift the focus from affecting communicating agents' mental states to modifying the commitments binding them to each other. We show that our commitment-based frame-work is powerful enough to allow for the main FIPA communicative acts and provides a semantics which overcomes some of the problems that are currently affecting the standard.