Skip to main content
SpringerLink
Log in

Qualitative magnitude reasoning

Towards a new syntax and semantics for default reasoning

  • Conference paper
  • First Online:
Nonmonotonic and Inductive Logic (NIL 1990)

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

Included in the following conference series:

Abstract

We present the monotonic core of a new syntactic and semantic framework for reasoning with and about boolean combinations of facts and defaults, which is very well suited for further generalizations. Our default concept is explicitly based on the notion of qualitative magnitude. We introduce two flat, propositional fragments of a corresponding logic, which are shown to be closely related to (however stronger than) rational and preferential logic. After discussing some drawbacks of classical ranked model theory, we generalize it to what we call expectation-realization semantics. We consider then possible constraints for our general expectation-realization models and relate expectation-realization entailment and elementary qualitative magnitude logic by a completeness result.

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. E. Adams. The logic of conditionals. Dordrecht, Netherlands, D. Reidel.

    Google Scholar 

  2. N. Asher, M. Morreau. Commonsense entailment: a modal theory of nonmonotonic reasoning. Proc. of the First European Conference on Logic in AI JELIA, Springer-Verlag.

    Google Scholar 

  3. J. Delgrande. An approach to default reasoning based on a first-order conditional logic: a revised report. Artificial Intelligence, 36:63–90.

    Google Scholar 

  4. D. Gabbay. Theoretical foundations for nonmonotonic reasoning in expert systems. In Logics and models of concurrent systems, ed. K.R. Apt. Berlin, Springer-Verlag.

    Google Scholar 

  5. H. Geffner, J. Pearl. A framework for reasoning with defaults. In Knowledge Representation and Defeasible Inference, eds. H. Kyburg et al, Kluwer 1990.

    Google Scholar 

  6. H. Geffner.Default reasoning:causal and conditional theories. Technical report R-137, UCLA Cognitive Systems Laboratory. PhD thesis.

    Google Scholar 

  7. M. Goldszmidt, J. Pearl. On the relation between rational closure and system Z. Technical report R-132, UCLA Cognitive Systems Laboratory.

    Google Scholar 

  8. S. Hanks, D. McDermott. Nonmonotonic logics and temporal projection. Artificial Intelligence, 33:379–412.

    Google Scholar 

  9. S. Kraus, D. Lehmann, M. Magidor. Nonmonotonic reasoning preferential models and cumulative logics. Artificial Intelligence, 44:167–207, 1990.

    Google Scholar 

  10. D. Lehmann. What does a conditional knowledge base entail? Proc. of the First International Conference on Principles of Knowledge Representationn and Reasoning, 212–222, Toronto, Ontario. Morgan Kaufmann.

    Google Scholar 

  11. D. Lehmann, M. Magidor. What does a conditional knowledge base entail?. Technical report, Dept of Computer Science, Hebrew University, Jerusalem 91904, Israel (submitted).

    Google Scholar 

  12. D. Makinson. General theory of cumulative inference. In Proc. of the 2nd international workshop on non-monotonic reasoning, ed. M. Reinfrank et al. Berlin, Springer Lecture Notes on Computer Science.

    Google Scholar 

  13. J. Pearl. Probabilistic Reasoning in Intelligent Systems: Networks of Plausible Reasoning. San Mateo, Morgan Kaufmann Publishers.

    Google Scholar 

  14. J, Pearl. System Z: a natural ordering of defaults with tractable applications to nonmonotonic reasoning. Proc. of the Third Conference on Theoretical Aspects of Reasoning about Knowledge. Monterey, California. Morgan Kaufmann.

    Google Scholar 

  15. Y. Shoham. A semantical approach to non-monotonic logics. In Proc. Logics in Computer Science, 275–279, Ithaca, N.Y.

    Google Scholar 

  16. E. Weydert. Elementary Hyperentailment: nonmonotonic reasoning about defaults. Proceedings of the European Conference on Symbolic and Quantitative Approaches for Uncertainty 91. Springer-Verlag (to appear).

    Google Scholar 

  17. E. Weydert. Hyperentailment report (in preparation).

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. University of Stuttgart IMS, Keplerstrasse 17, D-7000, Stuttgart 1

    Emil Weydert

Authors
  1. Emil Weydert
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

J. Dix K. P. Jantke P. H. Schmitt

Rights and permissions

Reprints and permissions

Copyright information

© 1991 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Weydert, E. (1991). Qualitative magnitude reasoning. In: Dix, J., Jantke, K.P., Schmitt, P.H. (eds) Nonmonotonic and Inductive Logic. NIL 1990. Lecture Notes in Computer Science, vol 543. Springer, Berlin, Heidelberg. https://doi.org/10.1007/BFb0023321

Download citation

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

  • Published:

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-540-54564-4

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

  • eBook Packages: Springer Book Archive

Publish with us

Policies and ethics

Search

Navigation