Reasoning about the Intentions of Agents

In this paper we further develop the formal theory of intentions suggested by C. Baral and M. Gelfond in 2005. In this work the authors formalized the behavior of an agent intending to execute a sequence of actions. The resulting axioms for intentions written in Knowledge Representation language Answer Set Prolog allowed to easily express such properties of intentions as persistence and non-procrastination. This paper expands this work to allow reasoning with intentions in the presence of unexpected observations, and intentions to achieve goals. The theory is formulated in the extension of Answer Set Prolog, called CR-Prolog.

[1]  Jack Minker,et al.  Logic and Data Bases , 1978, Springer US.

[2]  I. Niemelä,et al.  Extending the Smodels system with cardinality and weight constraints , 2001 .

[3]  Marcello Balduccini,et al.  cr-models: An Inference Engine for CR-Prolog , 2007, LPNMR.

[4]  Jack Minker.  The Workshop on Logic-Based Artificial Intelligence , 1999, AI Mag..

[5]  Raymond Reiter.  On Closed World Data Bases , 1977, Logic and Data Bases.

[6]  Victor W. Marek,et al.  Stable models and an alternative logic programming paradigm , 1998, The Logic Programming Paradigm.

[7]  Andrea Omicini,et al.  Declarative Agent Languages and Technologies III , 2005, Lecture Notes in Computer Science.

[8]  Walter Van de Velde,et al.  Agents Breaking Away , 1996, Lecture Notes in Computer Science.

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

[10]  Michael Gelfond,et al.  Logic Programs with Consistency-Restoring Rules , 2003 .

[11]  Chitta Baral,et al.  Reasoning about Intended Actions , 2005, AAAI.

[12]  A. S. Roa,et al.  AgentSpeak(L): BDI agents speak out in a logical computable language , 1996 .

[13]  John McCarthy,et al.  SOME PHILOSOPHICAL PROBLEMS FROM THE STANDPOINT OF ARTI CIAL INTELLIGENCE , 1987 .

[14]  Michael Gelfond,et al.  The AAA Architecture: An Overview , 2008, AAAI Spring Symposium: Emotion, Personality, and Social Behavior.

[15]  Michael Gelfond,et al.  Classical negation in logic programs and disjunctive databases , 1991, New Generation Computing.

[16]  Alfredo Gabaldon,et al.  Activity Recognition with Intended Actions , 2009, IJCAI.

[17]  Michael Wooldridge,et al.  Reasoning about rational agents MIT Press , 2000 .

[18]  Georg Gottlob,et al.  The DLV System , 2002, JELIA.

[19]  M. Gelfond,et al.  Yet Another Modular Action Language , 2009 .

[20]  Wolfgang Faber,et al.  Logic Programming and Nonmonotonic Reasoning , 2011, Lecture Notes in Computer Science.

[21]  Hector J. Levesque,et al.  Intention is Choice with Commitment , 1990, Artif. Intell..

[22]  Alex M. Andrew,et al.  Knowledge in Action: Logical Foundations for Specifying and Implementing Dynamical Systems , 2002 .

[23]  J. Nelson Rushton,et al.  Probabilistic reasoning with answer sets , 2004, Theory and Practice of Logic Programming.

[24]  Ilkka Niemelä,et al.  Logic programs with stable model semantics as a constraint programming paradigm , 1999, Annals of Mathematics and Artificial Intelligence.

[25]  Stefan Woltran,et al.  Special issue on answer set programming , 2011, AI Commun..

[26]  Abhaya C. Nayak,et al.  Theories of Intentions in the Framework of Situation Calculus , 2004, DALT.

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

[28]  Michael Gelfond,et al.  Action Languages , 1998, Electron. Trans. Artif. Intell..

[29]  Marek J. Sergot,et al.  A logic-based calculus of events , 1989, New Generation Computing.

[30]  Marius Thomas Lindauer,et al.  Potassco: The Potsdam Answer Set Solving Collection , 2011, AI Commun..

[31]  Chitta Baral,et al.  Knowledge Representation, Reasoning and Declarative Problem Solving , 2003 .

[32]  Anand S. Rao,et al.  AgentSpeak(L): BDI Agents Speak Out in a Logical Computable Language , 1996, MAAMAW.

[33]  Michael Gelfond,et al.  Diagnostic reasoning with A-Prolog , 2003, Theory Pract. Log. Program..

[34]  Michael Wooldridge,et al.  Reasoning about rational agents , 2000, Intelligent robots and autonomous agents.

[35]  Daniela Inclezan.  Computing Trajectories of Dynamic Systems Using ASP and F lora-2 , 2010 .

[36]  Paolo Mancarella,et al.  Computational Logic Foundations of KGP Agents , 2008, J. Artif. Intell. Res..

[37]  Michael Gelfond,et al.  20 Causal and Probabilistic Reasoning in Plog , 2009 .