Abstract
The language of signed formulas offers a classical logic frame-work for multiple-valued logics. Fuzzy operator logic is cast in this frame-work, thereby making most classical inference techniques applicable to fuzzy logic. In particular, resolution for first order fuzzy operator logic is shown to be a special case of signed resolution.
This is a preview of subscription content, log in via an institution to check access.
Preview
Unable to display preview. Download preview PDF.
References
Bezdek, J. C., Fuzzy models — what are they, and why?, IEEE Transactions on Fuzzy Systems, 1, 1 (1993), 1–6.
Blair, H.A. and Subrahmanian, V.S., Paraconsistent logic programming, Theoretical Computer Science, 68 (1989), 135–154.
Doherty, P., Preliminary report: NM3 — A three-valued non-monotonic formalism. Proc. of the 5 th International Symposium on Methodologies for Intelligent Systems, (1990), 498–505.
Gaines, B. R., Foundations of fuzzy reasoning, Fuzzy Automata and Decision Processes (Gupta, M.M., Saridis, G.N., Gaines, B.R eds.), North-Holland (1977), 19–75.
Hähnle, R., Uniform notation tableau rules for multiple-valued Logics, Proc. of the International Symposium on Multiple-Valued Logic, (1991), 26–29.
Hähnle, R., Automated Proof Search in Multiple-Valued Logics, Oxford University Press (1993).
Kifer, M. and Lozinskii, E., RI: A logic for reasoning with inconsistency, IEEE Symposium on Logic in Computer Science (1989), 253–262.
Kifer, M. and Lozinskii, E., A logic for reasoning with inconsistency, Journal of Automated Reasoning 9 (1992), 179–215.
Kifer, M. and Subrahmanian, V.S., Theory of generalized annotated logic programming and its applications, the Journal of Logic Programming 12 (1992), 335–367.
Lee, R., Fuzzy logic and the resolution principle. J. ACM 19 (1972), 109–119.
Liu, X.H., Tsai, J.P., Weigert, T., λ-resolution and the interpretation of λ-implication in fuzzy operator logic, Information Science 56 (1991), 259–278.
Lu, J.J., Murray, N.V., Rosenthal, E., Signed formulas and annotated logics, Proc. of the 23rd IEEE International Symposium on Multiple-Valued Logic, (1993), 48–53.
Mukaidono, M., Fuzzy inference of resolution style, in Fuzzy Set and Possibility Theory, R. Yager (Ed.), Pergamon, NY (1982), 224–231.
Murray, N.V. and Rosenthal, E., Improving tableaux proofs in multiple-valued logic, Proc. of the 11 th International Symposium on Multiple-Valued Logic (1991), 230–237.
Murray, N. V. and Rosenthal, E., Resolution and path dissolution in multiple-valued logics, Proc. of the 6 th International Symposium on Methodologies for Intelligent Systems, Springer v.542 (1991), 570–579.
Murray, N. V. and Rosenthal, E., Signed formulas: a classical approach to multiple-valued logics, TR91-12 (1991), SUNY at Albany. Presented at the 1992 summer meeting of the ASL.
Suchón, W., La méthode de Smullyan de construire le calcul n-valent de Lukasiewicz avec implication et négation. Reports on Mathematical Logic, Universities of Cracow and Katowice (1974) 2, 37–42.
Surma, S. J., An algorithm for axiomatizing every finite logic. In Computer Science and Multiple-Valued Logics, David C. Rine, Ed., North-Holland, Amsterdam, (1984), 143–149.
Weigert, T. J., Tsai, J.P., Liu, X.H., Fuzzy operator logic and fuzzy resolution, J. Automated Reasoning 10 (1993), 59–78.
Author information
Authors and Affiliations
Editor information
Rights and permissions
Copyright information
© 1994 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Lu, J.J., Murray, N.V., Rosenthal, E. (1994). Signed formulas and fuzzy operator logics. In: Raś, Z.W., Zemankova, M. (eds) Methodologies for Intelligent Systems. ISMIS 1994. Lecture Notes in Computer Science, vol 869. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-58495-1_8
Download citation
DOI: https://doi.org/10.1007/3-540-58495-1_8
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-58495-7
Online ISBN: 978-3-540-49010-4
eBook Packages: Springer Book Archive