Combining societal agents' knowledge

This paper explores the applicability of the new paradigm of Multi-dimensional Dynamic Logic Programming to represent an agent’s view of the combination of societal knowledge dynamics. The representation of a dynamic society of agents is the core of MINERVA [11], an agent architecture and system designed with the intention of providing a common agent framework based on the unique strengths of Logic Programming, hat allows the combination of several non-monotonic knowledge representation and reasoning mechanisms developed in recent years.

[1]  Hans Tompits,et al.  Considerations on Updates of Logic Programs , 2000, JELIA.

[2]  Chiaki Sakama,et al.  Updating Extended Logic Programs through Abduction , 1999, LPNMR.

[3]  José Júlio Alferes,et al.  Planning as Abductive Updating , 2001 .

[4]  Wolfgang Faber,et al.  Disjunctive Logic Programs with Inheritance , 1999, ICLP.

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

[6]  Paulo Quaresma,et al.  A collaborative legal information retrieval system using dynamic logic programming , 1999, ICAIL '99.

[7]  Norman Y. Foo,et al.  Updating Logic Programs , 1998, ECAI.

[8]  José Júlio Alferes,et al.  Updates plus Preferences , 2000, JELIA.

[9]  José Júlio Alferes,et al.  Multi-dimensional Dynamic Knowledge Representation , 2001, LPNMR.

[10]  Ilkka Niemelä,et al.  Smodels - An Implementation of the Stable Model and Well-Founded Semantics for Normal LP , 1997, LPNMR.

[11]  Viviana Mascardi,et al.  Logic Programming and Multi-Agent Systems: A Synergic Combination for Applications and Semantics , 1999, The Logic Programming Paradigm.

[12]  Victor W. Marek,et al.  The Logic Programming Paradigm: A 25-Year Perspective , 2011 .

[13]  José Júlio Alferes,et al.  Multi-dimensional Dynamic Logic Programming , 2000, CL-2000 Workshop on Computational Logic in Multi-Agent Systems.

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

[15]  Vladimir Lifschitz,et al.  Answer Sets in General Nonmonotonic Reasoning (Preliminary Report) , 1992, KR.