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