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...

• Type: Conference
• Year: 1993
• Where: IJCAI
• Authors: Erik Sandewall
• Keywords: IJCAI 1993, IJCAI 2007, Logics, Nonmonotonic Logics, Reasoning Problems