Sciweavers

Share
IJCAI
1993

The Range of Applicability of Nonmonotonic Logics for the Inertia Problem

8 years 4 months ago
The Range of Applicability of Nonmonotonic Logics for the Inertia Problem
We introduce and use a new methodology for the study of logics for action and change. The methodology allows one to define a taxonomy of reasoning problems, based in particular on the properties of the actions in those worlds where the actions take place, and on the autoepistemic assumptions that are being made. For each of a number of previously proposed logics, we have identified a corresponding class in the taxonomy, and proved that for reasoning problems within that class, the logic is guaranteed to obtain exactly the intended set of conclusions. 1 Logics of action and change: a problem of verification There has been much research in recent years on methods for reasoning about actions and change, and on finding solutions to the so-called "frame problems". New variants of nonmonotonic logics for common-sense reasoning have been proposed, only to be quickly refuted by counterexamples. Unfortunately the results that have been obtained in this fashion are notoriously unrelia...
Erik Sandewall
Added 02 Nov 2010
Updated 02 Nov 2010
Type Conference
Year 1993
Where IJCAI
Authors Erik Sandewall
Comments (0)
books