Adding Knowledge Updates to 3APL

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 and 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. In this paper, we propose to address these issues by modifying the belief base of 3APL to be represented by Dynamic Logic Programming, an extension of Answer-Set Programming that allows for the representation of knowledge that changes with time.

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

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

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

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

[5]  Jesus A. Gonzalez,et al.  Advances in Artificial Intelligence – IBERAMIA 2004 , 2004, Lecture Notes in Computer Science.

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

[7]  F. S. deBoer.  Agent Programming in 3APL , 1999 .

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

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

[10]  José Júlio Alferes,et al.  A Language for Multi-dimensional Updates , 2002, CLIMA.

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

[12]  João Leite,et al.  A Dynamic Logic Programming Based System for Agents with Declarative Goals , 2006, DALT.

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

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

[15]  Hirofumi Katsuno,et al.  On the Difference between Updating a Knowledge Base and Revising It , 1991, KR.

[16]  Chitta Baral,et al.  Logic Programming and Knowledge Representation , 1994, J. Log. Program..

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

[18]  Chitta Baral,et al.  Reasoning about actions: Non-deterministic effects, Constraints, and Qualification , 1995, IJCAI.

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

[20]  Ehud Shapiro,et al.  Third International Conference on Logic Programming , 1986 .

[21]  Milind Tambe,et al.  Intelligent Agents VIII , 2002, Lecture Notes in Computer Science.

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

[23]  José Júlio Alferes,et al.  $$\mathcal{M}\mathcal{I}\mathcal{N}\mathcal{E}\mathcal{R}\mathcal{V}\mathcal{A}$$- A Dynamic Logic Programming Agent Architecture , 2001 .

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

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

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

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

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

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

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