Sciweavers

AAAI
2008

Reasoning about Large Taxonomies of Actions

14 years 23 days ago
Reasoning about Large Taxonomies of Actions
We design a representation based on the situation calculus to facilitate development, maintenance and elaboration of very large taxonomies of actions. This representation leads to more compact and modular basic action theories (BATs) for reasoning about actions than currently possible. We compare our representation with Reiter’s BATs and prove that our representation inherits all useful properties of his BATs. Moreover, we show that our axioms can be more succinct, but extended Reiter’s regression can still be used to solve the projection problem (this is the problem of whether a given logical expression will hold after executing a sequence of actions). We also show that our representation has significant computational advantages. For taxonomies of actions that can be represented as finitely branching trees, the regression operator can work exponentially faster with our theories than it works with Reiter’s BATs. Finally, we propose general guidelines on how a taxonomy of actio...
Yilan Gu, Mikhail Soutchanski
Added 08 Nov 2010
Updated 08 Nov 2010
Type Conference
Year 2008
Where AAAI
Authors Yilan Gu, Mikhail Soutchanski
Comments (0)