ECAI-2000 Conference Paper

[full paper]

ID-logic and the Ramification Problem for the Situation Calculus

Eugenia Ternovskaia

The goal of this paper is to extend the general solution to the ramification problem for the situation calculus to the case where causal rules specifying indirect effects of actions may form cycles or cycles through negation. We formulate causal dependencies as rules of inductive definitions. Then we give a semantics to a logic for representing inductive definitions by translating definitions to sentences of fixed-point logic. We describe a regression-based procedure for generating successor state axioms from inductive rules, and consider several benchmark examples. Finally, we show that boundedness is a sufficient condition for translating causal theories to successor state axioms.

Keywords: Reasoning about Actions and Change, Causal Reasoning, Knowledge Representation

Citation: Eugenia Ternovskaia: ID-logic and the Ramification Problem for the Situation Calculus. In W.Horn (ed.): ECAI2000, Proceedings of the 14th European Conference on Artificial Intelligence, IOS Press, Amsterdam, 2000, pp.563-567.