A Kind of Resolution Method of Linguistic Truth-Valued Propositional Logic Based on LIA

In the present paper, based on lattice implication algebra, a kind of linguistic truth-valued propositional logic is constructed with some logic properties regarding reasoning being provided which can express both the comparable and incomparable truth values. Secondly, the satisfiability problem is discussed. J-true, J-false of a formula, J-similar literals and J-complementary literals are proposed based on a filter J of L. Finally, Based on the degree of complementary and degree of similar J-resolution method in the filter of the linguistic truth-valued propositional logic is introduced.

[1]  Etienne E. Kerre,et al.  alpha-Resolution principle based on first-order lattice-valued logic LF(X) , 2001, Inf. Sci..

[2]  Yang Xu,et al.  Resolution Method of Linguistic Truth-valued Propositional Logic , 2005, 2005 International Conference on Neural Networks and Brain.

[3]  N. C. Ho,et al.  Hedge algebras: an algebraic approach to structure of sets of linguistic truth values , 1990 .

[4]  Etienne E. Kerre,et al.  alpha-Resolution principle based on lattice-valued propositional logic LP(X) , 2000, Inf. Sci..

[5]  Jun Liu,et al.  On the consistency of rule bases based on lattice‐valued first‐order logic LF(X) , 2006, Int. J. Intell. Syst..

[6]  N. C. Ho,et al.  Extended hedge algebras and their application to fuzzy logic , 1992 .

[7]  Zheng Pei,et al.  LATTICE IMPLICATION ALGEBRA MODEL OF LINGUISTIC VARIABLE TRUTH AND ITS INFERENCE , 2004 .

[8]  L.B. Turksen,et al.  Computing with descriptive and veristic words: knowledge representation and approximate reasoning , 1999, FUZZ-IEEE'99. 1999 IEEE International Fuzzy Systems. Conference Proceedings (Cat. No.99CH36315).

[9]  Abraham Kandel,et al.  Universal truth tables and normal forms , 1998, IEEE Trans. Fuzzy Syst..

[10]  Ho C. Nguyen,et al.  Ordered structure-based semantics of linguistic terms of linguistic variables and approximate reasoning , 2001 .

[11]  Jun Ma,et al.  A framework of linguistic truth-valued propositional logic based on lattice implication algebra , 2006, 2006 IEEE International Conference on Granular Computing.

[12]  Francisco Herrera,et al.  A fusion approach for managing multi-granularity linguistic term sets in decision making , 2000, Fuzzy Sets Syst..

[13]  Van-Nam Huynh,et al.  A parametric representation of linguistic hedges in Zadeh's fuzzy logic , 2002, Int. J. Approx. Reason..

[14]  Van-Nam Huynh,et al.  An algebraic approach to linguistic hedges in Zadeh's fuzzy logic , 2002, Fuzzy Sets Syst..