Modal Interpretations of Default Logic
Proceedings of the Twelfth International Joint Conference on Artificial Intelligence. Knowledge Representation. Pages 393-397.
Abstract
In the paper we study a new and natural modal interpretation of defaults. We show that under this interpretation there are whole families of modal nonmonotonic logics that accurately represent default reasoning. One of these logics is used in a definition of possible-worlds semantics for default logic. This semantics yields a characterization of default extensions similar to the characterization of stable expansions by means of autoepistemic interpretation. We also show that the disjunctive information can easily be handled if disjunction is represented by means of modal disjunctive defaults - modal formulas that we use in our interpretation. Our results indicate that there is no single modal logic for describing default reasoning. On the contrary, there exist whole ranges of modal logics, each of which can be used in the embedding as a "host" logic.
@inproceedings{ijcai1991p59,
title = {Modal Interpretations of Default Logic},
author = {Truszczynski, Miroslaw},
booktitle = {Proceedings of the Twelfth International Joint Conference on
Artificial Intelligence, {IJCAI-91}},
publisher = {International Joint Conferences on Artificial Intelligence},
editor = {John Mylopoulos and Ray Reiter},
pages = {393--397},
year = {1991},
month = {8},
note = {Knowledge Representation},
url = {https://ijcai.org/proceedings/1991/59},
}
TY - CPAPER TI - Modal Interpretations of Default Logic AU - Truszczynski, Miroslaw T2 - Proceedings of the Twelfth International Joint Conference on Artificial Intelligence, IJCAI-91 PB - International Joint Conferences on Artificial Intelligence PY - 1991 SP - 393 EP - 397 UR - https://ijcai.org/proceedings/1991/59 ER -Copied
Machine-readable versions of this paper, for tools and AI agents:
