Weak completeness of resolution in a linguistic truth-valued propositional logic

Advances in Soft Computing

Volumn 42, Issue , 2007, Pages 358-366

  Xu, Yang ^a   Chen, Shuwei ^b   Liu, Jun ^c   Ruan, Da ^d  

^a SOUTHWEST JIAOTONG UNIVERSITY   (China)

^b ZHENGZHOU UNIVERSITY   (China)

^c UNIVERSITY OF ULSTER   (United Kingdom)

^d BELGIAN NUCLEAR RESEARCH CENTRE   (Belgium)

Author keywords

[No Author keywords available]

Indexed keywords

EID: 58149217912     PISSN: 16153871     EISSN: 18600794     Source Type: Book Series    
DOI: 10.1007/978-3-540-72434-6_36     Document Type: Article

References (16)

1. Chen, S.W., Xu, Y., Ma, J.: A Linguistic Truth-Valued Uncertainty Reasoning Model Based on Lattice-Valued Logic. Lecture Notes in Artificial Intelligence 3613 (2005) 276-284
2. Herrera, F., Martínez, L.: A 2-Tuple Fuzzy Linguistic Representation Model for Computing With Words. IEEE Trans. Fuzzy Systems 8 (6) (2000) 746-752
3. Ho, N.C., Wechler, W.: Hedge Algebras: An Algebraic Approach to Structure of Sets of Linguistic Truth Values. Fuzzy Sets and Systems 35 (1990) 281-293
4. Ho, N.C., Wechler, W.: Extended Hedge Algebras and Their Application to Fuzzy Logic. Fuzzy Sets and Systems 52 (1992) 259-281
5. Liu, J., Xu, Y., Ruan, D., Martinez, L.: A Lattice-Valued Linguistic-Based Decision-Making Method. In: Proc. of 2005 IEEE International Conference on Granular Computing (2005) 199-202
6. Ma, J., Chen, S., Xu, Y.: Fuzzy Logic from the Viewpoint of Machine Intelligence. Fuzzy Sets and Systems 157 (2006) 628-634
7. Novák, V., Perfilieva, I., Močkoř, J.: Mathematical Principles of Fuzzy Logic. Kluwer, Dordrecht (1999)
8. Novák, V.: Are Fuzzy Sets a Reasonable Tool for Modelling Vague Phenomena. Fuzzy Sets and Systems 156 (3) (2005) 341-348
9. Pei, Z., Xu, Y.: Lattice Implication Algebra Model of a Kind of Linguistic Terms and Its Inference. In: Proc. of the 6th International FLINS Conference (2004) 93-98
10. Russell, S., Norvig, P.: Artificial Intelligence: A Modern Approach. Prentice-Hall, Person Education (1995)
11. Truksen, I.B., Kandel, A., Zhang, Y.Q.: Universal Truth Tables and Normal Forms. IEEE Trans. Fuzzy Systems 6 (1998) 295-303
12. Truksen, I.B.: Computing with Descriptive and Verisic Words. In: Proc. of NAFIP'99 (2004) 13-17
13. Xu, Y., Ruan, D., Kerre, E.E., Liu, J.: α -Resolution Principle Based on Lattice-Valued Propositional Logic LP(X). Information Sciences 130 (2000) 195-223
14. Xu, Y., Ruan, D., Qin, K.Y., Liu, J.: Lattice-Valued Logic: An Alternative Approach to Treat Fuzziness and Incomparability. Springer-Verlag, Berlin Heidelberg New York (2003)
15. Xu, Y., Liu, J., Ruan, D., Lee, T.T.: On the Consistency of Rule Bases Based on Lattice-Valued First-Order Logic LF(X). Int. J. Intelligent Systems 21 (2006) 399-424
16. Xu, Y., Chen, S.W., Ma, J.: Linguistic Truth-Valued Lattice Implication Algebra and Its Properties. In: Proc. CESA'06 (2006)