Abstract
In this paper, we study the logical relations between different notions of knowledge and belief by means of generalizations of the usual Kripke models for epistemic logic. We argue that the obtained generalized Kripke models might be useful for carefully distinguishing the many different notions of knowledge and belief. We identify the (highly idealized) notions of objective knowledge and rational (introspective) belief, which correspond with fairly standard notions of knowledge and belief, and propose a system OKRIB for combining both notions which differs essentially from some other such proposals found in the literature. We also consider some other notions of knowledge and belief, and study how they relate to objective knowledge and rational belief.
Chapter PDF
Keywords
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.
References
R. Fagin & J. Halpern, ‘Belief, Awareness, and Limited Reasoning', Artificial Intelligence 34 (1988) 39–76.
R. Fagin & J. Halpern, ‘Reasoning About Knowledge and Probability: Preliminary Report,’ in M. Vardi (ed.), Theoretical Aspects of Reasoning About Knowledge: Proceedings of the Second Conference, Morgan Kaufmann, Los Altos Ca. (1988) 277–293
J. Halpern (ed.), Theoretical Aspects of Reasoning About Knowledge: Proceedings of the 1986 Conference, Morgan Kaufmann, Los Altos Ca. (1986)
J. Halpern & M. Rabin, ‘A Logic to Reason about Likelihood', Artificial Intelligence 32 (1987) 379–405.
J. Hintikka, Knowledge and Belief: An Introduction to the Logic of the Two Notions, Cornell U.P., Ithaca (1962).
W. van der Hoek, 'systems for Knowledge and Beliefs', rapport IR-185 Free University Amsterdam (1989). To appear in Proceedings JELIA 1990.
S. Kraus & D. Lehmann, ‘Knowledge, belief and time', Proc. 13th ICALP, C. Krott (ed.), Springer, Berlin (1986) 186–195.
W. Lenzen, Recent work in epistemic logic, Acta Philosophica Fennica 30, North-Holland, Amsterdam (1978).
K. Segerberg, An Essay in Classical Modal Logic, vol. 1–3, Philosophical Studies 13, University of Uppsala (1971)
Author information
Authors and Affiliations
Editor information
Rights and permissions
Copyright information
© 1991 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Voorbraak, F. (1991). The logic of objective knowledge and rational belief. In: van Eijck, J. (eds) Logics in AI. JELIA 1990. Lecture Notes in Computer Science, vol 478. Springer, Berlin, Heidelberg. https://doi.org/10.1007/BFb0018462
Download citation
DOI: https://doi.org/10.1007/BFb0018462
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-53686-4
Online ISBN: 978-3-540-46982-7
eBook Packages: Springer Book Archive