Skip to main content
Springer Nature Link
Log in

A proof theory for Constructive Default Logic

  • Conference paper
  • First Online:
Symbolic and Quantitative Approaches to Reasoning and Uncertainty (ECSQARU 1993)

Part of the book series: Lecture Notes in Computer Science ((LNCS,volume 747))

  • 129 Accesses

Abstract

In earlier papers we developed a constructive version of Reiter's default logic; Constructive Default Logic (CDL) which is a default logic in which the fixed-point definition of extensions is replaced by a constructive definition. Constructive extensions have a computational advantage over Reiter's extensions. Reiter's default logic lacks a default proof theory for non-normal default rules, which was already observed by Reiter himself to be a weakness of his logic. In this paper we show that CDL does have a default proof theory.

This research was partially supported by ESPRIT III BRA Project No. 6156 DRUMS II.

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. C. Froidevaux and J. Mengin, A framework for comparing default logics, Tech. Report LRI, Universite Paris Sud, 1992. (extended abstract appeared in Proceedings of the JELIA 92, Berlin, 1992.)

    Google Scholar 

  2. R.A. Gueirrero, M.A. Cassanova and A.S. Hemerly, Contributions to a proof theory for generic defaults, Proc. ECAI 90, 1990.

    Google Scholar 

  3. W. Lukaszewicz, Considerations on default logic — An alternative approach, Computational Intelligence, 4:1–16, 1988.

    Google Scholar 

  4. R. Reiter, A logic for default reasoning, Artificial Intelligence 13, pp. 81–132.

    Google Scholar 

  5. Y.H. Tan, BMS — A meta-level approach to non-monotonic reasoning, in: W. Van der Hoek, J.-J. Ch. Meyer, Y.H. Tan and C. Witteveen (eds.), Non-Monotonic Reasoning and Partial Semantics, Series in Artificial Intelligence, Ellis Horwood Publishers, 1992.

    Google Scholar 

  6. Y.H. Tan, A proof theory for constructive default logic, Tech. Report, Dept. of Computer Science, Erasmus University Rotterdam, Rotterdam, May 1993.

    Google Scholar 

  7. Y.H. Tan, J. Treur, Constructive default logic and the control of defeasible reasoning, In: B. Neumann (ed.), Proc. of the European Conference on Artificial Intelligence, ECAI '92, John Wiley and Sons, 1992, pp. 299–303.

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Department of Computer Science, Erasmus University Rotterdam, P.O. Box 1738, 3000, DR Rotterdam, The Netherlands

    Yao-Hua Tan

  2. Department of Mathematics and Computer Science, Free University Amsterdam, De Boelelaan 1081a, 1081, HV Amsterdam, The Netherlands

    Yao-Hua Tan

Authors
  1. Yao-Hua Tan
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Michael Clarke Rudolf Kruse Serafín Moral

Rights and permissions

Reprints and permissions

Copyright information

© 1993 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Tan, YH. (1993). A proof theory for Constructive Default Logic. In: Clarke, M., Kruse, R., Moral, S. (eds) Symbolic and Quantitative Approaches to Reasoning and Uncertainty. ECSQARU 1993. Lecture Notes in Computer Science, vol 747. Springer, Berlin, Heidelberg. https://doi.org/10.1007/BFb0028220

Download citation

  • DOI: https://doi.org/10.1007/BFb0028220

  • Published:

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-540-57395-1

  • Online ISBN: 978-3-540-48130-0

  • eBook Packages: Springer Book Archive

Publish with us

Policies and ethics