All I know about Tweety
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.
Unable to display preview. Download preview PDF.
- [Halpern and Moses 1984]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.Google Scholar
- [Halpern and Moses 1985]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.Google Scholar
- [Hintikka 1962]Hintikka, J.,Knowledge and Belief: An Introduction to the Logic of the Two Notions, Cornell University Press, 1962.Google Scholar
- [Kripke 1963]Kripke, S. A., Semantical considerations on modal logic, Acta Philosophica Fennica 16,pp. 83–94, 1963.Google Scholar
- [Lakemeyer and Levesque 1988]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.Google Scholar
- [Lakemeyer 1992]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.Google Scholar
- [Levesque 1989]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.Google Scholar
- [Levesque 1990]Levesque, H. J., All I Know: A Study in Autoepistemic Logic, Artificial Intelligence, North Holland, 42, 1990, pp. 263–309.Google Scholar
- [Moore 1985]Moore, R., Semantical Considerations on Nonmonotonic Logic, Artificial Intelligence 25, 1985, pp. 75–94.Google Scholar
- [Reiter und de Kleer 1987]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.Google Scholar
- [Selman and Levesque 1990]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.Google Scholar