基于模糊逻辑的不确定知识处理（Ⅱ）─—模糊逻辑的TABLEAU推理

被引：1

作者：

程晓春，刘叙华

机构：

[1] 吉林大学计算机科学系

来源：

计算机学报 | 1996年 / 12期

关键词：

模糊蕴涵，择优逻辑，TABLEAU方法，模糊Prolog;

D O I：

暂无

中图分类号：

TP18 [人工智能理论];

学科分类号：

081104 ; 0812 ; 0835 ; 1405 ;

摘要：

本文基于ＴＡＢＬＥＡＵ方法，给出了模糊逻辑中一些至今缺少有效证明论的推理关系的证明论，也给出了作者提出的模糊择优蕴涵的判定过程．据此说明了Ｙａｇｅｒ所给出的推理规则对其所讨论的模糊推理关系是不完备的．分析了本文对前提和结论分别构造ＴＡＢＬＥＡＵ推理树的方法在研究推理关系的相关性等方面的直观语义和作为模糊Ｐｒｏｌｏｇ的推理机所具有的优越性．

引用

页码：931 / 940

页数：10