| | |
Summary: Appears in Proceedings of 21st National Conference on Artificial Intelligence (AAAI '06). 1
Reasoning about Partially Observed Actions
Megan Nance
Adam Vogel Eyal Amir
Computer Science Department
University of Illinois at Urbana-Champaign
Urbana, IL 61801, USA
mnance@engineering.uiuc.edu {vogel1,eyal}@uiuc.edu
Abstract
Partially observed actions are observations of action execu-
tions in which we are uncertain about the identity of ob-
jects, agents, or locations involved in the actions (e.g., we
know that action move(?o, ?x, ?y) occurred, but do not know
?o, ?y). Observed-Action Reasoning is the problem of rea-
soning about the world state after a sequence of partial obser-
vations of actions and states.
In this paper we formalize Observed-Action Reasoning,
prove intractability results for current techniques, and find
tractable algorithms for STRIPS and other actions. Our new
algorithms update a representation of all possible world states
|
