Skip to main content
SpringerLink
Log in

Implication connectives for logics with right weakening

  • Logics
  • Conference paper
  • First Online:
Advances in Intelligent Computing — IPMU '94 (IPMU 1994)

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

  • 169 Accesses

Abstract

We study non-monotonic inference relations, focusing on the properties of the underlying monotonic consequence relation. This sheds new light on the general properties that may or may not be satisfied by a nonmonotonic relation. We let the underlying consequence relation to be any monotonic logic, indicating under what precise conditions it gives rise to a non-monotonic inference relation that obeys major principles such as right weakening and the rule of detachment. We begin to explore the border line that non-monotonic relations cannot cross if they are to enjoy these properties. This work may be considered either as a constructive opposition, or as a complement, to the previous work about the general properties of nonmonotonic inference relations.

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. A.R. Anderson and N.D. Jr. Belnap. Entailment: The Logic of Relevance and Necessity. Princeton University Press, 1975.

    Google Scholar 

  2. Philippe Besnard. Axiomatizations in the metatheory of nonmonotonic inference systems. In 7th Conf. of the Canadian Society for Computational Studies of Intelligence (CSCSI), pages 117–124, Edmonton, Morgan-Kaufmann, June 1988.

    Google Scholar 

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

    Google Scholar 

  4. Michael Freund, Daniel Lehmann, and Paul Morris. Rationality, Transitivity, and Contraposition. Artificial Intelligence, 52:191–203, 1991.

    Google Scholar 

  5. Michael Freund. Supracompact inference operations. In Nonmonotonic Inductive Logic, in LNAI 543, pages 59–73, Karlsruhe, Springer-Verlag, December 1990.

    Google Scholar 

  6. Dov M. Gabbay. Intuitionistic bases for nonmonotonic logic. In D.W. Loveland, editor, LNCS 138, pages 260–273. Springer-Verlag, 1982.

    Google Scholar 

  7. D.M. Gabbay. Theoretical foundations for nonmonotonic reasoning in expert systems. In K.R. Apt, editor, Proc. Logics and Models of Concurrent Systems, NATO ASI Series F, volume 13, page xxx. Springer Verlag, 1985.

    Google Scholar 

  8. G. Gentzen. Untersuchungen über das logische Schliessen. Mathematische Zeitschrift, 39:176–210, 405–431, 1933. Trad. française publiée aux Presses Universitaires de France, Paris, 1955 English translation in Collected papers of Gerhard Gentzen (Szabo ed.), North Holland, Amsterdam, 1969.

    Google Scholar 

  9. Heinrich Herre. Compactness Properties of Nonmonotonic Inference Operations. Proc. of JELIA'94. In Logic in Artificial Intelligence, LNAI 838, pages 19–33, York, Springer-Verlag, September 1994.

    Google Scholar 

  10. Sarit Kraus, Daniel Lehmann, and Menachem Magidor. Nonmonotonic reasoning, preferential models and cumulative logics. Artificial Intelligence, 44:167–207, 1990.

    Google Scholar 

  11. David Makinson. General theory of cumulative inference. In Non-Monotonic Reasoning, in LNAI-346, pages 1–18. Springer-Verlag, June 1988.

    Google Scholar 

  12. T. Pequeno and A. Buschbaum. The logic of epistemic inconsistency. In Proc. 2nd Conf. on Principles of Knowledge Representation and Reasoning, pages 435–460, Toronto, 1991.

    Google Scholar 

  13. N. Rescher and R. Brandom. The Logic of Inconsistency. Blackwell, 1980.

    Google Scholar 

  14. A. Tarski. Über einige fundamentale Begriffe der Metamathematik. C.R. Soc. Sciences et Lettres de Varsovie, 23, cl. III:22–29, 1930. Trad. française parue dans Logique, sémantique, métamathématique, tome 1, Tarski, A., Armand Collin publ., Paris 1972. English translation in Logic, Semantics, Metamathematics. Papers from 1923–1938 (Woodger ed.), Clarendon Press, Oxford, 1956.

    Google Scholar 

  15. Raymond Turner. Logics for artificial intelligence. Hellis Horwood Ltd, 1984.

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. IRISA, Campus de Beaulieu, 35042, Rennes Cedex, France

    Philippe Besnard & Yves Moinard

Authors
  1. Philippe Besnard
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Yves Moinard
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Bernadette Bouchon-Meunier Ronald R. Yager Lotfi A. Zadeh

Rights and permissions

Reprints and permissions

Copyright information

© 1995 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Besnard, P., Moinard, Y. (1995). Implication connectives for logics with right weakening. In: Bouchon-Meunier, B., Yager, R.R., Zadeh, L.A. (eds) Advances in Intelligent Computing — IPMU '94. IPMU 1994. Lecture Notes in Computer Science, vol 945. Springer, Berlin, Heidelberg. https://doi.org/10.1007/BFb0035969

Download citation

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

  • Published:

  • Publisher Name: Springer, Berlin, Heidelberg

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

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

  • eBook Packages: Springer Book Archive

Publish with us

Policies and ethics

Search

Navigation