Hostname: page-component-78c5997874-dh8gc Total loading time: 0 Render date: 2024-11-13T03:33:27.897Z Has data issue: false hasContentIssue false
  • English
  • Français

Logics for reasoning about knowledge and belief

Published online by Cambridge University Press:  07 July 2009

Han Reichgelt
Han Reichgelt
Affiliation:
Artificial Intelligence Group, Department of Psychology, University of Nottingham, Nottingham NG7 2RD, England
Get access Rights & Permissions [Opens in a new window]

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.

Type
Research Article
Information
The Knowledge Engineering Review , Volume 4 , Issue 2 , June 1989 , pp. 119 - 139
Copyright
Copyright © Cambridge University Press 1989

Access options

Get access to the full version of this content by using one of the access options below. (Log in options will check for institutional or personal access. Content may require purchase if you do not have access.)

References

Abadi, M and Manna, Z, 1986. “Modal theorem proving” CADE-8, 172–189.Google Scholar
Barwise, J and Perry, J, 1983. Situations and attitudes, Cambridge, Massachusetts: Bradford Books [In this book Barwise and Perry introduce a new approach of the study of the semantics of natural language, called situation semantics. Levesque uses similar ideas in his logic of implicit and explicit belief]Google Scholar
Boolos, G and Jeffrey, R, 1974. Computability and logic, Cambridge: Cambridge University Press [One of the standard introduction to logic. This book is very much written with the theory of computation in mind]Google Scholar
Chellas, B, 1980. Modal logic, Cambridge: Cambridge University Press [A good introduction to modal logic, restricted however to prepositional modal logic]CrossRefGoogle Scholar
Fagin, R and Halpern, R, 1985. “Belief, awareness, and limited reasoning: Preliminary report” IJCAI-85, 491–501Google Scholar
Geissler, Ch and Konolige, K, 1986. “A resolution method for quantified modal logics of knowledge and belief” In: Halpern, ed (1986)CrossRefGoogle Scholar
Halpern, J, ed, 1986. Theoretical aspects of reasoning about knowledge,New York:Morgan Kaufmann [The proceedings of a conference on reasoning about knowledge and belief. Recommended further reading]CrossRefGoogle Scholar
Halpern, J and Moses, Y, 1985. “A guide to the modal logics of knowledge and belief: Preliminary draft” IJCAI-9, 480–490 [A short introduction to epistemic logic, restricted to the propositional case]Google Scholar
Hayes, P, 1977. “In defence of logic” IJCAI-5, 559–565Google Scholar
Hayes, P, 1985. “The second naive physic manifesto” In: Hobbs and Moore, eds (1985)Google Scholar
Hintikka, J, 1962. Knowledge and belief, New York: Cornell University PressGoogle Scholar
Hintikka, J, 1969. “Semantics for prepositional attitudes” In: Davis, J et al. , eds, Philosphical Logic, Dordrecht: ReidelGoogle Scholar
Hobbs, J and Moore, R, eds, 1985. Formal theories of the common sense world, Norwood, New Jersey: AblexGoogle Scholar
Hughes, G and Cresswell, M, 1968. An introduction to modal logics, London: Methuen [Probably still the best introduction to modal logic]Google Scholar
Jackson, P and Reichgelt, H, 1988. “A modal proof method for doxastic reasoning in incomplete theories” ECA1–88, 480–484Google Scholar
Jackson, P and Reichgelt, H, 1989a. “A general proof method for arbitrary modal predicate logic” In: Jackson, PReichgelt, H, and Harmelen, F van, eds, Logic-based knowledge representation, Cambridge, Massachusetts: MIT PressGoogle Scholar
Jackson, P and Reichgelt, H, 1989b. “A modal proof method of doxastic reasoning” In: Jackson, P, Reichgelt, H and Harmelen, F, van, eds, Logic-based knowledge representation, Cambridge, Massachusetts: MIT PressGoogle Scholar
Jian, Y, 1987. “A clausal form of belief. A logic programming model” 9th International Conference of the Cognitive Science Society, 301–314Google Scholar
Konolige, K, 1986a. A deduction model of belief, London: Pitman [Based on Konolige's thesis, this book discusses both Konolige's modal epistemic theorem prover, as well as his deduction model of belief]Google Scholar
Konolige, K, 1986b. “Resolution and quantified epistemic logic” CADE-8, 199–208Google Scholar
Konolige, K, 1988a, “Hierarchic autoepistemic theories for nonmonotonic reasoning: Preliminary Report” SRI Technical Note 446CrossRefGoogle Scholar
Konolige, K, 1988b. “On the relation between default and autoepistemic logic” Artificial Intelligence, 35, 343–382.CrossRefGoogle Scholar
Kripke, S, 1963. “Semantic considerations on modal logic” Acta Philosophica Fennica, 16, 83–94Google Scholar
Kripke, S, 1972. “Naming and necessity” In: Davidson, D and Harmon, G, eds, Semantic of natural language, 2nd ed, Dordrecht: ReidelGoogle Scholar
Lakemeyer, G, 1986. “Steps towards a first-order logic of explicit belief” In: Halpern, edCrossRefGoogle Scholar
Levesque, H, 1984. “A logic of implicit and explicit belief” AAAI-84, 198–202Google Scholar
Levesque, H and Brachman, R, 1985. “A fundamental tradeoff in knowledge representation and reasoning (revised version)” In: Brachman, R and Levesque, H, eds, Readings in knowledge representation, Los Altos, California: Morgan KaufmannGoogle Scholar
Mates, B, 1972. Elementary logic (2nd ed), Oxford: Oxford University Press [A good introduction to first-order logic]Google Scholar
Marek, W and Truszczyński, M, 1989. “Relating autoepistemic and default logics” In: Brachman R, Levesque H and Reiter R, eds, Proceedings of the First International Conference on the Principles of Knowledge Representation and Reasoning,San Mateo, CA:Morgan KaufmannGoogle Scholar
McArthur, G, 1988. “Reasoning about knowledge and belief: A survey” Computational Intelligence, 4, 223–243 [An alternative review of much of the material discussed in this paper]CrossRefGoogle Scholar
McCarthy, J, 1979. “First order theories of individual concepts and propositions” Machine Inteligence, 9, 129–147Google Scholar
Mendelson, E, 1987. Introduction to mathematical logic (3rd), Wadsworth, California: [Another worthwhile introduction to logic]CrossRefGoogle Scholar
Moore, R, 1984. “The role of logic in Artificial Intelligence” SRI Tech Report 335Google Scholar
Moore, R, 1985a. “A formal theory of knowledge and action” In: Hoggs and Moore, eds [Moore's reified epistemic logic]Google Scholar
Moore, R, 1985b. “Semantical considerations on non-monotonic logic” Artificial Intelligence, 25, 75–94 [In this paper Moore introduces his autoepistemic logic]CrossRefGoogle Scholar
Moore, R, 1988. “Autoepistemic logic” In: Smets, Ph, Mamdani, A, Dubois, D and Prade, H, eds, Non-standard logics for automated reasoning, London: Academic Press [A further introduction to Moore's autoepistemic logic. The book also contains three comments with a reply by Moore]Google Scholar
Moore, R and Hendrix, G, 1979. “Computational models of belief and the semantics of belief sentences” SRI Technical Note 187Google Scholar
Nilsson, N, 1982. Principles of artificial intelligence, Berlin: Springer [A very good introduction to automated theorem provers]CrossRefGoogle Scholar
Rapaport, W, 1986. Logical foundations for belief representation” Cognitive Science, 10, 371–442CrossRefGoogle Scholar
Robinson, J, 1979. Logic: form and function. The mechanization of deductive reasoning, Edinburgh University press [A general introduction to logic, and the theory underlying the central concepts in automated theorem proving such as unification and resolution]Google Scholar
Stickel, M, 1987. “An introduction to automated deduction” In: Bibel, W and Jorrand, Ph, eds, Fundamentals of artificial intelligence: An advanced course, Berlin: Springer-VerlagGoogle Scholar
Vardi, M, ed, 1988. Proceedings of the Second Conference on Theoretical Aspects of Reasoning about Knowledge.Los Altos, California:Morgan Kaufmann [The proceedings of a conference on reasoning about knowledge and belief. Recommended further reading]Google Scholar
Wallen, L, 1986. “Matrix proof methods for modal logics” IJCAI-10, 917–923.Google Scholar