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
Hi-index | 0.01 |
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 framework 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.