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.
Preview
Unable to display preview. Download preview PDF.
References
R.C.T. LEE (1972), Fuzzy Logic and the Resolution Principle, Journal A.C.M. 19, 109–119.
L.A. ZADEH (1965), Fuzzy Sets, Information and Control 8, 338–353.
M. MUKAIDONO et al. (1989), Fundamentals of Fuzzy Prolog, International J. of Approximate Reasoning 3, 179–193.
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.
J.A. ROBINSON (1965), A Machine-oriented Logic Based on the Resolution Principle Journal A.C.M. 12, 23–41.
C.L. CHANG and R.C.T. LEE (1973), Symbolic Logic and Mechanical Theorem Proving, Academic Press, New York.
S.C. KLEENE (1952), Introduction to Metamathematics, Noordhoff, Groningen.
H.J. SKALA, S. TERMINI and E. TRILLAS (1984), Aspects of Vagueness, D. Reidel, Dordrecht.
Author information
Authors and Affiliations
Editor information
Rights 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