Resolution in Linguistic Propositional Logic Based on Linear Symmetrical Hedge Algebra

  • Thi-Minh-Tam NguyenEmail author
  • Viet-Trung Vu
  • The-Vinh Doan
  • Duc-Khanh Tran
Part of the Advances in Intelligent Systems and Computing book series (AISC, volume 244)


The paper introduces a propositional linguistic logic that serves as the basis for automated uncertain reasoning with linguistic information. First, we build a linguistic logic system with truth value domain based on a linear symmetrical hedge algebra. Then, we consider Gödel’s t-norm and t-conorm to define the logical connectives for our logic. Next, we present a resolution inference rule, in which two clauses having contradictory linguistic truth values can be resolved. We also give the concept of reliability in order to capture the approximative nature of the resolution inference rule. Finally, we propose a resolution procedure with the maximal reliability.


Conjunctive Normal Form Logical Connective Resolution Procedure Empty Clause Maximal Reliability 
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.


  1. 1.
    Ebrahim, R.: Fuzzy logic programming. Fuzzy Sets and Systems 117(2), 215–230 (2001)MathSciNetCrossRefzbMATHGoogle Scholar
  2. 2.
    He, X., Liu, J., Xu, Y., Martínez, L., Ruan, D.: On -satisfiability and its -lock resolution in a finite lattice-valued propositional logic. Logic Journal of the IGPL 20(3), 579–588 (2012)MathSciNetCrossRefzbMATHGoogle Scholar
  3. 3.
    Lai, J., Xu, Y.: Linguistic truth-valued lattice-valued propositional logic system lp(x) based on linguistic truth-valued lattice implication algebra. Inf. Sci. 180(10), 1990–2002 (2010)MathSciNetCrossRefzbMATHGoogle Scholar
  4. 4.
    Le, V.H., Liu, F., Tran, D.K.: Fuzzy linguistic logic programming and its applications. TPLP 9(3), 309–341 (2009)zbMATHGoogle Scholar
  5. 5.
    Lee, R.C.T.: Fuzzy logic and the resolution principle. In: IJCAI, pp. 560–567 (1971)Google Scholar
  6. 6.
    Mondal, B., Raha, S.: Approximate reasoning in fuzzy resolution. In: 2012 Annual Meeting of the North American Fuzzy Information Processing Society (NAFIPS), pp. 1–6 (2012)Google Scholar
  7. 7.
    Nguyenand, C.-H., Huynh, V.-N.: An algebraic approach to linguistic hedges in zadeh’s fuzzy logic. Fuzzy Sets and Systems 129(2), 229–254 (2002)MathSciNetCrossRefGoogle Scholar
  8. 8.
    Nguyen, C.-H., Tran, D.-K., Huynh, V.-N., Nguyen, H.-C.: Hedge algebras, linguistic-valued logic and their application to fuzzy reasoning. International Journal of Uncertainty, Fuzziness and Knowledge-Based Systems 7(4), 347–361 (1999)MathSciNetCrossRefzbMATHGoogle Scholar
  9. 9.
    Nguyen, C.H., Wechler, W.: Hedge Algebras: An Algebraic Approach in Struture of Sets of Linguistic Truth Values. Fuzzy Sets and Syst. 35, 281–293 (1990)CrossRefzbMATHGoogle Scholar
  10. 10.
    Phuong, L.A., Khang, T.D.: A deductive method in linguistic reasoning. In: 2012 2nd International Conference on Uncertainty Reasoning and Knowledge Engineering (URKE), pp. 137–140 (2012)Google Scholar
  11. 11.
    Phuong, L.A., Khang, T.D.: Linguistic reasoning based on generalized modus ponens with linguistic modifiers and hedge moving rules. In: 2012 International Conference on Fuzzy Theory and it’s Applications (iFUZZY), pp. 82–86 (2012)Google Scholar
  12. 12.
    Smutná, D., Vojtás, P.: Graded many-valued resolution with aggregation. Fuzzy Sets and Systems 143(1), 157–168 (2004)MathSciNetCrossRefzbMATHGoogle Scholar
  13. 13.
    Vojtás, P.: Fuzzy logic programming. Fuzzy Sets and Systems 124(3), 361–370 (2001)MathSciNetCrossRefzbMATHGoogle Scholar
  14. 14.
    Weigert, T.J., Tsai, J.J.P., Liu, X.: Fuzzy operator logic and fuzzy resolution. J. Autom. Reasoning 10(1), 59–78 (1993)MathSciNetCrossRefzbMATHGoogle Scholar
  15. 15.
    Xu, Y., Ruan, D., Kerre, E.E., Liu, J.: Alpha-resolution principle based on lattice-valued propositional logic lp(x). Inf. Sci. 130(1-4), 195–223 (2000)MathSciNetCrossRefzbMATHGoogle Scholar
  16. 16.
    Xu, Y., Ruan, D., Kerre, E.E., Liu, J.: Alpha-resolution principle based on first-order lattice-valued logic lf(x). Inf. Sci. 132(1-4), 221–239 (2001)MathSciNetCrossRefzbMATHGoogle Scholar
  17. 17.
    Mukaidono, M., Shen, Z., Ding, L.: Fuzzy resolution principle. In: Proc. 18th Internat. Symp. on Multiple-valued Logic, pp. 210–215 (1989)Google Scholar
  18. 18.
    Zadeh, L.A.: Fuzzy sets. Information and Control 8(3), 338–353 (1965)MathSciNetCrossRefzbMATHGoogle Scholar
  19. 19.
    Zhong, X., Xu, Y., Liu, J., Chen, S.: General form of -resolution principle for linguistic truth-valued lattice-valued logic. Soft Comput. 16(10), 1767–1781 (2012)CrossRefzbMATHGoogle Scholar

Copyright information

© Springer International Publishing Switzerland 2014

Authors and Affiliations

  • Thi-Minh-Tam Nguyen
    • 1
    Email author
  • Viet-Trung Vu
    • 2
  • The-Vinh Doan
    • 2
  • Duc-Khanh Tran
    • 2
  1. 1.Faculty of Information TechnologyVinh UniversityVinhVietnam
  2. 2.School of Information and Communication TechnologyHanoi University of Science and TechnologyHanoiVietnam

Personalised recommendations