On Bimodal Nonmonotonic Logics and Their Unimodal and Nonmodal Equivalents
Proceedings of the Fourteenth International Joint Conference on Artificial Intelligence. Non-monotonic Reasoning. Pages 1518-1523.
Abstract
We study a bimodal nonmonotonic logic MBNF suggested in [1ifschitz, 1994] as a generalization of a number of nonmonotonic formalisms . We show first that it is equivalent to a certain nonmodal system involving rules of a special kind . Next , it is shown that the latter admits a modal representation that uses only one modal operator, the ope rator of belief. Moreover, under this translation , the models of MBNF correspond to §-expansions of the associated modal nonmonotonic logic. Finally, we show that, as far as such models are concerned, MBNF is reducible to nonmodal default consequence relations from [Bochman, 1994]. These results have general consequences concerning relationship between different formalizations of nonmonotonic reasoning.
@inproceedings{ijcai1995p196,
title = {On Bimodal Nonmonotonic Logics and Their Unimodal and Nonmodal Equivalents},
author = {Bochman, Alexander},
booktitle = {Proceedings of the Fourteenth International Joint Conference on
Artificial Intelligence, {IJCAI-95}},
publisher = {International Joint Conferences on Artificial Intelligence},
editor = {Chris S. Mellish},
pages = {1518--1523},
year = {1995},
note = {Non-monotonic Reasoning},
url = {https://ijcai.org/proceedings/1995/196},
}
TY - CPAPER TI - On Bimodal Nonmonotonic Logics and Their Unimodal and Nonmodal Equivalents AU - Bochman, Alexander T2 - Proceedings of the Fourteenth International Joint Conference on Artificial Intelligence, IJCAI-95 PB - International Joint Conferences on Artificial Intelligence PY - 1995 SP - 1518 EP - 1523 UR - https://ijcai.org/proceedings/1995/196 ER -Copied
Machine-readable versions of this paper, for tools and AI agents:
