Font Size:

State Defaults and Ramifications in the Unifying Action Calculus

Last modified: 2010-04-27

#### Abstract

We present a framework for reasoning about actions that not only solves the frame and ramification problems, but also the state default problemâ€”the problem to determine what

*normally*holds at a given time point. Yet, the framework is general enough not to be tied to a specific time structure. This is achieved as follows: We use effect axioms that draw ideas both from Reiter's successor state axioms and the non-monotonic causal theories by Giunchiglia et al. These axioms are formulated in a recently proposed unifying action calculus to guarantee independence of a specific underlying notion of time. Reiter's default logic is then wrapped around the resulting calculus and plays a key role in solving the ramification as well as the state default problem.#### Keywords

Reasoning about actions; Non-monotonic reasoning

Full Text:
PDF