Abstract
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.
Keywords
Epistemic modal logicNon-monotonic logicEpistemologyIntrospectionAutoepistemic logicComputer sciencePhilosophy of logicCognitive scienceArtificial intelligenceMultimodal logicDescription logicPsychologyPhilosophy
Affiliated Institutions
Related Publications
Introduction to Statistical Relational Learning
Advanced statistical modeling and knowledge representation techniques for a newly emerging area of machine learning and probabilistic reasoning; includes introductory material, ...
Groundwork for the Metaphysics of Morals
Immanuel Kant's Groundwork for the Metaphysics of Morals is one of the most important texts in the history of ethics. In it Kant searches for the supreme principle of morality a...
Building Large Knowledge-Based Systems: Representation and Inference in the Cyc Project
The Cyc project, started by Doug Lenat at MCC in 1984, is the most ambitious knowledge representation project ever undertaken. It embodies Lenat's current ideas for a system int...
Enabling technology for knowledge sharing
Building new knowledge-based systems today usually entails constructing new knowledge bases from scratch. It could instead be done by assembling reusable components. System deve...
Speech Acts: An Essay in the Philosophy of Language
Part I. A Theory of Speech Acts: 1. Methods and scope 2. Expressions, meaning and speech acts 3. The structure of illocutionary acts 4. Reference as a speech act 5. Predication ...
Publication Info
- Year
- 1989
- Type
- article
- Volume
- 4
- Issue
- 2
- Pages
- 119-139
- Citations
- 10
- Access
- Closed
External Links
Social Impact
Altmetric
PlumX Metrics
Social media, news, blog, policy document mentions
Citation Metrics
10
OpenAlex
Cite This
Han Reichgelt
(1989).
Logics for reasoning about knowledge and belief.
The Knowledge Engineering Review
, 4
(2)
, 119-139.
https://doi.org/10.1017/s0269888900004884
Identifiers
- DOI
- 10.1017/s0269888900004884