All I know about Tweety

Preliminary report
  • Gerhard Lakemeyer
Selected Papers
Part of the Lecture Notes in Computer Science book series (LNCS, volume 659)


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.

Unable to display preview. Download preview PDF.


  1. [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
  2. [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
  3. [Hintikka 1962]
    Hintikka, J.,Knowledge and Belief: An Introduction to the Logic of the Two Notions, Cornell University Press, 1962.Google Scholar
  4. [Kripke 1963]
    Kripke, S. A., Semantical considerations on modal logic, Acta Philosophica Fennica 16,pp. 83–94, 1963.Google Scholar
  5. [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
  6. [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
  7. [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
  8. [Levesque 1990]
    Levesque, H. J., All I Know: A Study in Autoepistemic Logic, Artificial Intelligence, North Holland, 42, 1990, pp. 263–309.Google Scholar
  9. [Moore 1985]
    Moore, R., Semantical Considerations on Nonmonotonic Logic, Artificial Intelligence 25, 1985, pp. 75–94.Google Scholar
  10. [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
  11. [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

Copyright information

© Springer-Verlag Berlin Heidelberg 1993

Authors and Affiliations

  • Gerhard Lakemeyer
    • 1
  1. 1.Institut für Informatik IIIUniversität BonnBonn 1Germany

Personalised recommendations