形式系统*的完备性及其应用

被引：75

作者：

裴道武

王国俊

机构：

[1] 四川大学数学学院

[2] 陕西师范大学数学研究所成都　

[3] 西安　

来源：

关键词：

模糊逻辑; 形式系统*; R0代数; 完备性; 模糊推理; 三I算法;

D O I：

暂无

中图分类号：

TP181 [自动推理、机器学习];

学科分类号：

摘要：

研究了R0代数类的性质与结构,并用这些结果证明了R0区间[0,1]上的每个重言式在任一R0代数上仍是重言式,进而基于（?）-Lindenbaum代数的特殊结构证明了系统（?）的完备性与强完备性.还讨论了形式系统（?）在模糊推理中的应用,所得结果和例子表明系统（?）优于其他一些常用的模糊逻辑系统.

引用

页码：56 / 64

页数：9

共 6 条