Abstract
What is the relation of intelligence (natural or artificial) to logic? This is surely a fascinating question with many aspects. We shall not discuss what intelligence is; but we shall start by saying that logic is understood as the study of consequence and of deduction as obtaining consequences from (accepted, assumed) premises (axioms). It goes without saying that intelligence has a logical aspect (among various other aspects). Intelligent systems are said to work with various sorts of knowledge; knowledge representation and processing, and even reasoning about knowledge are considered to be important topics in AI. Knowledge may be uncertain; thus one has to work with beliefs. It has turned out that logical aspects of reasoning about knowledge and beliefs are well formalized by means of some systems of modal logic called logic of knowledge and of belief respectively. An excellent survey of propositional (Boolean) logics of knowledge and belief in relation to computational complexity (with full proofs of main results) is given by Halpern (1992). Most basic facts on these logics are surveyed in Sect. 2 of this chapter. Section 3 surveys basic facts on predicate (Boolean) logics of knowledge and belief; Hughess and Cresswell (1984) contains details. The main part is Sect. 4 where we take into consideration the fact that most knowledge in AI systems (not speaking about natural intelligence) is imprecise (vague, fuzzy), which leads us to fuzzy logic.
This is a preview of subscription content, log in via an institution to check access.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
References
Bendová, K. and Hájek, P. (1993): Possibilistic logic as tense logic, in: N. Pier et al., ed.: Qualitative Reasoning and Decision Technologies, CIMNE, 441–450 (Barcelona)
Dubois, D. and Prade, H. (1992): Possibility theory as a basis for preference propagation in automated reasoning, in: IEEE Int. Conf. on Fuzzy Systems FUZZIEEE’92, 821–832 (San Diego)
Fagin, R. (1994) : A quantitative analysis of modal logic. Journal of Symbolic Logic 59: 209–252
Fine, K. (1985): Logics containing K4. Journal of Symbolic Logic 50: 619–651
Fitting, M. (1992a): Many-valued modal logics, Fundamenta Informaticae 15: 235–254
Fitting, M. (1992b): Many-valued modal logics II, Fundamenta Informaticae 17: 55–73
Gabbay, D.M. and Guenther, F., eds. (1984): Handbook of Philosophical Logic vol. II (Reidel, Dordrecht)
Gottwald, S. (1988): Mehrwertige Logik (Akademie-Verlag, Berlin)
Hájek, P. (1995) : Fuzzy logic from the logical point of view, in: M. Bartosek, J. Staudek, and J. Wiedermann, eds, SOFSEM’95: Theory and Practice of Inforatics; Lecture Notes in Computer Science 1012, 31–49 (Springer, BerlinHeidelberg)
Hájek, P. (1995) : Fuzzy logic and arithmetical hierarchy, Fuzzy Sets and Systems 73 (3) : 359–363
Hájek, P. (1997) : Fuzzy logic and arithmetical hierarchy II, Studia Logica 58: 129–141
Hájek, P., Harmancová, D., Esteva, F., Garcia, P. and Godo, L. (1994): On modal logics for qualitative possibility in a fuzzy setting, in: R. López de Mántaras and D. Poole, eds., Uncertainty in Artificial Intelligence; Proceedings of the Tenth Conference, 278–285 (Seattle, WA)
Hájek, P., Harmancová, D., Verbrugge, R. (1994) : A qualitative fuzzy possibilistic logic, International Journal of Approximate Reasoning 12: 1–19
Hájek, P. and Harmancová, D.: A many valued modal logic, in: Proc. IPMU’96, (Granada, Spain), 1021–1024
Halpern, J.Y. (1992) : A guide to completeness and complexity for modal logics of knowledge and belief, Artifical Intelligence 54: 319–379
Hughess, G.E. and Cresswell, M.J. (1984): A companion to modal logic (Methuen, London)
Hayes-Roth, F. et al., eds. (1983) : Building expert systems (Addison-Wesley, Reading)
van der Hoek, W. (1992) : Modalities for reasoning about knowledge and belief, Thesis, Univ. of Utrecht
Kripke, S. (1954): A completeness theorem in modal logic, Journal of Symbolic Logic 24: 1–14
Kripke, S. (1962) : Semantic analysis of modal logic I. Zeitschrift f. Math. Logik und Grundl. der Math. 9: 67–96
Kripke, S. (1963) : Semantic considerations of modal logic, Acta Phil. Fennica 16: 83–94
Lenat, D.B. and Feigenbaum, E.A. (1991): On the thresholds of knowledge, Artificial intelligence 47: 185–250
Nilsson, N.J. (1991): Logic and Artificial Intelligence, Artificial Intelligence 47: 31–56
Voorbraak, F. (1993) : As far as I know, Thesis, Univ. of Utrecht
Winograd, T. and Flores, F. (1986) : Understanding computers and cognition (Ablex, Norwood)
Zadeh, L.A. (1993) : The role of fuzzy logic and soft computing in the conception and design of intelligent systems, in: (Klement and Slany, ed.) Fuzzy logic in AI, Lecture Notes in AI, 695 (Springer, Berlin, Heidelberg) p. 1
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 1998 Springer-Verlag Berlin Heidelberg
About this chapter
Cite this chapter
Hájek, P. (1998). Logics of Knowing and Believing. In: Ratsch, U., Richter, M.M., Stamatescu, IO. (eds) Intelligence and Artificial Intelligence. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-662-03667-9_6
Download citation
DOI: https://doi.org/10.1007/978-3-662-03667-9_6
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-642-08358-7
Online ISBN: 978-3-662-03667-9
eBook Packages: Springer Book Archive