Advertisement

The Role(s) of Belief in AI

  • Don Perlis
Chapter
Part of the The Springer International Series in Engineering and Computer Science book series (SECS, volume 597)

Abstract

Beliefs play complex and sometimes confusing roles in AI. This paper surveys (i) a variety of notions of belief, (ii) formal efforts to characterize beliefs, and (iii) how beliefs are related to action, to language, and to commonsense. In addition, we will consider certain logical tensions between beliefs and consistency.

Keywords

Belief consistency modality content 

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. Aichourron, C, Gardenfors, P., and Makinson, D. (1985). On the logic of theory change. J. Symbolic Logic, 50:510–530.MathSciNetCrossRefGoogle Scholar
  2. Bacchus, F., Grove, A., Halpern, J., and Koller, D. (1993). Statistical foundations for default reasoning. In IJCAI, pages 563–569.Google Scholar
  3. Churchland, P. (1984). Matter and Consciousness. MIT Press, Cambridge, MA.Google Scholar
  4. des Rivières, J. and Levesque, H. (1986). The consistency of syntactical treatments of knowledge. In Proceedings of the conference on Theoretical Aspects of Reasoning about Knowledge, pages 115–130.Google Scholar
  5. Devitt, M. (1984). Thoughts and their ascription. In French, P. A., Uehling, T. A., and Wettstein, H. K., editors, Midwest Studies in Philosophy, Volume IX: Causation and Causal Theories. University of Minnesota Press, Minneapolis, MN.Google Scholar
  6. Elgot-Drapkin, J., Kraus, S., Miller, M., Nirkhe, M., and Pedis, D. (1993). Active logics: A unified formal approach to episodic reasoning. Technical Report UMIACS TR # 99–65, CS-TR # 4072, Univ of Maryland, UMIACS and CSD.Google Scholar
  7. Elgot-Drapkin, J. and Perlis, D. (1990). Reasoning situated in time I: Basic concepts. Journal of Experimental and Theoretical Artificial Intelligence, 2(l):75–98.CrossRefGoogle Scholar
  8. Fagin, R., Halpern, J., Moses, Y., and Vardi, M. Y. (1995). Reasoning About Knowledge. MIT Press.Google Scholar
  9. Gettier, E. (1963). Is justified true belief knowledge? Analysis, 23:121–123.Google Scholar
  10. Gilmore, P. (1974). The consistency of partial set theory without extensionality. In Jech, T., editor, Axiomatic Set Theory, pages 147–153. Amer. Math. Soc.Google Scholar
  11. Ginsberg, M., editor (1987). Readings in Nonmonotonic Reasoning. Morgan Kaufmann.Google Scholar
  12. Gurney, J., Perlis, D., and Purang, K. (1997). Interpreting presuppositions using active logic: From contexts to utterances. Computational Intelligence, 13(3):391–413.CrossRefGoogle Scholar
  13. Hintikka, J. (1962). Knowledge and Belief Cornell University Press, Ithaca, NY.Google Scholar
  14. Konolige, K. (1986). A Deduction Model of Belief Pitman, London.zbMATHGoogle Scholar
  15. Kripke, S. (1975). Outline of a theory of truth. Journal of Philosophy, 72:690–716.CrossRefGoogle Scholar
  16. Kripke, S. A. (1979). A puzzle about belief. In Margalit, A., editor, Meaning and Use: Papers Presented at the Second Jerusalem Philosophical Encounter, pages 239–283. D. Reidel.Google Scholar
  17. Levesque, H. (1984). A logic of implicit and explicit belief. In Proceedings of the National Conference on Artificial Intelligence, pages 198–202, Austin, TX. American Association for Artificial Intelligence.Google Scholar
  18. McDermott, D. and Doyle, J. (1980). Non-monotonic logic I. Artificial Intelligence, 13(l,2):41–72.MathSciNetzbMATHCrossRefGoogle Scholar
  19. Miller, M. and Perlis, D. (1993). Presentations and this and that: logic in action. In Proceedings of the 15th Annual Conference of the Cognitive Science Society, pages 747–752, Boulder, Colorado.Google Scholar
  20. Montague, R. (1963). Syntactical treatments of modality, with corollaries on reflection principles and finite axiomatizability. In Modal and Many- Valued Logics (Acta Philosophica Fennica, vol. 16). Academic Bookstore, Helsinki. Reprinted in R. Montague (1974). Formal Philosophy, New Haven, pp. 286–302.Google Scholar
  21. Morreau, M. and Kraus, S. (1998). Syntactical treatments of propositional attitudes. Artificial Intelligence, 106:161–177.MathSciNetzbMATHCrossRefGoogle Scholar
  22. Nilsson, N. J. (1983). Artificial intelligence prepares for 2001. AI Magazine, 4(4):7–14.Google Scholar
  23. Perlis, D. (1985). Languages with self reference I: Foundations. Artificial Intelligence, 25:301–322.MathSciNetzbMATHCrossRefGoogle Scholar
  24. Perlis, D. (1986). On the consistency of commonsense reasoning. Computational Intelligence, 2:180–190.CrossRefGoogle Scholar
  25. Perlis, D. (1988). Languages with self reference II: Knowledge, belief, and modality. Artificial Intelligence, 34:179–212.MathSciNetzbMATHCrossRefGoogle Scholar
  26. Perlis, D. (1996). Nine sources of inconsistency in commonsense reasoning. In 1996 Workshop on Commonsense Reasoning, Stanford.Google Scholar
  27. Perlis, D., Purang, K., and Andersen, C. (1998). Conversational adequacy: Mistakes are the essence. International Journal of Human Computer Studies, pages 553–575.Google Scholar
  28. Reiter, R. (1980a). Equality and domain closure in first-order databases. Journal of the ACM, 27:235–249.MathSciNetzbMATHCrossRefGoogle Scholar
  29. Reiter, R. (1980b). A logic for default reasoning. Artificial Intelligence, 13(1,2):81–132.MathSciNetzbMATHCrossRefGoogle Scholar
  30. Thomason, R. (1980). A note on syntactical treatments of modality. Synthese, 44:391–395.MathSciNetzbMATHCrossRefGoogle Scholar
  31. Traum, D. and Andersen, C. (1999). Representations of dialogue state for domain and task independent meta-dialogue. In Proceedings of the IJCAI99 workshop: Knowledge And Reasoning in Practical Dialogue Systems, pages 113–120.Google Scholar

Copyright information

© Springer Science+Business Media New York 2000

Authors and Affiliations

  • Don Perlis
    • 1
  1. 1.Institute for Advanced Computer Studies and Department of Computer ScienceUniversity of MarylandCollege ParkUSA

Personalised recommendations