基于算子模糊逻辑的不确定程度计算

被引：3

作者：

程晓春

机构：

[1] 吉林大学计算机系!长春

来源：

关键词：

算子模糊逻辑; 可信度; 归结; 广义归结; TABLEAU方法;

D O I：

10.13328/j.cnki.jos.1997.07.007

中图分类号：

TP311 [程序设计、软件工程];

学科分类号：

摘要：

本文提出并比较了在信度语义下，计算算子模糊逻辑中公式（集）模糊程度的3种方法——归结法、广义归结法和TABLEAU方法．

引用

页码：525 / 534

页数：10

共 8 条

[1] 基于信度语义的算子模糊逻辑 [J].

刘叙华，程晓春 .

[2] Boole算子Fuzzy逻辑中推理的形式结构 [J].

邓安生 ;

刘叙华 .

[3] 基于证据语义的算子模糊逻辑 [J].

程晓春 ;

刘叙华 ;

陆汝钤 .

[4]

一个开放的逻辑系统[J]. 李未.中国科学(A辑数学物理学天文学技术科学). 1992(10)

[5] 广义λ-归结 [J].

刘叙华 ;

司徒芊 .

[6] 算子Fuzzy逻辑及其归结推理的改进 [J].

刘叙华 ;

安直 .

[7]

数理逻辑基础[M]. - 吉林大学出版社 , 刘叙华编, 1991

[8]

定理机器证明[M]. - 科学出版社 , 刘叙华, 1987