A Logic Programming Language for Multi-agent Systems

This paper presents a new logic programming language for modelling Agents and Multi-Agent systems in computational logic. The basic objective of the specification of this new language has been the identification and the formalization of what we consider to be the basic patterns for reactivity, proactivity, internal "thinking", and "memory". The formalization models these concepts by introducing different kinds of events, with a suitable treatment. We introduce a novel approach to the language semantics, called the evolutionary semantics.

[1]  Franco Turini,et al.  Meta-logics and logic programming , 1995 .

[2]  Koen V. Hindriks,et al.  Agent Programming in 3APL , 1999, Autonomous Agents and Multi-Agent Systems.

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

[4]  Hector J. Levesque,et al.  Rational interaction as the basis for communication , 2003 .

[5]  Danny De Schreye,et al.  Answer Set Planning , 1999 .

[6]  Gerhard Brewka,et al.  Declarative Representation of Revision Strategies* , 2000, J. Appl. Non Class. Logics.

[7]  Koen V. Hindriks,et al.  A Formal Architecture for the 3APL Agent Programming Language , 2000, ZB.

[8]  Margus Veanes,et al.  Meta-programming with theory systems , 1995 .

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

[10]  A. S. Roa,et al.  AgentSpeak(L): BDI agents speak out in a logical computable language , 1996 .

[11]  José Júlio Alferes,et al.  Dynamic updates of non-monotonic knowledge bases , 2000, J. Log. Program..

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

[13]  Hector J. Levesque,et al.  Communicative Actions for Artificial Agents , 1997, ICMAS.

[14]  Francesca Toni,et al.  Combining Introspection and Communication with Rationality and Reactivity in Agents , 1998, JELIA.

[15]  Stefania Costantini,et al.  Meta-reasoning: A Survey , 2002, Computational Logic: Logic Programming and Beyond.

[16]  Evelina Lamma,et al.  A Logic Based Approach to Multi-Agent Systems , 2001 .

[17]  Hans Tompits,et al.  A Framework for Declarative Update Specifications in Logic Programs , 2001, IJCAI.

[18]  Jürgen Dix,et al.  Heterogenous Active Agents , 2000 .

[19]  Hector J. Levesque,et al.  ConGolog, a concurrent programming language based on the situation calculus , 2000, Artif. Intell..

[20]  Anand S. Rao,et al.  BDI Agents: From Theory to Practice , 1995, ICMAS.

[21]  Thomas Eiter,et al.  Prioritizing Default Logic , 2000, Intellectics and Computational Logic.

[22]  Robert A. Kowalski,et al.  Towards a Unified Agent Architecture that Combines Rationality with Reactivity , 1996, Logic in Databases.

[23]  Michael Fisher,et al.  A Survey of Concurrent METATEM - the Language and its Applications , 1994, ICTL.

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