Abstract
It has been shown that the beliefs of an autoepistemic reasoner can be captured within a classical belief logic if we add the concept of “this is all I know” to the logic, where “this” can be understood as the knowledge base of the agent in question. In this paper we introduce a new construct, which allows us to express that “this is all I know about a certain subject matter.“ This relativized all-I-know concept turns out to be sufficient to model autoepistemic reasoning.
Preview
Unable to display preview. Download preview PDF.
References
Halpern, J. Y. and Moses, Y. O., Towards a Theory of Knowledge and Ignorance: Preliminary Report, in Proceedings of The Non-Monotonic Workshop, New Paltz, NY, 1984, pp.125–143.
Halpern, J. Y. and Moses, Y. O., A Guide to the Modal Logics of Knowledge and Belief, in Proc. of the Ninth International Joint Conference on Artificial Intelligence, Los Angeles, CA, 1985, pp. 480–490.
Hintikka, J.,Knowledge and Belief: An Introduction to the Logic of the Two Notions, Cornell University Press, 1962.
Kripke, S. A., Semantical considerations on modal logic, Acta Philosophica Fennica 16,pp. 83–94, 1963.
Lakemeyer, G. and Levesque, H. J., A Tractable Knowledge Representation Service with Full Introspection, in Proc. of the Second Conference on Theoretical Aspects of Reasoning about Knowledge, Asilomar, California, 1988, pp. 145–159.
Lakemeyer, G., All You ever Wanted to Know about Tweety, to appear in: Proc. of the 3rd International Conference on Principles of Knowledge Representation and Reasoning, Morgan Kaufmann, 1992.
Levesque, H. J., A knowledge-level account of abduction. in Proceedings of the Eleventh International Joint Conference on Artificial Intelligence (IJCAI-89), pp. 1061–1067, Detroit, MA, 1989.
Levesque, H. J., All I Know: A Study in Autoepistemic Logic, Artificial Intelligence, North Holland, 42, 1990, pp. 263–309.
Moore, R., Semantical Considerations on Nonmonotonic Logic, Artificial Intelligence 25, 1985, pp. 75–94.
Reiter, R. und de Kleer, J., Foundations of assumption-based truth maintenance systems: preliminary report. Proceedings of the Sixth National Conference on Artificial Intelligence (AAAI-87), pp. 183–188, Seattle, WA, 1987.
Selman, B. and Leveque H. J., Abductive and default reasoning: a computational core. Proceedings of the Eigth National Conference on Artificial Intelligence (AAAI-90), Boston, MA, 1990, pp. 343–348.
Author information
Authors and Affiliations
Editor information
Rights and permissions
Copyright information
© 1993 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Lakemeyer, G. (1993). All I know about Tweety. In: Brewka, G., Jantke, K.P., Schmitt, P.H. (eds) Nonmonotonic and Inductive Logic. NIL 1991. Lecture Notes in Computer Science, vol 659. Springer, Berlin, Heidelberg. https://doi.org/10.1007/BFb0030396
Download citation
DOI: https://doi.org/10.1007/BFb0030396
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-56433-1
Online ISBN: 978-3-540-47557-6
eBook Packages: Springer Book Archive