Skip to main content
SpringerLink
Log in
Book cover

Correct Reasoning pp 422–435Cite as

The Truth about Defaults

  • Chapter

  • 1068 Accesses

Part of the book series: Lecture Notes in Computer Science ((LNTCS,volume 7265))

Abstract

It is a great honour and a pleasure to be able to offer this paper in celebration of Vladimir Lifschitz’s sixty-fifth birthday. His work has been an inspiration to both of us since we first started reading his papers in the 1980s. At a time when many papers and presentations in AI were either very abstract on the one hand, or tied to specific systems on the other, Vladimir has consistently found a sweet spot that emphasized clarity and rigour, while maintaining a strong connection to AI practice. His work, in a nutshell, has been a model of how to do AI research, of great value to new students and to older researchers like us. So this is our chance to say thank you, Vladimir, and happy birthday!

This is a preview of subscription content, log in via an institution.

Chapter
USD   29.95
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
eBook
USD   39.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
USD   54.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Purchases are for personal use only

Learn about institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. Baader, F., Calvanese, D., McGuinness, D.L., Nardi, D., Patel-Schneider, P.F. (eds.): The Description Logic Handbook: Theory, Implementation, and Applications. Cambridge University Press (2003)

    Google Scholar 

  2. Chellas, B.: Modal logic. Cambridge University Press (1980)

    Google Scholar 

  3. Denecker, M., Marek, V.W., Truszczynski, M.: Uniform semantic treatment of default and autoepistemic logics. Artif. Intell. 143(1), 79–122 (2003)

    Article  MathSciNet  MATH  Google Scholar 

  4. Denecker, M., Marek, V., Truszczynski, M.: Reiter’s default logic is a logic of autoepistemic reasoning and a good one, too. In: Brewka, G., Marek, V., Truszczynski, M. (eds.) Nonmonotonic Reasoning – Essays Celebrating Its 30th Anniversary, pp. 111–144. College Publications (2011)

    Google Scholar 

  5. Fagin, R., Halpern, J.Y., Moses, Y., Vardi, M.Y.: Reasoning About Knowledge. The MIT Press (1995)

    Google Scholar 

  6. Gomes, C.P., Kautz, H., Sabharwal, A., Selman, B.: Satisfiability Solvers. In: Frank van Harmelen, V.L., Porter, B. (eds.) Handbook of Knowledge Representation. Foundations of Artificial Intelligence, vol. 3, ch.2, pp. 89–134. Elsevier (2008)

    Google Scholar 

  7. Halpern, J., Lakemeyer, G.: Multi-agent only knowing. Journal of Logic and Computation 11(1), 41 (2001)

    Article  MathSciNet  MATH  Google Scholar 

  8. Hintikka, J.: Knowledge and belief: an introduction to the logic of the two notions. Cornell University Press (1962)

    Google Scholar 

  9. Hughes, G.E., Cresswell, M.J.: An introduction to modal logic. Methuen London (1972)

    Google Scholar 

  10. Konolige, K.: On the relation between default and autoepistemic logic. Artif. Intell. 35(3), 343–382 (1988)

    Article  MathSciNet  MATH  Google Scholar 

  11. Lakemeyer, G., Levesque, H.J.: Situations, si! situation terms, no? In: Dubois, D., Welty, C.A., Williams, M.A. (eds.) KR, pp. 516–526. AAAI Press (2004)

    Google Scholar 

  12. Lakemeyer, G., Levesque, H.J.: Only-knowing: Taking it beyond autoepistemic reasoning. In: Veloso, M.M., Kambhampati, S. (eds.) AAAI, pp. 633–638. AAAI Press / The MIT Press (2005)

    Google Scholar 

  13. Lakemeyer, G., Levesque, H.J.: Towards an axiom system for default logic. In: AAAI. AAAI Press (2006)

    Google Scholar 

  14. Lakemeyer, G., Levesque, H.J.: Only-knowing meets nonmonotonic modal logic. In: Brewka, G., Eiter, T., McIlraith, S. (eds.) KR. AAAI Press (2012)

    Google Scholar 

  15. Levesque, H.J.: All i know: A study in autoepistemic logic. Artif. Intell. 42(2-3), 263–309 (1990)

    Article  MathSciNet  MATH  Google Scholar 

  16. Levesque, H.J., Lakemeyer, G.: The logic of knowledge bases. MIT Press (2000)

    Google Scholar 

  17. Lifschitz, V.: Minimal belief and negation as failure. Artif. Intell. 70(1-2), 53–72 (1994)

    Article  MathSciNet  MATH  Google Scholar 

  18. Lin, F., Shoham, Y.: Epistemic semantics for fixed-points non-monotonic logics. In: Parikh, R. (ed.) TARK, pp. 111–120. Morgan Kaufmann (1990)

    Google Scholar 

  19. Moore, R.C.: Semantical considerations on nonmonotonic logic. Artif. Intell. 25(1), 75–94 (1985)

    Article  MathSciNet  MATH  Google Scholar 

  20. Reiter, R.: A logic for default reasoning. Artificial Intelligence 13(1-2), 81–132 (1980)

    Article  MathSciNet  MATH  Google Scholar 

  21. Tarski, A.: Logic, Semantics, Metamathematics: Papers from 1923 to 1938. Hacket (1956)

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Dept. of Computer Science, University of Toronto, Toronto, Canada, M5S 3A6

    Hector J. Levesque

  2. Dept. of Computer Science, RWTH Aachen University, 52056, Aachen, Germany

    Gerhard Lakemeyer

Authors
  1. Hector J. Levesque
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Gerhard Lakemeyer
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Editors and Affiliations

  1. Faculty of Engineering and Natural Science, Sabanci University, Orhanli, 34956, Tuzla, Istanbul, Turkey

    Esra Erdem

  2. School of Computing, Informatics and Decision Systems Engineering, Arizona State University, P.O. Box 878809, 85287, Tempe, AZ, USA

    Joohyung Lee

  3. Department of Computer Science, University of Kentucky, 329 Rose Street, 40506, Lexington, KY, USA

    Yuliya Lierler

  4. Department of Artificial Intelligence, Politechnical University of Madrid, Campus de Montegancedo, 28660, Boadilla del Monte, Madrid, Spain

    David Pearce

Rights and permissions

Reprints and permissions

Copyright information

© 2012 Springer-Verlag Berlin Heidelberg

About this chapter

Cite this chapter

Levesque, H.J., Lakemeyer, G. (2012). The Truth about Defaults. In: Erdem, E., Lee, J., Lierler, Y., Pearce, D. (eds) Correct Reasoning. Lecture Notes in Computer Science, vol 7265. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-30743-0_29

Download citation

  • DOI: https://doi.org/10.1007/978-3-642-30743-0_29

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-642-30742-3

  • Online ISBN: 978-3-642-30743-0

  • eBook Packages: Computer ScienceComputer Science (R0)

Publish with us

Policies and ethics

Search

Navigation