扰动模糊命逻辑系统的语义.pdfVIP

扰动模糊命题逻辑系统的语义 扰动模糊命题逻辑系统的语义 研究生：孟艳平 指导教师：陈图云 专业：应用数学 研究方向：数理逻辑及其对计算机的应用 摘要：扰动模糊命题逻辑系统的产生源于实际问题的需要，但在该系统中对王国俊教授 关于一维逻辑系统形中广义重言式理论到二维逻辑系统的推广工作进行得并不顺利． 本文通过修改二维蕴涵算子，建立一个新的扰动模糊命题逻辑系统D，将王国俊教授 关于一维逻辑系统矿中广义重言式理论推广到二维相应的扰动模糊命题逻辑系统中， 得到与之类似的结果．首先，本文给出了逻辑系统D，D中的厂‘义重言式的分类，对偶 地，也讨论了逻辑系统D，D中的广义矛盾式的分类．其次，不仅给出了无限值逻辑系 统D，D中的升值算法，还讨论了有限扰动模糊逻辑系统D。中的公式分类及升级算法． 最后，讨论了该系统中的广义语义MP规则和广义语义Hs规则．本文表明在某些特殊 的二维赋值格上，王教授关于一维赋值格的理论完全可以推广． 关键词：模糊逻辑；命题逻辑；厂义重言式；升级算法；广义语义MP规则；广义语义 HS规则