A computational model of belief

Artificial Intelligence

Volumn 120, Issue 1, 2000, Pages 119-160

  Kaplan, Aaron N ^a   Schubert, Lenhart K ^a  

^a University of Rochester   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTER SIMULATION; FORMAL LOGIC; MATHEMATICAL MODELS;

BELIEF INFERENCE;

ARTIFICIAL INTELLIGENCE;

EID: 0033707828     PISSN: 00043702     EISSN: None     Source Type: Journal    
DOI: 10.1016/S0004-3702(00)00021-7     Document Type: Article

References (22)

1. Ballim A., Wilks Y. Artificial Believers (The Ascription of Belief). 1991;Lawrence Erlbaum Associates, Hillsdale, NJ.
2. Chalupsky H., Shapiro S.C. Reasoning about incomplete agents. Proc. 5th International Conference on User Modeling. 1996.
3. Creary L.G. Propositional attitudes: Fregean representation and simulative reasoning. Proc. IJCAI-79, Tokyo, Japan, Vol. 1. 1979.
4. Cresswell M.J. Structured Meanings: The Semantics of Propositional Attitudes. 1985;MIT Press, Cambridge, MA.
5. Delgrande J.P. A framework for logics of explicit belief. Computational Intelligence. Vol. 11:(1):1995;47-88.
6. Fagin R., Halpern J.Y., Vardi M.Y. A nonstandard approach to the logical omniscience problem. Artificial Intelligence. Vol. 79:(2):1995;203-240.
7. Haas A.R. A syntactic theory of belief and action. Artificial Intelligence. Vol. 28:1986;245-292.
8. Halpern J.Y., Moses Y., Vardi M.Y. Algorithmic knowledge. Fagin R. Theoretical Aspects of Reasoning about Knowledge: Proc. Fifth Conference. 1994;255-266 Morgan Kaufmann, San Francisco, CA.
9. Hodges W. Elementary predicate logic. Gabbay D., Guenthner F. Elements of Classical Logic, Handbook of Philosophical Logic, Vol. I, Chapter 1. 1983;D. Reidel, Boston, MA.
10. Hughes G.E., Cresswell M.J. An Introduction to Modal Logic. 1968;Methuen, London.
11. Hwang C.H., Schubert L.K. Episodic logic: A comprehensive, natural representation for language understanding. Minds and Machines (Special Issue on KR in NLP). Vol. 3:(4):1993;381-419.
12. Kaplan A. Reason maintenance in a hybrid reasoning system. Workshop Proceedings, Inference in Computational Semantics, Amsterdam. August 1999;. Revised version to appear in Journal of Language and Computation.
13. Kaplan A.N. Simulative inference about nonmonotonic reasoners. Theoretical Aspects of Rationality and Knowledge: Proceedings of the Seventh Conference. 1998;71-81 Morgan Kaufmann, San Mateo, CA.
14. Kaplan A.N. A computational model of belief, Ph.D. Thesis. 2000;University of Rochester, Rochester, NY.
15. Kaplan A.N., Schubert L.K. Simulative inference in a computational model of belief, Technical Report 636. 1997;University of Rochester, Computer Science Department.
16. Kaplan A.N., Schubert L.K. Simulative inference in a computational model of belief. Bunt H., Muskens R. Computing Meaning, Studies in Linguistics and Philosophy. 1999;185-202 Kluwer, Dordrecht.
17. Konolige K. A Deduction Model of Belief. 1986;Morgan Kaufmann, Los Altos, CA.
18. Kripke S.A. Semantical considerations on modal logic. Acta Philosophica Fennica. Vol. 16:1963;83-94.
19. Lakemeyer G. Limited reasoning in first-order knowledge bases. Artificial Intelligence. Vol. 71:1994;213-255.
20. Levesque H.J. A logic of implicit and explicit belief. Proc. AAAI-84, Austin, TX. 1984;198-202.
21. Rapaport W.J., Shapiro S.C., Wiebe J.M. Quasi-indexicals and knowledge reports. Cognitive Sci. Vol. 21:(1):1997;63-107.
22. Schaeffer S., Hwang C.H., de Haan J., Schubert L.K. The Users's Guide to EPILOG. 1991;Boeing Co. Edmonton, Alberta.