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

• 作者: 刘富春
• 来源期刊: 计算机工程与应用
• 学科: 工学
• 关键词: 模糊逻辑 近似推理 归结方法 调解方法
• 年，卷（期）: 2006,（2）
• 所属期刊栏目: 学术探讨
• 页码范围: 73-75,175
• 页数: 4页
• 分类号: TP181
• 字数: 6601字
• 语种: 中文
• DOI: 10.3321/j.issn:1002-8331.2006.02.023

摘要

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

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	刘富春	广东工业大学应用数学学院	49	235	10.0	14.0