Abstract
If I see a glass begin to fall from a shelf, I can infer that the glass will probably break, by applying world knowledge such as:
-
1.
When things fall, they collide with whatever is below them.
-
2.
Glasses are fragile; floors are hard.
-
3.
When a fragile thing and a hard thing collide, the fragile thing often breaks.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
References
Alchourrón, C.E., Gärdenfors, P., and Makinson, D. (1985) On the logic of theory change: partial meet functions for contraction and revision. Journal of Symbolic Logic 50, 510–530.
Ballim, A. and Wilks, Y. (1991) Artificial Believers: The Ascription of Belief. Hillsdale, NJ: Lawrence Erlbaum Associates.
Barwise, J. and Perry, J. (1983) Situations and Attitudes. Cambridge: MIT Press.
Chalupsky, H. and Shapiro, S.C. (1996) Reasoning about incomplete agents. Proceedings of the Fifth International Conference on User Modeling.
Grove, A. J. (1995) Naming and identity in epistemic logic part II: a first-order logic for naming. Artificial Intelligence 74, 311–350.
Haas, A. R. (1986) A syntactic theory of belief and action. Artificial Intelligence 28, 245–292.
Halpern, J. Y., Moses, Y., and Vardi, M. Y. (1994) Algorithmic knowledge. Theoretical Aspects of Reasoning about Knowledge: Proc. Fifth Conference. San Francisco: Morgan Kaufmann, 255–266.
Hughes, G. E. and Cresswell, M. J. (1968) An Introduction to Modal Logic. London: Methuen.
Kaplan, A. N. and Schubert, L. K. (1997) Simulative Inference in a Computational Model of Belief. Technical Report 636, University of Rochester Computer Science Department, Rochester, New York.
Konolige, K. (1986) A Deduction Model of Belief. Los Altos, California: Morgan Kaufmann.
Moore, R. C. (1973) D-script: A computational theory of descriptions. Third International Joint Conference on Artificial Intelligence, 223–229.
Moore, R. C. (1977) Reasoning about knowledge and action. Proceedings of the International Joint Conference on Artificial Intelligence, 223–227.
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 1999 Springer Science+Business Media Dordrecht
About this chapter
Cite this chapter
Kaplan, A.N., Schubert, L.K. (1999). Simulative Inference in a Computational Model of Belief. In: Bunt, H., Muskens, R. (eds) Computing Meaning. Studies in Linguistics and Philosophy, vol 73. Springer, Dordrecht. https://doi.org/10.1007/978-94-011-4231-1_10
Download citation
DOI: https://doi.org/10.1007/978-94-011-4231-1_10
Publisher Name: Springer, Dordrecht
Print ISBN: 978-1-4020-0290-8
Online ISBN: 978-94-011-4231-1
eBook Packages: Springer Book Archive