×

Belief as defeasible knowledge. (English) Zbl 0787.68095

Summary: We investigate the relation between the notions of knowledge and belief. Contrary to the well-known slogan about knowledge being “justified, true belief”, we propose that belief be viewed as defeasible knowledge. We offer several related definitions of belief as knowledge-relative-to- assumptions, and provide complete axiomatic systems for the resulting notions of belief. We also show a close tie between our definitions and the literature on nonmonotonic reasoning. Our definitions of belief have several advantages. First, they are short. Second, we do not need to add anything to the logic of knowledge: the “right” properties of belief fall out of our definitions and the properties of knowledge. Third, the connection between knowledge and belief is derived from one fundamental principle. Finally, a major attraction of logics of knowledge in computer science has been the concrete grounding of the mental notion in objective phenomena; by reducing belief to knowledge we obtain this grounding for a notion of belief.

MSC:

68T30 Knowledge representation
Full Text: DOI

References:

[1] Abadi, M.; Tuttle, M. R., A semantics for a logic of authentication (extended abstract), (Proceedings Tenth ACM Symposium on Principles of Distributed Computing (1991)), 201-216 · Zbl 1314.68019
[2] Barwise, J.; Perry, J., (Situations and Attitudes (1983), Bradford Books/MIT Press: Bradford Books/MIT Press Cambridge, MA) · Zbl 0946.03007
[3] Chellas, B. F., (Modal Logic (1980), Cambridge University Press: Cambridge University Press Cambridge, England) · Zbl 0431.03009
[4] Doyle, J., A truth maintenance system, Artif. Intell., 12, 231-272 (1979)
[5] Fagin, R.; Halpern, J. Y.; Vardi, M. Y., A model-theoretic analysis of knowledge, J. ACM, 38, 2, 354-382 (1991) · Zbl 0799.68177
[6] Geffner, H., (Reasoning with Defaults: Causal and Conditional Theories (1991), MIT Press: MIT Press Cambridge, MA)
[7] Ginsberg, M. L., (Readings in Nonmonotonic Reasoning (1987), Morgan Kaufmann: Morgan Kaufmann Los Altos, CA)
[8] (Halpern, J. Y., Theoretical Aspects of Reasoning about Knowledge: Proceedings of the 1986 Conference (1986), Morgan Kaufmann: Morgan Kaufmann Los Altos, CA)
[9] Halpern, J. Y., Using reasoning about knowledge to analyze distributed systems, (Traub, J. F.; Grosz, B. J.; Lampson, B. W.; Nilsson, N. J., Annual Review of Computer Science, 2 (1987), Annual Reviews Inc: Annual Reviews Inc Palo Alto, CA), 37-68
[10] Halpern, J. Y., The relationship between knowledge, belief, and certainty, Ann. Math. Artif. Intell., 4, 301-322 (1991) · Zbl 0865.03016
[11] (Proceedings Third ACM Symposium on Principles of Distributed Computing (1984)) · Zbl 0699.68115
[12] Halpern, J. Y.; Moses, Y., A guide to completeness and complexity for modal logics of knowledge and belief, Artif. Intell., 54, 319-379 (1992) · Zbl 0762.68029
[13] Hintikka, J., (Knowledge and Belief (1962), Cornell University Press: Cornell University Press Ithaca, NY)
[14] Konolige, K., (A Deduction Model of Belief (1986), Pitman/Morgan Kaufmann: Pitman/Morgan Kaufmann London, England/Los Altos, CA) · Zbl 0683.68080
[15] Kraus, S.; Lehmann, D., Knowledge, belief and time, Theor. Comput. Sci., 58, 155-174 (1988) · Zbl 0648.03017
[16] Levesque, H. J., Foundations of a functional approach to knowledge representation, Artif. Intell., 23, 155-212 (1984) · Zbl 0548.68090
[17] McAllester, D. A., Reasoning utility package user’s manual, (Tech. Report 667 (1982), MIT AI Laboratory, MIT: MIT AI Laboratory, MIT Cambridge, MA)
[18] McCarthy, J., Notes on formalizing context (1991), Unpublished Manuscript
[19] Moore, R. C., A formal theory of knowledge and action, (Hobbs, J. R.; Moore, R. C., Formal Theories of the Commonsense World (1985), Ablex: Ablex Norwood, NJ), 319-358
[20] Moses, Y., Resource-bounded knowledge, (Vardi, M. Y., Proceedings of the Second Conference on Theoretical Aspects of Reasoning about Knowledge (1988), Morgan Kaufmann: Morgan Kaufmann Los Altos, CA), 261-276 · Zbl 0725.68097
[21] (Moses, Y., Proceedings of the Fourth Conference on Theoretical Aspects of Reasoning about Knowledge (1992), Morgan Kaufmann: Morgan Kaufmann Los Altos, CA)
[22] Moses, Y.; Tuttle, M. R., Programming simultaneous actions using common knowledge, Algorithmica, 3, 121-169 (1988) · Zbl 0646.68031
[23] (Parikh, R. J., Proceedings of the Third Conference on Theoretical Aspects of Reasoning about Knowledge (1990), Morgan Kaufmann: Morgan Kaufmann Los Altos, CA)
[24] Pearl, J., (Probabilistic Reasoning in Intelligent Systems (1988), Morgan Kaufmann: Morgan Kaufmann Los Altos, CA)
[25] Reiter, R.; de Kleer, J., Foundations of assumption-based truth maintenance systems, (Proceedings AAAI-87. Proceedings AAAI-87, Seattle, WA (1987)), 183-188
[26] Shoham, Y., Varieties of context, (Lifschitz, V. A., Artificial Intelligence and Mathematical Theory of Computation (1991), Academic Press: Academic Press New York), 393-408 · Zbl 0800.68865
[27] Vardi, M. Y., On epistemic logic and logical omniscience, (Halpern, J. Y., Theoretical Aspects of Reasoning about Knowledge: Proceedings of the 1986 Conference (1986), Morgan Kaufmann: Morgan Kaufmann San Mateo, CA), 293-305
[28] (Vardi, M. Y., Proceedings of the Second Conference on Theoretical Aspects of Reasoning about Knowledge (1988), Morgan Kaufmann: Morgan Kaufmann Los Altos, CA) · Zbl 0699.00012
This reference list is based on information provided by the publisher or from digital mathematics libraries. Its items are heuristically matched to zbMATH identifiers and may contain data conversion errors. In some cases that data have been complemented/enhanced by data from zbMATH Open. This attempts to reflect the references listed in the original paper as accurately as possible without claiming completeness or a perfect matching.