Automated reasoning algorithm for linguistic valued Łukasiewicz propositional logic

Proceedings of The International Symposium on Multiple-Valued Logic

Volumn , Issue , 2007, Pages

  Liu, Jun ^a   López, Luis Martínez ^b   Xu, Yang ^c   Lu, Zhirui ^a  

^a UNIVERSITY OF ULSTER   (United Kingdom)

^b UNIVERSITY OF JAÉN   (Spain)

^c SOUTHWEST JIAOTONG UNIVERSITY   (China)

Author keywords

[No Author keywords available]

Indexed keywords

ALGORITHMS; BOOLEAN FUNCTIONS; CODES (SYMBOLS); LINGUISTICS; THEOREM PROVING;

LINGUISTIC VALUED ALGEBRAS; LOGICAL FORMULAE; LUKASIEWICZ PROPOSITIONAL LOGIC;

LOGIC PROGRAMMING;

EID: 34548235358     PISSN: 0195623X     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/ISMVL.2007.9     Document Type: Conference Paper

References (31)

1. J.P. Robinson, "A machine-oriented logic based on the resolution principle", J. of A.C.M., 12: 23-41, 1965.
2. R.C.T. Lee, "Fuzzy logic and the resolution principle", Journal of A.C.M., 19: 109-119, 1972.
3. X.H. Liu and H. Xiao, "Operator fuzzy logic and fuzzy resolution", Proc. of the 5th IEEE Inter. Symp. on Multiple-Valued Logic (ISMVL '85), Kingstion, Canada, pages: 68-75, 1985.
4. M. Mukaidono, "Fuzzy inference of resolution style", in: Fuzzy Sets and Possibility Theory", R.R. Yager (Ed.), Pergamon Press, New York, pages: 224-231, 1982.
5. D. Dubois and H. Prade, "Resolution principle in possibilistic logic", International Journal of Approximate Reasoning 4 (1): 1-21, 1990.
6. T.J. Weigert, J.P. Tsai and X.H. Liu, "Fuzzy operator logic and fuzzy resolution", Journal of Automated Reasoning, 10(1): 59-78, 1993.
7. C.S. Kim, D.S. Kim, and J.S. Park, "A new fuzzy resolution principle based on the antonym", Fuzzy Sets and Systems, 113 (2): 299-307, 2000.
8. C.G. Morgan, "Resolution for many-valued logics", Logique et Analyses, 19(74-76): 311-339, 1976.
9. E. Orlowska, "Mechanical proof methods for Post logics", Logique et Analyses, 28(110): 173-192, 1985.
10. th Inter. Conf. on Automated Deduction, J.H. Siekmann (Ed.), Springer, LNCS, pages: 190-198, 1985.
11. R. Hahnle, Automated Deduction in Multiple-Valued Logics, Oxford University Press, 1993.
12. H.A. Blair and V.S. Subrahamnian, "Paraconsistent logic programming", Theoretical Computer Science, 68:135-154, 1989.
13. M. Kifer and V.S. Subrahamnian, "Theory of generalized annotated logic programming and its application", J of Logic Prog. 12: 335-367, (1992).
14. J.J. Lu and L.J. Henschen, "The completeness of gp-resolution for annotated logic", Inform. Process. Lett. 44: 135-140, 1992.
15. M. Baaz, C.G. Fermuller, "Resolution for many valued logics". In Proc. of Logic Programming and Automated Reasoning (LPAR'92), Voronkv, A. (Ed.). Springer, LNAI 624, page 107-118, 1992.
16. Z. Stachniak, Resolution Proof Systems: An Algebraic Theory, Kluwer Academic Publisher, Netherlands, 1996.
17. S. Lehmke. "A resolution-based axiomatisation of 'bold' propositional fuzzy logic". In: Fuzzy Sets, Logics, and Reasoning about Knowledge (Eds. by D. Dubois, E. P. Klement, and H. Prade), Kluwer Academic Publishers, Applied Logic, 1999.
18. V. Sofronie-Stokkermans, "Chaining techniques for automated theorem proving in finitely-valued logics". In: Proc. of the 2000 ISMVL. Portland, Oregon, pages: 337-344, 2000.
19. Y. Xu, D. Ruan, E.E. Kerre., J. Liu, "α-resolution principle based on lattice-valued propositional logic LP(X)". Information Sciences, 130: 195-223, 2000.
20. Y. Xu, D. Ruan, E.E. Kerre., J. Liu, "α-Resolution principle based on first-order lattice-valued logic LF(X)", Information Sciences, 132: 221-239, 2001
21. J. Liu, D. Ruan, Y. Xu, Z.M. Song, "A resolution-like strategy based on a lattice-valued logic", IEEE Transactions on Fuzzy Systems, 11 (4): 560-567, 2003.
22. J.A. Goguen, "The logic of inexact concepts", Synthese, 19: 325-373, 1969.
23. E. Turunen, "Algebraic structures in fuzzy logic", Fuzzy Sets and Systems, 52: 181-188, 1992.
24. J. Pavelka, "On fuzzy logic I: Many-valued rules of inference, II: Enriched residuated lattices and semantics of propositional calculi, III: Semantical completeness of some many-valued propositional calculi", Zeitschr. F. Math. Logik und Grundlagend. Math., 25: 45-52, 119-134, 447-464, 1979.
25. N.C. Ho, W. Wechler, "Hedge algebras: an algebraic approach to structure of sets of linguistic truth values". Fuzzy Sets and Systems 35: 281-293, 1990.
26. N.C. Ho, W. Wechler, "Extended hedge algebras and their application to fuzzy logic". Fuzzy Sets and Systems 52: 259-281, 1992.
27. F. Herrera, L. Martínez, "A 2-tuple fuzzy linguistic representation model for computing with words". IEEE Trans. Fuzzy Systems, 8 (6): 746-752 2000.
28. V. Novak, Fuzzy Sets and Their Applications. Philadelphia, PA: Adam Hilger, 1989
29. S. Lehmke, "On resolution-based theorem proving in propositional fuzzy logic with 'bold' connectives," Ph.D. dissertation, Dept. Comp. Sci., Univ. Dortmund, Dortmund, Germany, 1996.
30. D. Mundici, N. Olivetti, "Resolution and model building in the infinite-valued valculus of Lukasiewicz". Theor. Comput. Sci. 200(1-2): 335-366 (1998)
31. A. Robinson, A. Voronkov. Handbook of Automated Reasoning. MIT Press and Elsevier Science, 2001.