Angerona - A Flexible Multiagent Framework for Knowledge-Based Agents

We present the Angerona framework for the implementation of knowledge-based agents with a strong focus on flexibility, extensibility, and compatibility with diverse knowledge representation formalisms. As the basis for this framework we propose and formalize a general concept of compound agents in which we consider agents to consist of hierarchies of interacting epistemic and functional components. Each epistemic component is instantiated by a knowledge representation formalism. Different knowledge representation formalisms can be used within one agent and different agents in the same system can be based on different agent architectures and can use different knowledge representation formalisms. Partially instantiations define sub-frameworks for, e. g., the development of BDI agents and variants thereof. The Angerona framework realizes this concept by means of a flexible JAVA plug-in architecture for the epistemic and the functional components of an agent. The epistemic plug-ins are based on the Tweety library for knowledge representation, which provides various ready-for-use implementations and knowledge representation formalisms and a framework for the implementation of additional ones. Angerona already contains several partial and complete instantiations that implement several approaches. Angerona also features an environment plug-in for communicating agents and a flexible GUI to monitor the multiagent system and the inner workings of the agents, particularly the inspection of the dynamics of their epistemic states. Angerona and Tweety are ready to use, well documented, and open source.

[1]  Peter Novák.  Jazzyk: A Programming Language for Hybrid Agents with Heterogeneous Knowledge Representations , 2008, ProMAS.

[2]  Stefan Woltran,et al.  A general approach to belief change in answer set programming , 2009, ArXiv.

[3]  Matthias Thimm,et al.  Know-how for motivated BDI agents , 2009, AAMAS.

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

[5]  Chitta Baral,et al.  Reasoning agents in dynamic domains , 2000 .

[6]  Frank van Harmelen,et al.  Handbook of Knowledge Representation , 2008, Handbook of Knowledge Representation.

[7]  Matthias Thimm,et al.  A Logic Programming Framework for Reasoning about Know-How , 2010 .

[8]  Helder Coelho,et al.  BDI Models and Systems: Bridging the Gap , 1998, ATAL.

[9]  Gabriele Kern-Isberner,et al.  Credibility-based Selective Revision by Deductive Argumentation in Multi-agent Systems , 2014 .

[10]  Hans Tompits,et al.  A Preference-Based Framework for Updating Logic Programs , 2007, LPNMR.

[11]  Gabriele Kern-Isberner,et al.  Angerona-A Multiagent Framework for Logic Based Agents with application to Secrecy Preservation Te ch ni ca lR ep or t , 2014 .

[12]  Matthias Thimm,et al.  Tweety: A Comprehensive Collection of Java Libraries for Logical Aspects of Artificial Intelligence and Knowledge Representation , 2014, KR.

[13]  Gabriele Kern-Isberner,et al.  Secrecy Preserving BDI Agents Based on Answerset Programming , 2013, MATES.

[14]  Gabriele Kern-Isberner,et al.  Belief Base Change Operations for Answer Set Programming , 2012, JELIA.

[15]  Michael Gelfond,et al.  Logic programming and knowledge representation—The A-Prolog perspective , 2002 .

[16]  Sven Ove Hansson,et al.  AGM 25 Years , 2011, J. Philos. Log..

[17]  Wolfgang Spohn,et al.  Ordinal Conditional Functions: A Dynamic Theory of Epistemic States , 1988 .

[18]  Gabriele Kern-Isberner,et al.  Motivating Agents in Unreliable Environments: A Computational Model , 2011, MATES.

[19]  Wolfgang Faber,et al.  Planning under Incomplete Knowledge , 2000, Computational Logic.

[20]  Gabriele Kern-Isberner,et al.  Construction of Explanation Graphs from Extended Dependency Graphs for Answer Set Programs , 2013, KDPD.

[21]  Trevor J. M. Bench-Capon,et al.  Argumentation in artificial intelligence , 2007, Artif. Intell..

[22]  Eugene C. Freuder,et al.  Constraint-based reasoning and privacy/efficiency tradeoffs in multi-agent problem solving , 2005, Artif. Intell..

[23]  Sven Ove Hansson,et al.  Selective Revision , 1999, Stud Logica.

[24]  Joachim Biskup,et al.  Preserving confidentiality while reacting on iterated queries and belief revisions , 2013, Annals of Mathematics and Artificial Intelligence.

[25]  Krysia Broda,et al.  Multi-agent abductive reasoning with confidentiality , 2011, AAMAS.

[26]  Hector J. Levesque,et al.  Knowledge Representation and Reasoning , 2004 .

[27]  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 .

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

[29]  J. Elliott Smith,et al.  Book review: Readings in Knowledge Representation. Edited by Ronald J. Brachman and Hector J. Levesque (Morgan Kaufmann Publishers) , 1986, SGAR.

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

[31]  Vladimir Lifschitz,et al.  Nested expressions in logic programs , 1999, Annals of Mathematics and Artificial Intelligence.

[32]  Koen V. Hindriks,et al.  Goal User Manual , 2011 .