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

HTML

0

PDF (PC)

2163

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
1866
HTML PDF
Just accepted Online first Issue Just accepted Online first Issue
0 0 0 0 0 1866

  From Others local
  Times 351 1515
  Rate 19% 81%

Abstract
223
Just accepted Online first Issue
0 0 223
  From Others local
  Times 46 177
  Rate 21% 79%

Cited
Web of Science  Crossref   ScienceDirect  Search for Citations in Google Scholar >>
 
This page requires you have already subscribed to WoS.
  Shared   
  Discussed   
No Suggested Reading articles found!
Copyright © 2017 Journal of Guangdong University of Technology
Add：729 East Dongfeng RD., Guangzhou PRC. Postcode: 510090
Tel：020-37626653,020-37626139,020-37626396
Email：xbzrb@gdut.edu.cn
Supported:Beijing Magtech