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

摘要

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