A New Semantics for the FIPA Agent Communication Language based on Social Attitudes

Authors:
Benoit Gaudou;Andreas Herzig;Dominique Longin;Matthias Nickles
Affiliations:
Université Paul Sabatier, IRIT, Toulouse, email: gaudou, herzig,longin@irit.fr;Université Paul Sabatier, IRIT, Toulouse, email: gaudou, herzig,longin@irit.fr;Université Paul Sabatier, IRIT, Toulouse, email: gaudou, herzig,longin@irit.fr;Technical University of Munich, email: nickles@informatik.tumuenchen.de
Venue:
Proceedings of the 2006 conference on ECAI 2006: 17th European Conference on Artificial Intelligence August 29 -- September 1, 2006, Riva del Garda, Italy
Year:
2006

Citing 4
Cited 11

Intention is choice with commitment

Artificial Intelligence
A computational theory of grounding in natural language conversation

A computational theory of grounding in natural language conversation
A Social Semantics for Agent Communication Languages

Issues in Agent Communication
A Dialogue Game Protocol for Agent Purchase Negotiations

Autonomous Agents and Multi-Agent Systems

Dynamic semantics for agent communication languages

Proceedings of the 6th international joint conference on Autonomous agents and multiagent systems
Social acquisition of ontologies from communication processes

Applied Ontology - Formal Ontologies for Communicating Agents
A common ontology of agent communication languages: Modeling mental attitudes and social commitments using roles

Applied Ontology - Formal Ontologies for Communicating Agents
An Approach to Description Logic with Support for Propositional Attitudes and Belief Fusion

Uncertainty Reasoning for the Semantic Web I
Time and Defeasibility in FIPA ACL Semantics

WI-IAT '08 Proceedings of the 2008 IEEE/WIC/ACM International Conference on Web Intelligence and Intelligent Agent Technology - Volume 03
Social network semantics for agent communication

Proceedings of The 8th International Conference on Autonomous Agents and Multiagent Systems - Volume 2
Modeling social attitudes on the web

ISWC'06 Proceedings of the 5th international conference on The Semantic Web
Unifying the intentional and institutional semantics of speech acts

DALT'09 Proceedings of the 7th international conference on Declarative Agent Languages and Technologies
A common ontology of agent communication languages: Modeling mental attitudes and social commitments using roles

Applied Ontology - Formal Ontologies for Communicating Agents
Social acquisition of ontologies from communication processes

Applied Ontology - Formal Ontologies for Communicating Agents
Towards a satisfactory conversion of messages among agent-based information systems

Expert Systems with Applications: An International Journal

Quantified Score

Hi-index	0.00

Visualization

Abstract

One of the most important aspects of the research on agent interaction is the definition of agent communication languages (ACLs), and the specification of a proper formal semantics of such languages is a crucial prerequisite for the usefulness and acceptance of artificial agency. Nevertheless, those ACLs which are still mostly used, especially the standard FIPA-ACL, have a communication act semantics in terms of the participating agents' mental attitudes (viz. beliefs and intentions), which are in general undeterminable from an external point of view due to agent autonomy. In contrast, semantics of ACLs based on commitments are fully verifiable, but not sufficiently formalized and understood yet. In order to overcome this situation, we propose a FIPA-ACL semantics which is fully verifiable, fully formalized, lean and easily applicable. It is based on social attitudes represented using a logic of grounding in straightforward extension of the BDI agent model.