Intention is choice with commitment
Artificial Intelligence
A speech-act-based negotiation protocol: design, implementation, and test use
ACM Transactions on Information Systems (TOIS)
Computer Supported Cooperative Work - Special issue on the design of cooperative systems
KQML as an agent communication language
Software agents
Semantics and conversations for an agent communication language
Readings in agents
Active Databases and Agent Systems - A Comparison
RIDS '95 Proceedings of the Second International Workshop on Rules in Database Systems
Agents in Electronic Commerce: Component Technologies for Automated Negation and Coalition Formation
CIA '98 Proceedings of the Second International Workshop on Cooperative Information Agents II, Learning, Mobility and Electronic Commerce for Information Discovery on the Internet
ECAI '96 Proceedings of the Workshop on Intelligent Agents III, Agent Theories, Architectures, and Languages
Semantics for an Agent Communication Language
ATAL '97 Proceedings of the 4th International Workshop on Intelligent Agents IV, Agent Theories, Architectures, and Languages
Multi Agent Systems as Open Societies - A Design Framework
ATAL '97 Proceedings of the 4th International Workshop on Intelligent Agents IV, Agent Theories, Architectures, and Languages
Verifiable Semantics for Agent Communication Languages
ICMAS '98 Proceedings of the 3rd International Conference on Multi Agent Systems
Designing Conversation Policies using Joint Intention Theory
ICMAS '98 Proceedings of the 3rd International Conference on Multi Agent Systems
Integrating tools and infrastructures for generic multi-agent systems
Proceedings of the fifth international conference on Autonomous agents
A Verification Framework for Agent Communication
Autonomous Agents and Multi-Agent Systems
Semantics of Agent Communication: An Introduction
Selected papers from the UKMAS Workshop on Foundations and Applications of Multi-Agent Systems
A fully abstract model for the exchange of information in multi-agent systems
Theoretical Computer Science
Locutions for Argumentation in Agent Interaction Protocols
AAMAS '04 Proceedings of the Third International Joint Conference on Autonomous Agents and Multiagent Systems - Volume 3
Large-scale software integration for spoken language and multimodal dialog systems
Natural Language Engineering
Layered message semantics using social commitments
Proceedings of the fourth international joint conference on Autonomous agents and multiagent systems
MULTIPLATFORM testbed: an integration platform for multimodal dialog systems
SEALTS '03 Proceedings of the HLT-NAACL 2003 workshop on Software engineering and architecture of language technology systems - Volume 8
DIAGAL: An Agent Communication Language Based on Dialogue Games and Sustained by Social Commitments
Autonomous Agents and Multi-Agent Systems
Conversational semantics sustained by commitments
Autonomous Agents and Multi-Agent Systems
Specifying protocols for multi-agent systems interaction
ACM Transactions on Autonomous and Adaptive Systems (TAAS)
Dynamic semantics for agent communication languages
Proceedings of the 6th international joint conference on Autonomous agents and multiagent systems
Applied Ontology - Formal Ontologies for Communicating Agents
An Operational Model for the FIPA-ACL Semantics
Agent Communication II
A Mathematical Model of Dialog
Electronic Notes in Theoretical Computer Science (ENTCS)
European research and development of intelligent information agents: the agentlink perspective
Intelligent information agents
A multi-agent framework based on communication and concurrency
IWDC'04 Proceedings of the 6th international conference on Distributed Computing
Conversational semantics with social commitments
AC'04 Proceedings of the 2004 international conference on Agent Communication
Coherence constraints for agent interaction
AC'04 Proceedings of the 2004 international conference on Agent Communication
Locutions for argumentation in agent interaction protocols
AC'04 Proceedings of the 2004 international conference on Agent Communication
A framework of cooperative agents with implicit support for ontologies
CIA'06 Proceedings of the 10th international conference on Cooperative Information Agents
Applied Ontology - Formal Ontologies for Communicating Agents
Research directions in agent communication
ACM Transactions on Intelligent Systems and Technology (TIST) - Special section on agent communication, trust in multiagent systems, intelligent tutoring and coaching systems
Hi-index | 0.00 |
The Foundation for Intelligent Physical Agents (FIPA) standardisation body has produced a set of specifications outlining a generic model for the architecture and operation of agent-based systems. The FIPA'97 Specification Part 2 is the normative specification of an Agent Communication Language (ACL) which agents use to ‘talk’ to each other. The FIPA ACL is based on speech act theory. Its syntax is defined by performatives parameterised by attribute value pairs, while its semantics is given in terms of the mental states of the communicating agents (i.e. intentionality). However, it is not clear if the formal semantics is meant as a normative or informative specification. The primary purpose of this paper is then to give an expository analysis of the FIPA ACL semantics to clarify this situation. We also offer some guidelines motivated from our own analysis, experience and understanding of how the semantic definitions and logical axioms should be interpreted and applied. However, our conclusion is that while the FIPA ACL specification offers significant potential to a developer using it for guidance, there are limitations on using an agent's mental state to specify the meaning of a performative as part of a normative standard. We consider some possibilities for making improvements in this direction.