---
title: "A New Logic of Beliefs: Monotonic and Non-Monotonic Beliefs - Part 1"
authors:
  - "Sukhamay Kundu"
doi: ""
url: "https://ijcai.org/proceedings/1991/73"
pdf: "https://ijcai.org/proceedings/1991/0073.pdf"
venue: "Proceedings of the Twelfth International Joint Conference on Artificial Intelligence"
year: 1991
pages: "486-490"
track: "Knowledge Representation"
keywords:
---

# A New Logic of Beliefs: Monotonic and Non-Monotonic Beliefs - Part 1

Sukhamay Kundu

*Proceedings of the Twelfth International Joint Conference on Artificial Intelligence*, 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.