A Nonmonotonic Logic of Belief

Article type: Research Article

Authors: Moser, Louise E.

Affiliations: Department of Computer Science, University of California, Santa Barbara, Santa Barbara, CA 93106

Abstract: A nonmonotonic logic of belief based on a combined monotonic logic of knowledge and belief is presented. Unlike previous nonmonotonic logics of belief, this logic contains an unless operator by means of which preference for beliefs and refutation of those beliefs can be expressed, thereby providing explicit representation of nonmonotonicity. A decision procedure based on Kripke structures for deciding validity of formulas in the logic is described and proved correct.

DOI: 10.3233/FI-1989-12405

Journal: Fundamenta Informaticae, vol. 12, no. 4, pp. 507-523, 1989