Mental State Ascription Using Dynamic Logic

Authors:
Michal Sindlar;Mehdi Dastani;John-Jules Meyer
Affiliations:
Univ. of Utrecht, {michal,mehdi,jj}@cs.uu.nl;Univ. of Utrecht, {michal,mehdi,jj}@cs.uu.nl;Univ. of Utrecht, {michal,mehdi,jj}@cs.uu.nl
Venue:
Proceedings of the 2010 conference on ECAI 2010: 19th European Conference on Artificial Intelligence
Year:
2010

Citing 8
Cited 0

Intention is choice with commitment

Artificial Intelligence
A Bayesian model of plan recognition

Artificial Intelligence
It knows what you're going to do: adding anticipation to a Quakebot

Proceedings of the fifth international conference on Autonomous agents
Dynamic Logic

Dynamic Logic
Techniques for Plan Recognition

User Modeling and User-Adapted Interaction
2APL: a practical agent programming language

Autonomous Agents and Multi-Agent Systems
BDI-Based Development of Virtual Characters with a Theory of Mind

IVA '09 Proceedings of the 9th International Conference on Intelligent Virtual Agents
A logic of agent programs

AAAI'07 Proceedings of the 22nd national conference on Artificial intelligence - Volume 1

Quantified Score

Hi-index	0.00

Visualization

Abstract

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.