归结与调解方法的有效性和完备性--基于扩充模糊逻辑

摘要：

模糊集与模糊逻辑是处理大量存在的不确定性与模糊性信息的重要数学工具,在近似推理等领域有着广泛的应用.该文将王家兵等人提出的真值取在[0,1]区间上的带有相似性关系的模糊逻辑,扩充到很一般的与μ可比的有余完全分配格值逻辑中,将王家兵等人的许多结论进行了推广.首先对带有相似性关系的模糊逻辑的语义描述进行了扩充,然后讨论了在这种模糊推理中归结式与调解式的有效性,最后通过证明一个子句集在扩充模糊逻辑中的不可满足性与它在带有相等关系的二值逻辑中的不可满足性是等价的,得到了基于归结与调解方法对这种广义模糊演算的完备性.

关键词：模糊逻辑、近似推理、归结方法、调解方法

所属期刊栏目：42

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

资助基金：广东省博士启动基金020146;031541;广东工业大学校科研和教改项目042027

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

页数：共4页

页码：73-75,175