Mental State Ascription Using Dynamic Logic

In situations where the behavior of a system must be interpreted because its state is not accessible, it is useful to explain observed behavior in mentalistic terms. This paper presents a formalism based on propositional dynamic logic to model ascription of beliefs, goals, or plans on grounds of observed actions. The formalism is used to provide semantics for an existing approach to abducing the mental state of an observed agent; in doing so it is shown how behavior-producing rules can be given different explanatory interpretations.

[1]  Sandra Carberry,et al.  Techniques for Plan Recognition , 2001, User Modeling and User-Adapted Interaction.

[2]  Jerzy Tiuryn,et al.  Dynamic logic , 2001, SIGA.

[3]  John E. Laird,et al.  It knows what you're going to do: adding anticipation to a Quakebot , 2001, AGENTS '01.

[4]  Henry A. Kautz.  A formal theory of plan recognition , 1987 .

[5]  Robert P. Goldman,et al.  A Bayesian Model of Plan Recognition , 1993, Artif. Intell..

[6]  Mehdi Dastani,et al.  A Logic of Agent Programs , 2007, AAAI.

[7]  Mehdi Dastani,et al.  2APL: a practical agent programming language , 2008, Autonomous Agents and Multi-Agent Systems.

[8]  S. Brison.  The Intentional Stance , 1989 .

[9]  W. Hoek,et al.  An Integrated Modal Approach to Rational Agents , 1999 .

[10]  Yde Venema,et al.  Dynamic Logic by David Harel, Dexter Kozen and Jerzy Tiuryn. The MIT Press, Cambridge, Massachusetts. Hardback: ISBN 0–262–08289–6, $50, xv + 459 pages , 2002, Theory and Practice of Logic Programming.

[11]  Anand S. Rao,et al.  Modeling Rational Agents within a BDI-Architecture , 1997, KR.

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

[13]  Mehdi Dastani,et al.  BDI-Based Development of Virtual Characters with a Theory of Mind , 2009, IVA.

[14]  Frank Dignum,et al.  Mental State Abduction of BDI-Based Agents , 2008, DALT.

[15]  Luciano Serafini,et al.  Mental States Recognition from Communication , 2002, J. Log. Comput..

[16]  Anand S. Rao,et al.  Means-End Plan Recognition - Towards a Theory of Reactive Recognition , 1994, KR.

[17]  Martha E. Pollack,et al.  Weighted abduction for plan ascription , 1992, User Modeling and User-Adapted Interaction.