Sciweavers

IJCAI
2003

Causal Theories of Action: A Computational Core

14 years 25 days ago
Causal Theories of Action: A Computational Core
We propose a framework for simple causal theories of action, and study the computational complexity in it of various reasoning tasks such as determinism, progression and regression under various assumptions. As it turned out, even the simplest one among them, one-step temporal projection with complete initial state, is intractable. We also briefly consider an extension of the framework to allow truly indeterministic actions, and find that this extension does not increase the complexity of any of the tasks considered here.
Jérôme Lang, Fangzhen Lin, Pierre Mar
Added 31 Oct 2010
Updated 31 Oct 2010
Type Conference
Year 2003
Where IJCAI
Authors Jérôme Lang, Fangzhen Lin, Pierre Marquis
Comments (0)