基于模糊逻辑的不确定知识处理(Ⅱ)─—模糊逻辑的TABLEAU推理 |
| |
引用本文: | 程晓春,刘叙华.基于模糊逻辑的不确定知识处理(Ⅱ)─—模糊逻辑的TABLEAU推理[J].计算机学报,1996(12). |
| |
作者姓名: | 程晓春 刘叙华 |
| |
作者单位: | 吉林大学计算机科学系 |
| |
基金项目: | 国家自然科学基金,863高科技计划国家攀登项目 |
| |
摘 要: | 本文基于TABLEAU方法,给出了模糊逻辑中一些至今缺少有效证明论的推理关系的证明论,也给出了作者提出的模糊择优蕴涵的判定过程.据此说明了Yager所给出的推理规则对其所讨论的模糊推理关系是不完备的.分析了本文对前提和结论分别构造TABLEAU推理树的方法在研究推理关系的相关性等方面的直观语义和作为模糊Prolog的推理机所具有的优越性.
|
关 键 词: | 模糊蕴涵,择优逻辑,TABLEAU方法,模糊Prolog |
本文献已被 CNKI 等数据库收录! |
|