Sandewall, E. (1993). The Range of Applicability of Nonmonotonic Logics for the Inertia Problem. Technical Report LiTH-IDA-R-93-08, Department of Computer and Information Science, Linköping University, Sweden. Accepted to IJCAI'93, International Joint Conference on Artificial Intelligence 1993, Chambery, France, 28aug-3sep. (bibtex),
Abstract: 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.
CS Dept TR Overview