Normative Pragmatics for Agent Communication Languages

The ability to communicate is one of the crucial properties of agents. In this paper a normative approach to the pragmatics of Agent Communication Languages (ACLs) is proposed. In an open environment, like the Internet, in which agents are designed in many different ways, it is important to clearly establish the meaning of a standard language for artificial agents. Traditionally, the pragmatics of ACLs take the form of interaction protocols, which only specify the order in which messages occur without taking into account the content of the message, or the role of the agents. We present a unified ACL which includes the semantics and pragmatics of ACLs, focusing on a pragmatic level based on the social and normative notion of right. The framework is developed extending CTL with modal and deontic operators, and the pragmatics are expressed by means of a prolog-like declarative language.

[1]  A. Koller,et al.  Speech Acts: An Essay in the Philosophy of Language , 1969 .

[2]  E. Allen Emerson,et al.  Temporal and Modal Logic , 1991, Handbook of Theoretical Computer Science, Volume B: Formal Models and Sematics.

[3]  J. Van Leeuwen,et al.  Handbook of theoretical computer science - Part A: Algorithms and complexity; Part B: Formal models and semantics , 1990 .

[4]  Anand S. Rao,et al.  Modeling Rational Agents within a BDI-Architecture , 1997, KR.

[5]  Timothy W. Finin,et al.  KQML as an agent communication language , 1994, CIKM '94.

[6]  A. Campbell,et al.  Progress in Artificial Intelligence , 1995, Lecture Notes in Computer Science.

[7]  Frank Dignum,et al.  Combining dynamic deontic logic and temporal logic for the specification of deadlines , 1997, Proceedings of the Thirtieth Hawaii International Conference on System Sciences.

[8]  Nicholas R. Jennings,et al.  Rights and commitment in multi-agent agreements , 1998, Proceedings International Conference on Multi Agent Systems (Cat. No.98EX160).

[9]  Munindar P. Singh.  An ontology for commitments in multiagent systems: , 1999, Artificial Intelligence and Law.

[10]  Jeremy V. Pitt,et al.  A Protocol-Based Semantics for an Agent Communication Language , 1999, IJCAI.

[11]  Jeffrey M. Bradshaw,et al.  What Is a Conversation Policy? , 2000, Issues in Agent Communication.

[12]  Frank Dignum,et al.  Issues in Agent Communication , 2000, Lecture Notes in Computer Science.

[13]  Munindar P. Singh.  A Social Semantics for Agent Communication Languages , 2000, Issues in Agent Communication.

[14]  C. Raymond Perrault,et al.  Communication in Multiagent Systems: Agent Communication Languages and Conversation Policies , 2003, Lecture Notes in Computer Science.

[15]  Timothy W. Finin,et al.  A policy language for a pervasive computing environment , 2003, Proceedings POLICY 2003. IEEE 4th International Workshop on Policies for Distributed Systems and Networks.

[16]  Marc-Philippe Huget,et al.  Communication in Multiagent Systems , 2003 .

[17]  Frank Dignum,et al.  Communication for Goal Directed Agents , 2003, Communication in Multiagent Systems.

[18]  Marc-Philippe Huget.  Communication in Multiagent Systems: Agent Communication Languages and Conversation Policies , 2003 .

[19]  Frank Dignum,et al.  A Programming Language for Cognitive Agents Goal Directed 3APL , 2003, PROMAS.

[20]  Michael Wooldridge,et al.  Semantic Issues in the Verification of Agent Communication Languages , 2000, Autonomous Agents and Multi-Agent Systems.

[21]  Frank Dignum,et al.  Autonomous agents with norms , 1999, Artificial Intelligence and Law.

[22]  Munindar P. Singh.  An ontology for commitments in multiagent systems: , 1999, Artificial Intelligence and Law.

[23]  Eduardo Alonso,et al.  Rights and Argumentation in Open Multi-Agent Systems , 2004, Artificial Intelligence Review.

[24]  Mehdi Dastani,et al.  Specifying Multiagent Organizations , 2004, DEON.

[25]  Marco Colombetti,et al.  A COMMITMENT-BASED APPROACH TO AGENT COMMUNICATION , 2004, Appl. Artif. Intell..

[26]  Leon van der Torre,et al.  Contextual Deontic Logic: Normative Agents, Violations and Independence , 2004, Annals of Mathematics and Artificial Intelligence.

[27]  Eduardo Alonso,et al.  Semantics and Pragmatics for Agent Communication , 2005, EPIA.

[28]  J. Sadock.  Speech acts , 2007 .