A New Method Of Circumscribing Beliefs The Propositional Case

Authors:
Sukhamay Kundu;Jianhua Chen
Affiliations:
Computer Science Department, Louisiana State University, Baton Rouge, LA 70803-4020, U.S.A., e-mail: kundu@bit.csc.lsu.edu, jianhua@bit.csc.lsu.edu;Computer Science Department, Louisiana State University, Baton Rouge, LA 70803-4020, U.S.A., e-mail: kundu@bit.csc.lsu.edu, jianhua@bit.csc.lsu.edu
Venue:
Fundamenta Informaticae
Year:
1997

Citing 9
Cited 0

Semantical considerations on nonmonotonic logic

Artificial Intelligence
Applications of circumscription to formalizing common-sense knowledge

Artificial Intelligence
An algorithm to compute circumscription

Artificial Intelligence
All I know: a study in autoepistemic logic

Artificial Intelligence
A new and simple method for explicit computation of a circumscription

Methodologies for intelligent systems, 5
Reasoning about change: time and causation from the standpoint of artificial intelligence

Reasoning about change: time and causation from the standpoint of artificial intelligence
Circumscription in a modal logic

TARK '88 Proceedings of the 2nd conference on Theoretical aspects of reasoning about knowledge
Nonmonotonic databases and epistemic queries

IJCAI'91 Proceedings of the 12th international joint conference on Artificial intelligence - Volume 1
A new logic of beliefs: monotonic and non-monotonic beliefs-part 1

IJCAI'91 Proceedings of the 12th international joint conference on Artificial intelligence - Volume 1

Quantified Score

Hi-index	0.00

Visualization

Abstract

We propose here a new notion of a minimal model for forming circumscription in belief-logic by incorporating the notion of minimal models in the prepositional logic. This results in a new circumscription operation for belief-formulas than the one considered in [4-6]. An important feature of the new circumscription operation is its close relationship with the circumscription of prepositional formulas. For instance, we have CIRC[B&phgr;] = B(CIRC[&phgr;]), where &phgr; is a prepositional formula. We give several examples to show that the new notion of circumscription fits quite well with intuition.