Reasoning About Actions: Steady Versus Stabilizing State Constraints

9 years 1 months ago
Reasoning About Actions: Steady Versus Stabilizing State Constraints
In formal approaches to commonsense reasoning about actions. the Ramification Problem denotes the problem of handling indirect effects which implicitly derive from so-called state constraints. We pursue a new distinction between two kinds of state constraints which will be proved crucially important for solving the general Ramification Problem. Steady constraints never, not even for an instant, cease being in force. As such they give rise to truly instantaneous indirect effects of actions. Stddizing state constraints, on the other hand, may be suspended for a short period of time after an action has occurred. Indirect effects deriving from these constraints materialize with a short lag. This hitherto neglected distinction is shown to have essential impact on the Ramification Problem: if stabilizing state constraints interact, then approaches not based on so-called causal propagation prove defective. But causal propagation, too, is shown to risk producing anomalous models, in case stea...
Michael Thielscher
Added 21 Dec 2010
Updated 21 Dec 2010
Type Journal
Year 1998
Where AI
Authors Michael Thielscher
Comments (0)