An Abductive Interpretation for Open Agent Societies

The focus of this work is on the interactions among (possibly heterogeneous) agents that form an open society, and on the definition of a computational logic-based architecture for agent interaction. We propose a model where the society defines the allowed interaction protocols, which determine the “socially” allowed agent interaction patterns. The semantics of protocols can be defined by means of social integrity constraints. The main advantages of this approach are in the design of societies of agents, and in the possibility to detect undesirable behavior. In the paper, we present the model for societies ruled by protocols expressed as integrity constraints, and its declarative semantics. A sketch of the operational counterpart is also given.

[1]  Evelina Lamma,et al.  A Unifying View for Logic Programming with Non-Monotonic Reasoning , 1997, Theor. Comput. Sci..

[2]  Evelina Lamma,et al.  Specification and Verification of Agent Interaction using Social Integrity Constraints , 2004, LCMAS.

[3]  Robert A. Kowalski,et al.  From logic programming towards multi‐agent systems , 1999, Annals of Mathematics and Artificial Intelligence.

[4]  Paolo Torroni,et al.  An Abductive Logic Programming Architecture for Negotiating Agents , 2002, JELIA.

[5]  Frank Dignum,et al.  Deliberative Normative Agents: Principles and Architecture , 1999, ATAL.

[6]  Robert A. Kowalski,et al.  Abduction Compared with Negation by Failure , 1989, ICLP.

[7]  Munindar P. Singh.  Agent Communication Languages: Rethinking the Principles , 1998, Computer.

[8]  Christen Krogh,et al.  Obligations in Multiagent Systems , 1995, SCAI.

[9]  Nicholas R. Jennings,et al.  Agent Theories, Architectures, and Languages: A Survey , 1995, ECAI Workshop on Agent Theories, Architectures, and Languages.

[10]  Paola Mello,et al.  A Social ACL Semantics by Deontic Constraints , 2003, CEEMAS.

[11]  Nicolas Maudet,et al.  Protocol Conformance for Logic-based Agents , 2003, IJCAI.

[12]  Nicholas R. Jennings,et al.  Intelligent Agents VI , 2000 .

[13]  Michael J. Maher,et al.  Constraint Logic Programming: A Survey , 1994, J. Log. Program..

[14]  Alexander Artikis,et al.  Animated specifications of computational societies , 2002, AAMAS '02.

[15]  Robert Kowalski,et al.  From Logic Programming to Multi-agent systems , 1998 .

[16]  Frank Wolter,et al.  Semi-qualitative Reasoning about Distances: A Preliminary Report , 2000, JELIA.

[17]  Robert A. Kowalski,et al.  The Iff Proof Procedure for Abductive Logic Programming , 1997, J. Log. Program..

[18]  Munindar P. Singh,et al.  Flexible protocol specification and execution: applying event calculus planning using commitments , 2002, AAMAS '02.

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

[20]  John Wylie Lloyd,et al.  Foundations of Logic Programming , 1987, Symbolic Computation.