Plan-belief Revision in Jason

When information is shared between agents of unknown reliability, it is possible that their belief bases become inconsistent. In such cases, the belief base must be revised to restore consistency, so that the agent is able to reason. In some cases the inconsistent information may be due to use of incorrect plans. We extend work by Alechina et al. to revise belief bases in which plans can be dynamically added and removed. We present an implementation of the algorithm in the AgentSpeak implementation Jason.

[1]  Michael Wooldridge,et al.  Programming Multi-Agent Systems in AgentSpeak using Jason (Wiley Series in Agent Technology) , 2007 .

[2]  Peter Gärdenfors,et al.  On the logic of theory change: Partial meet contraction and revision functions , 1985, Journal of Symbolic Logic.

[3]  Rafael H. Bordini,et al.  JASDL: A Practical Programming Approach Combining Agent and Semantic Web Technologies , 2008, DALT.

[4]  Jon Doyle,et al.  Truth Maintenance Systems for Problem Solving , 1977, IJCAI.

[5]  Davide Ancona,et al.  CooL-AgentSpeak: Enhancing AgentSpeak-DL Agents with Plan Exchange and Ontology Services , 2011, 2011 IEEE/WIC/ACM International Conferences on Web Intelligence and Intelligent Agent Technology.

[6]  Jørgen Villadsen,et al.  Belief Revision in the GOAL Agent Programming Language , 2013 .

[7]  Brian Logan,et al.  Resource-Bounded Belief Revision and Contraction , 2005, DALT.

[8]  Brian Logan,et al.  Preference-based belief revision for rule-based agents , 2008, Synthese.

[9]  Jørgen Villadsen,et al.  Supra-logic: using transfinite type theory with type variables for paraconsistency , 2005, J. Appl. Non Class. Logics.

[10]  Álvaro F. Moreira,et al.  Ontology Reasoning in Agent-Oriented Programming , 2010, SBIA.

[11]  Rafael H. Bordini,et al.  Automating Belief Revision for AgentSpeak , 2006, DALT.

[12]  Hai H. Nguyen,et al.  Belief Revision in a Fact-Rule Agent's Belief Base , 2009, KES-AMSTA.

[13]  Jørgen Villadsen,et al.  Paraconsistent Computational Logic , 2012 .