Skip to main content
SpringerLink
Log in
Book cover

European Conference on Symbolic and Quantitative Approaches to Reasoning and Uncertainty

ECSQARU 1991: Symbolic and Quantitative Approaches to Uncertainty pp 305–309Cite as

On commitment and cumulativity in default logics

  • Contributed Papers
  • Conference paper
  • First Online:

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

Abstract

This paper examines Poole's notion of “commitment to assumptions” as well as Makinson's demand for cumulativity in the context of default logic. It provides a semantical characterization of Brewka's approach which can be regarded as a realization of both notions. Moreover, another variant of default logic is introduced that shares the nice properties of Brewka's variant but avoids some of its problems.

This research was supported by the Federal Ministry for Research and Technology within the project TASSO under grant no. ITW 8900 A7.

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

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. G. Brewka. Cumulative default logic: In defense of nonmonotonic inference rules. To appear in AIJ, 1991.

    Google Scholar 

  2. J. P. Delgrande and W. K. Jackson. Default logic revisited. In KR'91, 118–127, 1991.

    Google Scholar 

  3. D. W. Etherington. Reasoning with Incomplete Information. Pitman, 1988.

    Google Scholar 

  4. W. Lukaszewicz. Considerations on default logic — an alternative approach. CI, 4:1–16, 1988.

    Google Scholar 

  5. D. Makinson. General theory of cumulative inference. In 2nd Workshop on NMR, 1–18, 1988.

    Google Scholar 

  6. D. Makinson and G. Brewka. A cumulative inference relation for JTMS and lp. In NIL'90, LNAI, 1991.

    Google Scholar 

  7. D. L. Poole. A logical framework for default reasoning. AIJ, 36:27–47, 1988.

    Google Scholar 

  8. D. L. Poole. What the lottery paradox tells us about default reasoning. In KR'89, 333–340, 1989.

    Google Scholar 

  9. R. Reiter. A logic for default reasoning. AIJ, 13:81–132, 1980.

    Google Scholar 

  10. T. Schaub. Assertional default theories: A semantical view. In KR'91, 496–506, 1991.

    Google Scholar 

  11. T. Schaub. On constrained default theories. Technical report, THD, 1991. In preparation.

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. FG Intellektik, TH Darmstadt, Alexanderstraße 10, D-6100, Darmstadt

    Torsten Schaub

Authors
  1. Torsten Schaub
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Rudolf Kruse Pierre Siegel

Rights and permissions

Reprints and permissions

Copyright information

© 1991 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Schaub, T. (1991). On commitment and cumulativity in default logics. In: Kruse, R., Siegel, P. (eds) Symbolic and Quantitative Approaches to Uncertainty. ECSQARU 1991. Lecture Notes in Computer Science, vol 548. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-54659-6_106

Download citation

  • DOI: https://doi.org/10.1007/3-540-54659-6_106

  • Published:

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-540-54659-7

  • Online ISBN: 978-3-540-46426-6

  • eBook Packages: Springer Book Archive

Publish with us

Policies and ethics

Search

Navigation