USF St. Petersburg campus Faculty Publications
Logics for reasoning about knowledge and belief.
Document Type
Article
Publication Date
1989
ISSN
0269-8889
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.
Language
en_US
Publisher
Cambridge University Press
Recommended Citation
Reichgelt, H. (1989). Logics for reasoning about knowledge and belief. The Knowledge Engineering Review, 4, 119-139. doi:10.1017/S0269888900004884.
Creative Commons License
This work is licensed under a Creative Commons Attribution-Noncommercial-No Derivative Works 4.0 License.
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