The many uses of ‘belief’ in AI

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.

[1]  Donald Perlis,et al.  Languages With Self-Reference I: Foundations , 1985, Artif. Intell..

[2]  J. Dekleer An assumption-based TMS , 1986 .

[3]  Gerhard Lakemeyer Tractable Meta-Reasoning in Propositional Logics of Belief , 1987, IJCAI.

[4]  N. Cocchiarella,et al.  Situations and Attitudes. , 1986 .

[5]  Franz Oppacher,et al.  HARP: A tableau-based theorem prover , 1988, Journal of Automated Reasoning.

[6]  Peter C. Cheeseman,et al.  An inquiry into computer understanding , 1988, Comput. Intell..

[7]  P. T. Geach,et al.  KNOWLEDGE AND BELIEF: An Introduction to the Logic of the Two Notions , 1963 .

[8]  William J. Rapaport,et al.  Logical Foundations for Belief Representation , 1986 .

[9]  Gregory L. McArthur,et al.  Reasoning about knowledge and belief: a survey , 1988, Comput. Intell..

[10]  Ronald Fagin,et al.  Belief, Awareness, and Limited Reasoning. , 1987, Artif. Intell..

[11]  J. Jastrow The Mind's Eye. , 1899 .

[12]  Yorick Wilks,et al.  Multiple Agents and the Heuristic Ascription of Belief , 1987, IJCAI.

[13]  John A. Barnden Intensions as Such: An Outline , 1983, IJCAI.

[14]  Johan de Kleer,et al.  An Assumption-Based TMS , 1987, Artif. Intell..

[15]  William P. Alston,et al.  Knowledge and the Flow of Information , 1985 .

[16]  Ronald J. Brachman,et al.  What's in a Concept: Structural Foundations for Semantic Networks , 1977, Int. J. Man Mach. Stud..

[17]  G. Frege On Sense and Reference , 1948 .

[18]  Andrew Haas,et al.  Possible events, actual events, and robots , 1985 .

[19]  John R. Searle,et al.  Minds, brains, and programs , 1980, Behavioral and Brain Sciences.

[20]  Hector J. Levesque,et al.  A Logic of Implicit and Explicit Belief , 1984, AAAI.

[21]  Charles F. Hockett,et al.  A mathematical theory of communication , 1948, MOCO.

[22]  Hector J. Levesque Making Believers out of Computers , 1989 .

[23]  Moshe Y. Vardi,et al.  On Epistemic Logic and Logical Omniscience. , 1988 .

[24]  Robert F. Hadley A default-oriented theory of procedural semantics , 1989 .

[25]  Alonzo Church,et al.  Intensional isomorphism and identity of belief , 1954 .

[26]  David J. Israel,et al.  Structured Meanings: The Semantics of Propositional Attitudes. , 1987 .

[27]  Jerry R. Hobbs,et al.  Making Computational Sense of Montague's Intensional Logic , 1977, Artif. Intell..

[28]  H. Levesque Logic and the complexity of reasoning , 1988 .

[29]  Andrew R. Haas,et al.  A Syntactic Theory of Belief and Action , 1986, Artif. Intell..

[30]  Robert C. Moore Reasoning About Knowledge and Action , 1977, IJCAI.

[31]  Stuart C. Shapiro,et al.  Intensional Concepts in Propositional Semantic Networks , 1982, Cogn. Sci..

[32]  Robert F. Hadley Logical omniscience, semantics, and models of belief , 1988, Comput. Intell..