A New Logic of Beliefs: Monotonic and Non-Monotonic Beliefs - Part 1
Proceedings of the Twelfth International Joint Conference on Artificial Intelligence. Knowledge Representation. Pages 486-490.
Abstract
We present here a new formalization of beliefs, which has a simpler semantics than the previous formalizations, and develop an inference method for it by generalizing the resolution method. The usual propositional formulas are embedded in our logic as a special type of belief formulas. One can obtain a non-monotonic logic of beliefs by applying, say, circumscription to the basic belieflogic developed here which is monotonic in nature. One can also apply the technique repeatedly to construct a hierarchy of belief-logics BLko k ~ 1, where BLk ::::> BLk_ 1 and BLk can handle formulas involving up to level k nested applications of the belief operator B.
@inproceedings{ijcai1991p73,
title = {A New Logic of Beliefs: Monotonic and Non-Monotonic Beliefs - Part 1},
author = {Kundu, Sukhamay},
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 = {486--490},
year = {1991},
month = {8},
note = {Knowledge Representation},
url = {https://ijcai.org/proceedings/1991/73},
}
TY - CPAPER TI - A New Logic of Beliefs: Monotonic and Non-Monotonic Beliefs - Part 1 AU - Kundu, Sukhamay T2 - Proceedings of the Twelfth International Joint Conference on Artificial Intelligence, IJCAI-91 PB - International Joint Conferences on Artificial Intelligence PY - 1991 SP - 486 EP - 490 UR - https://ijcai.org/proceedings/1991/73 ER -Copied
Machine-readable versions of this paper, for tools and AI agents:
