Journal of Guangdong University of Technology ›› 2006, Vol. 23 ›› Issue (1): 122-126.

• Comprehensive Studies • Previous Articles     Next Articles

Validity of the Further Extension of Fuzzy Reasoning Based on Resolution

  

  1. (Faculty of Applied Mathematics,Guangdong University of Technology,Guangzhou 510090,China)
  • Online:2006-02-02 Published:2006-02-02

Abstract: In this paper,some main properties of the further extension of fuzzy logic are generalized.Especially,the necessary and sufficient condition of validly logical consequence is obtained.Then the validity of further extension of fuzzy reasoning based on resolution is discussed.Lastly the equivalence of unsatisfiability in both two-valued logic and further extension of fuzzy logic is proved.

Key words: fuzzy logic; approximate reasoning; resolution; validly logical consequence;

[1] 应明生.  模糊逻辑的再扩充[J]. 计算机学报. 1992(02)

[2] 刘叙华.  广义模糊逻辑和锁语义归结原理[J]. 计算机学报. 1980(02)

[1] 王国俊著.非经典数理逻辑与近似推理[M]. 科学出版社, 2000

[2] 刘叙华著.基于归结方法的自动推理[M]. 科学出版社, 1994

[3] 刘叙华,姜云飞 编著.定理机器证明[M]. 科学出版社, 1987

[1] Chang C L,Lee R C T.Symbolic logic and mechanical theorem proving. . 1973

[2] L A Zadeh.Fuzzy sets. Information and Control . 1965
No related articles found!
Viewed
Full text


Abstract

Cited

  Shared   
  Discussed   
No Suggested Reading articles found!