The Range of Applicability of Nonmonotonic Logics for the Inertia Problem
Proceedings of the Thirteenth International Joint Conference on Artificial Intelligence. Knowledge Representation. Pages 738-745.
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.
@inproceedings{ijcai1993p104,
title = {The Range of Applicability of Nonmonotonic Logics for the Inertia Problem},
author = {Sandewall, Erik},
booktitle = {Proceedings of the Thirteenth International Joint Conference on
Artificial Intelligence, {IJCAI-93}},
publisher = {International Joint Conferences on Artificial Intelligence},
editor = {Ruzena Bajcsy},
pages = {738--745},
year = {1993},
note = {Knowledge Representation},
url = {https://ijcai.org/proceedings/1993/104},
}
TY - CPAPER TI - The Range of Applicability of Nonmonotonic Logics for the Inertia Problem AU - Sandewall, Erik T2 - Proceedings of the Thirteenth International Joint Conference on Artificial Intelligence, IJCAI-93 PB - International Joint Conferences on Artificial Intelligence PY - 1993 SP - 738 EP - 745 UR - https://ijcai.org/proceedings/1993/104 ER -Copied
Machine-readable versions of this paper, for tools and AI agents:
