Skip to main content
SpringerLink
Log in

Integrating resolution—like procedures with Lukasiewicz implication

  • Logical Methods
  • Conference paper
  • First Online:
IPMU '92—Advanced Methods in Artificial Intelligence (IPMU 1992)

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

Abstract

We discuss some conceptual and technical problems raised by the attempt of integrating resolution-like procedures with the use of Łukasiewicz implication Min{1, 1 − [a] + [b]} in an environment of approximate reasoning modelled by fuzzy logics.

We are grateful to an anonymous referee for some useful suggestions. The work of the second author was partially supported by C.N.R. with grant n. 91.04096.CT12.

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. R.C.T. LEE (1972), Fuzzy Logic and the Resolution Principle, Journal A.C.M. 19, 109–119.

    Google Scholar 

  2. L.A. ZADEH (1965), Fuzzy Sets, Information and Control 8, 338–353.

    Article  Google Scholar 

  3. M. MUKAIDONO et al. (1989), Fundamentals of Fuzzy Prolog, International J. of Approximate Reasoning 3, 179–193.

    Google Scholar 

  4. J. PAVELKA (1979) On Fuzzy Logic, I, II, III Zeitschrift für Mathematische Logik und Grundlagen der Mathematik 25, 45–52, 119–134, 447–464.

    Google Scholar 

  5. J.A. ROBINSON (1965), A Machine-oriented Logic Based on the Resolution Principle Journal A.C.M. 12, 23–41.

    Google Scholar 

  6. C.L. CHANG and R.C.T. LEE (1973), Symbolic Logic and Mechanical Theorem Proving, Academic Press, New York.

    Google Scholar 

  7. S.C. KLEENE (1952), Introduction to Metamathematics, Noordhoff, Groningen.

    Google Scholar 

  8. H.J. SKALA, S. TERMINI and E. TRILLAS (1984), Aspects of Vagueness, D. Reidel, Dordrecht.

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Istituto di Cibernetica del C.N.R., Arco Felice, Napoli

    Gughelmo Tamburrini & Settimo Termini

  2. Dipartimento di Matematica dell'Università di Palermo, Italy

    Settimo Termini

Authors
  1. Gughelmo Tamburrini
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Settimo Termini
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Bernadette Bouchon-Meunier Llorenç Valverde Ronald R. Yager

Rights and permissions

Reprints and permissions

Copyright information

© 1993 Springer-Verlag

About this paper

Cite this paper

Tamburrini, G., Termini, S. (1993). Integrating resolution—like procedures with Lukasiewicz implication. In: Bouchon-Meunier, B., Valverde, L., Yager, R.R. (eds) IPMU '92—Advanced Methods in Artificial Intelligence. IPMU 1992. Lecture Notes in Computer Science, vol 682. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-56735-6_47

Download citation

  • DOI: https://doi.org/10.1007/3-540-56735-6_47

  • Published:

  • Publisher Name: Springer, Berlin, Heidelberg

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

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

  • eBook Packages: Springer Book Archive

Publish with us

Policies and ethics

Search

Navigation