一个带有相似性关系的模糊逻辑

摘要：

模糊集与模糊逻辑是处理模糊性与不确定性信息的重要数学工具,相似性关系是模糊集的一个基本概念.为了在模糊逻辑中集成相似性关系并考虑其模糊推理,提出了一个带有相似性关系的模糊逻辑,给出了其语法及语义描述.在模糊谓词逻辑情形下,讨论并证明了基于归结与调解方法的模糊推理的有关属性.考虑到许多定理证明器和问题解决系统均是基于否证法,证明了归结与调解方法对模糊谓词演算的反驳完备性定理.

关键词：模糊逻辑、近似推理、相似性关系、归结、调解

所属期刊栏目：41

分类号：TP181(自动化基础理论)

资助基金：国家自然科学基金60073044

在线出版日期：2004-06-04（万方平台首次上网日期，不代表论文的发表时间）

页数：共7页

页码：407-413