再扩充模糊逻辑中归结方法的有效性

广东工业大学学报 ›› 2006, Vol. 23 ›› Issue (1): 122-126.

再扩充模糊逻辑中归结方法的有效性

广东工业大学应用数学学院广东广州510090；

出版日期:2006-02-02 发布日期:2006-02-02
基金资助:
广东工业大学青年基金项目

Validity of the Further Extension of Fuzzy Reasoning Based on Resolution

(Faculty of Applied Mathematics,Guangdong University of Technology,Guangzhou 510090,China)

Online:2006-02-02 Published:2006-02-02

摘要/Abstract

摘要： 研究再扩充模糊逻辑的一些主要性质,得到了关于公式的有效逻辑结果的充分必要条件,讨论了基于归结方法的模糊推理的有效性;证明了子句集在再扩充模糊逻辑中的不可满足性与它在二值逻辑中的不可满足性是等价的.

关键词: 模糊逻辑；近似推理；归结方法；有效逻辑结果；

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；

刘富春； . 再扩充模糊逻辑中归结方法的有效性[J]. 广东工业大学学报, 2006, 23(1): 122-126.

LIU Fu-chun. Validity of the Further Extension of Fuzzy Reasoning Based on Resolution[J]. Journal of Guangdong University of Technology, 2006, 23(1): 122-126.

参考文献

[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

Metrics

Viewed

Full text

Abstract

Cited

Shared

Discussed