Skip to main content
Log in

The many uses of ‘belief’ in AI

  • General Article
  • Published:
Minds and Machines Aims and scope Submit manuscript

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.

This is a preview of subscription content, log in via an institution to check access.

Access this article

Price excludes VAT (USA)
Tax calculation will be finalised during checkout.

Instant access to the full article PDF.

Similar content being viewed by others

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.

    Google Scholar 

  • BarwiseJ. and PerryJ. (1981), ‘Situations and Attitudes’, Journal of Philosophy 78, pp. 668–691.

    Google Scholar 

  • BarwiseJ. and PerryJ. (1983), Situations and Attitudes, Cambridge, MA: Bradford Books.

    Google Scholar 

  • BrachmanR. J. (1977), ‘What's in a Concept: Structural Foundations for Semantic Networks’, International Journal of Man-Machine Studies 9, pp. 127–152.

    Google Scholar 

  • CherniakC. (1986), Minimal Rationality, Cambridge, MA: MIT Press.

    Google Scholar 

  • CheesemanP. (1988), ‘An Inquiry into Computer Understanding’, Computational Intelligence 4, pp. 58–66.

    Google Scholar 

  • ChurchA. (1954), ‘Intensional Isomorphism and Identity of Belief’, Philosophical Studies 5, pp. 65–71.

    Google Scholar 

  • CresswellM.J. (1985), Structured Meanings: The Semantics of Propositional Attitudes, Cambridge, MA: MIT Press.

    Google Scholar 

  • deKleerJ. (1986), ‘An Assumption-Based TMS’, Artificial Intelligence 28, pp. 127–162.

    Google Scholar 

  • DretskeF. I. (1981), Knowledge and the Flow of Information, Cambridge, MA: Bradford Books.

    Google Scholar 

  • 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.

    Google Scholar 

  • 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.

    Google Scholar 

  • HaasA. (1985), ‘Possible Events, Actual Events, and Robots’, Computational Intelligence 1, pp. 59–70.

    Google Scholar 

  • HaasA. (1986), ‘A Syntactic Theory of Belief and Action’, Artificial Intelligence 28, pp. 245–292.

    Google Scholar 

  • HadleyR. F. (1988a), ‘Logical Omniscience, Semantics and Models of Belief’, Computational Intelligence 4, pp. 17–30.

    Google Scholar 

  • 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.

    Google Scholar 

  • HadleyR. F. (1989), ‘A Default-Oriented Theory of Procedural Semantics’, Cognitive Science 13, pp. 107–137.

    Google Scholar 

  • 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.

    Google Scholar 

  • HintikkaJ. (1962), Knowledge and Belief: An Introduction to the Logic of the Two Notions, Ithaca, NY: Cornell University Press.

    Google Scholar 

  • HobbsJ. R. and RosenscheinS. J. (1978), ‘Making Computational Sense of Montague's Intensional Logic’, Artificial Intelligence 9, pp. 287–306.

    Google Scholar 

  • HofstadterD. and DennettD. (1981), The Mind's Eye, New York, NY: Basic Books.

    Google Scholar 

  • 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.

    Google Scholar 

  • 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.

    Google Scholar 

  • LevesqueH. J. (1988), ‘Logic and the Complexity of Reasoning’, Journal of Philosophical Logic 17, pp. 355–389.

    Google Scholar 

  • LewisD. (1976) ‘General Semantics’, in B.Partee, ed., Montague Grammar, New York, NY: Academic Press, pp. 1–50.

    Google Scholar 

  • MaidaA. S. and ShapiroS. C. (1982), ‘Intensional Concepts in Propositional Semantic Networks’, Cognitive Science 6, pp. 291–330.

    Google Scholar 

  • McArthurG. L. (1988), ‘Reasoning about Knowledge and Belief: A Survey’, Computational Intelligence 4, pp. 223–243.

    Google Scholar 

  • MontagueR. (1970), ‘Universal Grammar’, Theoria 36, pp. 222–246.

    Google Scholar 

  • 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.

    Google Scholar 

  • 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.

    Google Scholar 

  • OppacherF. and SuenE. (1988), ‘HARP: a Tableau-Based Theorem Prover’, Journal of Automated Reasoning 4, pp. 69–100.

    Google Scholar 

  • PerlisD. (1985), ‘Languages with Self-Reference I: Foundations’, Artificial Intelligence 25, pp. 261–405.

    Google Scholar 

  • RapaportW. J. (1986), ‘Logical Foundations for Belief Representation’, Cognitive Science 10, pp. 371–422.

    Google Scholar 

  • RapaportW. J. (1987), ‘Belief Systems’, in S. C.Shapiro, ed., Encyclopedia of Artificial Intelligence, New York, NY: John Wiley & Sons, pp. 63–73.

    Google Scholar 

  • SearleJ. (1980), ‘Minds, Brains, and Programs’, The Behavioural and Brain Sciences 3, pp. 111–169.

    Google Scholar 

  • ShannonC. E. and WeaverW. (1949), The Mathematical Theory of Communication, Urbana, IL: University of Illinois Press.

    Google Scholar 

  • 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.

Download references

Author information

Authors and Affiliations

Authors

Rights and permissions

Reprints 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

Download citation

  • Issue Date:

  • DOI: https://doi.org/10.1007/BF00360579

Key words

Navigation