Abstract
This paper researches resolution principle of the fuzzy propositional logic with contradictory negation, opposite negation and medium negation (FLcom). In this paper, concepts of λ-satisfiable and λ-unsatisfiable are proposed under an infinite-valued semantic interpretation of FLcom. The λ-resolution method of FLcom is introduced. The λ-resolution deduction in FLcom is defined and λ-resolution principle of FLcom is discussed. Moreover, completeness theorem of the resolution method is proved.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
References
Robinson, J.A.: A Machine-oriented Logic based on the Resolution Principle. J. Journal of the ACM 12(1), 46–54 (1965)
Slagle, J.R.: Automatic Theorem Proving with Renamable and Semantic Resolution. J. ACM 14, 687–697 (1967)
Chang, C.L., Lee, R.C.T.: Symbolic Logic and Mechanical Theorem Proving. Academic Press, New York (1973)
Morgan, C.G.: Resolution for many-valued logics. J. Logique et Analyse 19(74-76), 311–339 (1976)
Liu, X.H.: Generalized Fuzzy Logic and Lock Semantic Resolution Principle. J. Chinese Journal of Computers 2, 97–111 (1980)
Liu, X.H., Xiao, H.: Operator Fuzzy Logic and Fuzzy Resolution. In: Proc.of the 15th ISMVl, Kingston, Canada, vol. 5 (1985)
Yager, R.R.: Inference in a Multiple-Valued System. Int. J. Man-Machine Stud. 23, 27–34 (1985)
Liu, X.H., Xiao, H.: Operator Fuzzy Logic and l-Resolution. J. Chinese Journal of Computers 2, 81–91 (1989) (in Chinese)
Liu, X.H., An, Z.: an Improvement of Operator Fuzzy Logic and its Resolution Deduction. J. Chinese Journal of Computers 12, 890–899 (1990) (in Chinese)
Qiu, W.D., Zou, J.: Resolution Principle of the Medium Predicate Calculus System. J. Journal of Shanghai Polytechnic University 11(2), 156–161 (1990)
Xu, Y., Ruan, D., Kerre, E.E., Liu, J.: a-Resolution principle based on lattice-valued propositional logic LP(X). Int. J. Information Science 130, 195–223 (2000)
Xu, Y., Ruan, D., Kerre, E.E., Liu, J.: a-Resolution principle based on first-order lattice-valued logic LF(X). Int. J. Information Science 132, 221–239 (2001)
Pan, Z.H.: l-resolution of the Medium Predicate Logic System. J. Journal of Software 14(3), 345–349 (2004) (in Chinese)
Zhang, S.L., Pan, Z.H.: λ-resolution for medium predicate logic based on improved form of infinite-valued semantic interpretation. J. Journal of Shandong University (Natural Science) 02, 109–114+118 (2012) (in Chinese)
Pan, Z.: Three Kinds of Negation of Fuzzy Knowledge and Their Base of Logic. In: Huang, D.-S., Jo, K.-H., Zhou, Y.-Q., Han, K. (eds.) ICIC 2013. LNCS (LNAI), vol. 7996, pp. 83–93. Springer, Heidelberg (2013)
Pan, Z.H.: Three kinds of negation of fuzzy knowledge and their base of set. J. Chinese Journal of Computers 35(7), 1421–1428 (2012) (in Chinese)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2014 Springer International Publishing Switzerland
About this paper
Cite this paper
Zhao, J., Pan, Z. (2014). Fuzzy Propositional Logic System and Its λ-Resolution. In: Huang, DS., Jo, KH., Wang, L. (eds) Intelligent Computing Methodologies. ICIC 2014. Lecture Notes in Computer Science(), vol 8589. Springer, Cham. https://doi.org/10.1007/978-3-319-09339-0_21
Download citation
DOI: https://doi.org/10.1007/978-3-319-09339-0_21
Publisher Name: Springer, Cham
Print ISBN: 978-3-319-09338-3
Online ISBN: 978-3-319-09339-0
eBook Packages: Computer ScienceComputer Science (R0)