Skip to main content
SpringerLink
Log in

Semi-representability of default theories in rational default logic

  • Default Logics
  • Conference paper
  • First Online:
Logics in Artificial Intelligence (JELIA 1996)

Part of the book series: Lecture Notes in Computer Science ((LNAI,volume 1126))

Included in the following conference series:

Abstract

Marek and Truszczyński studied the representability issue for default logic. They proved that an arbitrary default theory can be represented by a weak seminormal default theory provided the language \(\mathcal{L}\) has been extended by new atoms. We will prove in this paper that their construction preserves also rational and skeptical rational extensions.

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

Access this chapter

Log in via an institution

Institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. P. Besnard. An introduction to default logic. Springer-Verlag, Berlin, 1989.

    Google Scholar 

  2. G. Brewka. Cumulative default logic: in defense of nonmonotonic inference rules. Artificial Intelligence, 50:183–205, 1991.

    Article  Google Scholar 

  3. G. Brewka. Nonmonotonic reasoning: logical foundations of commonsense. Cambridge University Press, Cambridge, UK, 1991.

    Google Scholar 

  4. M. Gelfond, V. Lifschitz, H. Przymusinska, and M. Truszczyński. Disjunctive defaults. In Second international conference on principles of knowledge representation and reasoning, KR '91, Cambridge, MA, 1991.

    Google Scholar 

  5. W. Marek and M. Truszczyński. Nonmonotonic logics; context-dependent reasoning. Berlin: Springer-Verlag, 1993.

    Google Scholar 

  6. A. Mikitiuk and M. Truszczyński. Rational default logic and disjunctive logic programming. In A. Nerode and L. Pereira, editors, Logic programming and non-monotonic reasoning, pages 283–299. MIT Press, 1993.

    Google Scholar 

  7. A. Mikitiuk and M. Truszczyński. Constrained and rational default logics. In Proceedings of IJCAI-95, pages 1509–1515. Morgan Kaufmann, 1995.

    Google Scholar 

  8. A. Mikitiuk and M. Truszczyński. Skeptical rational extensions. In V.W. Marek, A. Nerode, and M. Truszczynski, editors, Logic Programming and Non-Monotonic Reasoning. Proceedings of the Third International Conference. Springer-Verlag, 1995.

    Google Scholar 

  9. D. Poole. What the lottery paradox tells us about default reasoning. In Proceedings of the 2nd conference on principles of knowledge representation and reasoning, KR '89, pages 333–340, San Mateo, CA., 1989. Morgan Kaufmann.

    Google Scholar 

  10. R. Reiter. A logic for default reasoning. Artificial Intelligence, 13:81–132, 1980.

    Article  Google Scholar 

  11. T. Schaub. Considerations on Default Logics. PhD thesis, Technischen Hochschule Darmstadt, 1992.

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Department of Computer Science, University of Kentucky, 40506-0046, Lexington, KY

    Artur Mikitiuk

Authors
  1. Artur Mikitiuk
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

José Jülio Alferes Luís Moniz Pereira Ewa Orlowska

Rights and permissions

Reprints and permissions

Copyright information

© 1996 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Mikitiuk, A. (1996). Semi-representability of default theories in rational default logic. In: Alferes, J.J., Pereira, L.M., Orlowska, E. (eds) Logics in Artificial Intelligence. JELIA 1996. Lecture Notes in Computer Science, vol 1126. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-61630-6_13

Download citation

  • DOI: https://doi.org/10.1007/3-540-61630-6_13

  • Published:

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-540-61630-6

  • Online ISBN: 978-3-540-70643-4

  • eBook Packages: Springer Book Archive

Publish with us

Policies and ethics

Search

Navigation