格蕴涵代数的滤子在不确定性推理中的应用探讨.pdfVIP

第九届全目多位逻辑与模翱逻辑学术会议 格蕴涵代数的滤子在不确定性推理中的应用探讨 马骏 (西南交通大学应用数学系，四川成都，610031) 摘要本文针对格蕴涵代数中滤子的概念，讨论了滤子的一些性质．并且通过对经典逻辑 在推理中存在的问慝．讨论了在不精确性推理中运用滤子的方法。为进～步研究基 于格值逻辑的不确定性推理傲了一些探讨． 关赣词多幢逻辑不确定性推理 1． 引言 随着计算机技术的发展，人工智能再次成为当前研究的热点，特别是关于基于非经典 逻辑的不碓定性推理的研究．人们认识到，现实啦界中存在大量的不确定性，用经典逻辑的 方法来处理这些不确定性是不完全准确的．这是因为用经典逻辑描述现实世界时．丢失了许 多有用甚至是重要的信息，许多干扰信息无法从有价值的信息中剔除．为了更好的处理这些 不确定性，人们提出模糊逻辑、多傻逻辑、模态逻辑等非经典逻辑系统。 格值逻辑系统是～类重要的多值逻辑系统，它通过建立真值域为格的逻辑系统来描述 现实世界中的不可比较性和不确定性．基于格蔓涵代数的格值逻辑系统建立在格蕴涵代数 上，它具有许多良好的性质，尤其是格蕴涵代数中的滤予、蕴涵等概念具有十分明显的逻辑 特征．奉文主要针对建立在有瞑格墓涵代数上的格僮龠题逻辑系统LP(并)，博论滤子在不 确定性推理中的应用． 2．预备知识 在这里我们首先给出关于格蕴涵代数、滤子、蕴涵滤子的基本概念，关于它们的性质， 请参考文献【l、2、4】。 定义l (格蕴涵代数) 设(上，V，^，’)是一有泛界D，，的育余格，≤是￡上的偏序关系．设映射 —·：三×正。工 ． E占， ‘5 满足：慨，y，z (11)x—p斗z)=y斗0呻z) (12)善—}工=， (I，)工斗y=)，‘斗r (I．)工啼y=，斗z军J辛j=y (b)“呻力呻yto-一工)一J ， ¨i 尉称(工，V，^，’，一)为一个拟格蕴涵代数。如果满足(b)和(12) (1．)职、，∞Iqz=o斗=)^9啼力t． 一 (12)O^y)_+z=扛斗z)V()，斗计 则称(三，V，^，’，一)为一个格蕴涵代数． 定义2 (滤子) 设(上，V，^，’，一)为一个格蕴涵代数，-，‘三，如果满足 163 —— 一 ————————————————．。，，+———————————．——————．．——．—．—。．．．．j 矿曩lF赚 (1)』∈‘， E，， (2)h，y∈上，如果x∈，且工呻y∈J，贝0y 则称J是工的滤子。 定义3 (蕴涵滤子) 设(￡，V，^，’，一)为一个格蕴涵代数．，￡三，如果满足 髓一；：：；H州薯■q诗疆10，：；0； (1)，∈l， (2)垤，J，，zE工．如果工寸(y斗z)EJ且x—}y∈J，则工斗z∈，· 则称J是三的蕴涵滤子。 可以看出，格蕴涵代数的滤子与蕴涵滤子具有明显的逻辑特征．是逻辑推理规则的抽象。 例如，滤子可以看成是假言推理规则的抽象。J可看成推理前提．x斗y可看成推理规则． J，可看成是推理结论．滤子描述的是：如果前提、规则正确，则结论正确。因此，我们可以