Skip to main content
Article
Logics for reasoning about knowledge and belief.
Faculty Publications
  • Han Reichgelt
SelectedWorks Author Profiles:

Han Reichgelt

Document Type
Article
Publication Date
1989
Date Issued
January 1989
Date Available
July 2014
Disciplines
Abstract
AI researchers are becoming increasingly aware of the importance of reasoning about knowledge and belief. This paper reviews epistemic logic, a logic designed specifically for this type of reasoning. I introduce epistemic logic, and discuss some of the philosophical problems associated with it. I then compare two different styles of implementing theorem provers for epistemic logic. I also briefly discuss autoepistemic logic, a form of epistemic logic intended to model an agent's introspective reasoning, i.e. an agent's reasoning about its own beliefs. Finally, I discuss some of the proposals in the AI literature that are aimed at avoiding some of the philosophical problems that dog both epistemic and autoepistemic logic. This paper is not a full introduction to the field. Rather, it is intended to give the reader some flavour of the problems that research in this area faces, as well as some of the proposals for solving these problems.
Comments
Citation only. Full-text article is available through licensed access provided by the publisher. Published in The Knowledge Engineering Review, 4, 119-139. doi:10.1017/S0269888900004884
Language
en_US
Publisher
Cambridge University Press
Creative Commons License
Creative Commons Attribution-Noncommercial-No Derivative Works 4.0
Citation Information
Reichgelt, H. (1989). Logics for reasoning about knowledge and belief. The Knowledge Engineering Review, 4, 119-139. doi:10.1017/S0269888900004884.