Abstract
Within AI and the cognitively related disciplines, there exist a multiplicity of uses of ‘belief’. On the face of it, these differing uses reflect differing views about the nature of an objective phenomenon called ‘belief’. In this paper I distinguish six distinct ways in which ‘belief’ is used in AI. I shall argue that not all these uses reflect a difference of opinion about an objective feature of reality. Rather, in some cases, the differing uses reflect differing concerns with special AI applications. In other cases, however, genuine differences exist about the nature of what we pre-theoretically call belief. To an extent the multiplicity of opinions about, and uses of ‘belief’, echoes the discrepant motivations of AI researchers. The relevance of this discussion for cognitive scientists and philosophers arises from the fact that (a) many regard theoretical research within AI as a branch of cognitive science, and (b) even if theoretical AI is not cognitive science, trends within AI influence theories developed within cognitive science. It should be beneficial, therefore, to unravel the distinct uses and motivations surrounding ‘belief’, in order to discover which usages merely reflect differing pragmatic concerns, and which usages genuinely reflect divergent views about reality.
Similar content being viewed by others
Explore related subjects
Discover the latest articles, news and stories from top researchers in related subjects.References
BarndenJ. A. (1983), ‘Intensions as Such: An Outline’, Proceedings of the 8th International Joint Conference on Artificial Intelligence (IJCAI-83; Karlsruhe, W. Germany), Los Altos, CA: Morgan Kaufmann, 280–286.
BarwiseJ. and PerryJ. (1981), ‘Situations and Attitudes’, Journal of Philosophy 78, pp. 668–691.
BarwiseJ. and PerryJ. (1983), Situations and Attitudes, Cambridge, MA: Bradford Books.
BrachmanR. J. (1977), ‘What's in a Concept: Structural Foundations for Semantic Networks’, International Journal of Man-Machine Studies 9, pp. 127–152.
CherniakC. (1986), Minimal Rationality, Cambridge, MA: MIT Press.
CheesemanP. (1988), ‘An Inquiry into Computer Understanding’, Computational Intelligence 4, pp. 58–66.
ChurchA. (1954), ‘Intensional Isomorphism and Identity of Belief’, Philosophical Studies 5, pp. 65–71.
CresswellM.J. (1985), Structured Meanings: The Semantics of Propositional Attitudes, Cambridge, MA: MIT Press.
deKleerJ. (1986), ‘An Assumption-Based TMS’, Artificial Intelligence 28, pp. 127–162.
DretskeF. I. (1981), Knowledge and the Flow of Information, Cambridge, MA: Bradford Books.
FaginR. and HalpernJ. (1985) ‘Belief, Awareness, and Limited Reasoning’, Proceedings of the Ninth International Joint Conference on Artificial Intelligence (IJCAI-85, Los Angeles), Los Altos, CA: Morgan Kaufmann, pp. 491–501.
FregeG. (1892), ‘On Sense and Reference’, in P.Geach and M.Black, eds. (1952), Translations from the Philosophical Writings of Gottlob Frege, Oxford: Basil Blackwell.
HaasA. (1985), ‘Possible Events, Actual Events, and Robots’, Computational Intelligence 1, pp. 59–70.
HaasA. (1986), ‘A Syntactic Theory of Belief and Action’, Artificial Intelligence 28, pp. 245–292.
HadleyR. F. (1988a), ‘Logical Omniscience, Semantics and Models of Belief’, Computational Intelligence 4, pp. 17–30.
HadleyR. F. (1988b), “A Process-Oriented, Intensional Model of Knowledge and Belief’, Proceedings of the Tenth Annual Conference of the Cognitive Science Society (Montreal), Hillsdale, NJ: Lawrence Erlbaum Assoc., pp. 354–360.
HadleyR. F. (1989), ‘A Default-Oriented Theory of Procedural Semantics’, Cognitive Science 13, pp. 107–137.
HadleyR. F. (1990), ‘Truth Conditions and Procedural Semantics’, in P.Hanson, ed., Information, Language, and Cognition: Vancouver Studies in Cognitive Science, Vol. 1, Vancouver, Canada: University of British Columbia Press, pp. 73–100.
HintikkaJ. (1962), Knowledge and Belief: An Introduction to the Logic of the Two Notions, Ithaca, NY: Cornell University Press.
HobbsJ. R. and RosenscheinS. J. (1978), ‘Making Computational Sense of Montague's Intensional Logic’, Artificial Intelligence 9, pp. 287–306.
HofstadterD. and DennettD. (1981), The Mind's Eye, New York, NY: Basic Books.
LakemeyerG. (1987), ‘Tractable Meta-Reasoning in Propositional Logics of Belief’, Proceedings of the Tenth International Joint Conference on Artificial Intelligence (IJCAI-87, Milan), Los Altos, CA: Morgan Kaufmann, pp. 401–408.
Levesque, H. J. (1984), ‘A Logic of Implicit and Explicit Belief’, Proceedings of the Fourth Conference of the American Association for Artificial Intelligence, Austin, TX: pp. 198–202.
LevesqueH. J. (1986), ‘Making Believers Out of Computers’, Artificial Intelligence 30, pp. 81–108.
LevesqueH. J. (1988), ‘Logic and the Complexity of Reasoning’, Journal of Philosophical Logic 17, pp. 355–389.
LewisD. (1976) ‘General Semantics’, in B.Partee, ed., Montague Grammar, New York, NY: Academic Press, pp. 1–50.
MaidaA. S. and ShapiroS. C. (1982), ‘Intensional Concepts in Propositional Semantic Networks’, Cognitive Science 6, pp. 291–330.
McArthurG. L. (1988), ‘Reasoning about Knowledge and Belief: A Survey’, Computational Intelligence 4, pp. 223–243.
MontagueR. (1970), ‘Universal Grammar’, Theoria 36, pp. 222–246.
MooreG. E. (1942), ‘Reply to My Critics’, in P.Schilpp, ed., The Philosophy of G.E. Moore, Evanston and Chicago, IL: Northwestern University Press, pp. 660–667.
MooreR. C. (1977), ‘Reasoning about Knowledge and Action’, Proceedings of the 5th International Joint Conference on Artificial Intelligence (IJCAI-77, MIT) Los Altos, CA: Morgan Kaufmann, pp. 223–227.
OppacherF. and SuenE. (1988), ‘HARP: a Tableau-Based Theorem Prover’, Journal of Automated Reasoning 4, pp. 69–100.
PerlisD. (1985), ‘Languages with Self-Reference I: Foundations’, Artificial Intelligence 25, pp. 261–405.
RapaportW. J. (1986), ‘Logical Foundations for Belief Representation’, Cognitive Science 10, pp. 371–422.
RapaportW. J. (1987), ‘Belief Systems’, in S. C.Shapiro, ed., Encyclopedia of Artificial Intelligence, New York, NY: John Wiley & Sons, pp. 63–73.
SearleJ. (1980), ‘Minds, Brains, and Programs’, The Behavioural and Brain Sciences 3, pp. 111–169.
ShannonC. E. and WeaverW. (1949), The Mathematical Theory of Communication, Urbana, IL: University of Illinois Press.
Vardi, M. Y. (1986), ‘On Epistemic Logic and Logical Omniscience’, Proceedings of the Conference on Theoretical Aspects of Reasoning about Knowledge, Monterey, CA: pp. 293–305.
Wilks, Y. and Ballim, A. (1987), ‘Multiple Agents and Heuristic Ascriptions of Belief’, Proceedings of the Tenth International Joint Conference on Artificial Intelligence (IJCAI-87, Milan), pp. 118–124.
Author information
Authors and Affiliations
Rights and permissions
About this article
Cite this article
Hadley, R.F. The many uses of ‘belief’ in AI. Minds and Machines 1, 55–73 (1991). https://doi.org/10.1007/BF00360579
Issue Date:
DOI: https://doi.org/10.1007/BF00360579