Ideal introspective belief

Authors:
Kurt Konolige
Affiliations:
Artificial Intelligence Center, SRI International, Menlo Park, CA
Venue:
AAAI'92 Proceedings of the tenth national conference on Artificial intelligence
Year:
1992

Citing 7
Cited 0

Semantical considerations on nonmonotonic logic

Artificial Intelligence
The consistency of syntactical treatments of knowledge

Proceedings of the 1986 Conference on Theoretical aspects of reasoning about knowledge
Foundations of logic programming; (2nd extended ed.)

Foundations of logic programming; (2nd extended ed.)
On the relation between default and autoepistemic logic

Artificial Intelligence
Nonmonotonic Logic II: Nonmonotonic Modal Theories

Journal of the ACM (JACM)
Nonmonotonic default modal logics

TARK '90 Proceedings of the 3rd conference on Theoretical aspects of reasoning about knowledge
Autoepistemic modal logics

TARK '90 Proceedings of the 3rd conference on Theoretical aspects of reasoning about knowledge

Quantified Score

Hi-index	0.00

Visualization

Abstract

Autoepistemic (AE) logic is a formal system characterizing agents that have complete introspective access to their own beliefs. AE logic relies on a fixed point definition that has two significant parts. The first part is a set of assumptions or hypotheses about the contents of the fixed point. The second part is a set of reflection principles that link sentences with statements about their provability. We characterize a family of ideal AE reasoners in terms of the minimal hypotheses that they can make, and the weakest and strongest reflection principles that they can have, while still maintaining the interpretation of AE logic as self-belief. These results can help in analyzing metatheoretic systems in logic programming.