Incorporating Knowledge Updates in 3 APL – preliminary report

3APL is a widely known multi-agent programming language. However, when to be used in certain domains and environments, 3APL has some limitations related to its simplistic update operator that only allows for updates to the extensional part of the belief base, its lack of a language with both default and strong negation to enable the representation and reasoning about knowledge with the open and closed world assumptions, and also its goal representation mechanism that can benefit from some enhancements. In this paper we propose to address these issues by modifying the belief base and the goal base of 3APL to be represented by Dynamic Logic Programming, an extension of AnswerSet Programming that allows for the representation of knowledge that

[1]  Stefania Costantini,et al.  A Logic Programming Language for Multi-agent Systems , 2002, JELIA.

[2]  Jürgen Dix,et al.  IMPACT: A Multi-Agent Framework with Declarative Semantics , 2005, Multi-Agent Programming.

[3]  Viviana Mascardi,et al.  Logic-based specification languages for intelligent software agents , 2003, Theory and Practice of Logic Programming.

[4]  Vivek Nigam,et al.  Using Dynamic Logic Programming to Obtain Agents with Declarative Goals – preliminary report , 2006 .

[5]  Mehdi Dastani,et al.  Programming Multi-Agent Systems in 3APL , 2005, Multi-Agent Programming.

[6]  João Leite.  On Some Differences Between Semantics of Logic Program Updates , 2004, IBERAMIA.

[7]  João Leite,et al.  A Survey of Programming Languages and Platforms for Multi-Agent Systems , 2006, Informatica.

[8]  Michael Gelfond,et al.  Logic Programs with Classical Negation , 1990, ICLP.

[9]  Michael Winikoff,et al.  Declarative and procedural goals in intelligent agent systems , 2002, KR 2002.

[10]  W. van der Hoek,et al.  Agent Programming with Declarative Goals , 2000, ATAL.

[11]  José Júlio Alferes,et al.  On the Use of Multi-dimensional Dynamic Logic Programming to Represent Societal Agents' Viewpoints , 2001, EPIA.

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

[13]  Rafael H. Bordini,et al.  Multi-Agent Programming: Languages, Platforms and Applications , 2005, Multi-Agent Programming.

[14]  José Júlio Alferes,et al.  The Refined Extension Principle for Semantics of Dynamic Logic Programming , 2005, Stud Logica.

[15]  Frank Dignum,et al.  Dynamics of Declarative Goals in Agent Programming , 2004, DALT.

[16]  Mehdi Dastani,et al.  Programming BOID-plan agents deliberating about conflicts among defeasible mental attitudes and plans , 2004, Proceedings of the Third International Joint Conference on Autonomous Agents and Multiagent Systems, 2004. AAMAS 2004..

[17]  Alex M. Andrew,et al.  Knowledge Representation, Reasoning and Declarative Problem Solving , 2004 .

[18]  Luís Moniz Pereira,et al.  Generalizing Updates: From Models to Programs , 1997, LPKR.

[19]  Rafael H. Bordini,et al.  Jason and the Golden Fleece of Agent-Oriented Programming , 2005, Multi-Agent Programming.

[20]  João Leite,et al.  Evolving knowledge bases : specification and semantics , 2003 .

[21]  Frank Dignum,et al.  Intentional Agents and Goal Formation , 1997, ATAL.

[22]  Michael Thielscher,et al.  Reasoning robots - the art and science of programming robotic agents , 2005, Applied logic series.

[23]  José Júlio Alferes,et al.  MINERVA - A Dynamic Logic Programming Agent Architecture , 2001, ATAL.

[24]  Mehdi Dastani,et al.  Semantics of declarative goals in agent programming , 2005, AAMAS '05.

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