Defining and Maintaining Agent's Experience in Logical Agents

In this paper, we extend our previous approach to memory in the DALI language from facts to (sets of) rules, and we extend their management by introducing operators for reasoning about the context and agent is involved in, and about modules that should be associated to that context in the working memory. We exploit and extend our past work where we introduced meta-axioms for run-time self-checking and self-reconfiguration and the possibility of employing sub-modules for various forms of reasoning.

[1]  Amir Pnueli,et al.  The Glory of the Past , 1985, Logic of Programs.

[2]  Wei Peng,et al.  Understanding behaviors of a constructive memory agent: A markov chain analysis , 2009, Knowl. Based Syst..

[3]  Soar : A Comparison with Rule-based Systems , 2002 .

[4]  John E. Laird,et al.  Extending the Soar Cognitive Architecture , 2008, AGI.

[5]  Robert H. Logie,et al.  Working Memory and Mental Synthesis , 2000 .

[6]  Stefania Costantini,et al.  About Declarative Semantics of Logic-Based Agent Languages , 2005, DALT.

[7]  Luís Moniz Pereira,et al.  A Multi-layer Framework for Evolving and Learning Agents , 2008 .

[8]  Ilkka Niemelä,et al.  Logic Programs with Ordered Disjunction , 2004, Comput. Intell..

[9]  Gerhard Brewka,et al.  Complex Preferences for Answer Set Optimization , 2004, KR.

[10]  Stefania Costantini,et al.  Extending and Implementing RASP , 2010, Fundam. Informaticae.

[11]  Stefania Costantini,et al.  Modeling preferences and conditional preferences on resource consumption and production in ASP , 2009, J. Algorithms.

[12]  Luís Moniz Pereira,et al.  Runtime Verification of Agent Properties , 2009 .

[13]  Enrico Pontelli,et al.  Planning with preferences using logic programming , 2004, Theory and Practice of Logic Programming.

[14]  Mordechai Ben-Ari,et al.  The temporal logic of branching time , 1981, POPL '81.

[15]  Luís Moniz Pereira,et al.  Conditional Learning of Rules and Plans by Knowledge Exchange in Logical Agents , 2011, RuleML Europe.

[16]  Stefania Costantini,et al.  The DALI Logic Programming Agent-Oriented Language , 2004, JELIA.

[17]  Kristina Lerman,et al.  Agent memory and adaptation in multi-agent systems , 2003, AAMAS '03.

[18]  Pierre-Yves Schobbens,et al.  Operators and Laws for Combining Preference Relations , 2002, J. Log. Comput..

[19]  autoepistemic Zogic.  Logic programming and negation : a survey , 2001 .

[20]  E. Allen Emerson,et al.  Temporal and Modal Logic , 1991, Handbook of Theoretical Computer Science, Volume B: Formal Models and Sematics.

[21]  Michael Gelfond,et al.  Answer Sets , 2008, Handbook of Knowledge Representation.

[22]  Stefania Costantini,et al.  Learning by Knowledge Exchange in Logical Agents , 2005, WOA.

[23]  Luís Moniz Pereira,et al.  Ensuring Agent Properties under Arbitrary Sequences of Incoming Events , 2010, RCRA@CPAIOR.

[24]  Allen Newell,et al.  SOAR: An Architecture for General Intelligence , 1987, Artif. Intell..

[25]  John S. Gero,et al.  Constructive memory for situated design agents , 2004, Artificial Intelligence for Engineering Design, Analysis and Manufacturing.

[26]  Stefania Costantini,et al.  Answer Set Modules for Logical Agents , 2010, Datalog.

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