资源描述：
《基于直觉模糊命题逻辑的（α，β）-广义锁归结方法.pdf》由会员上传分享，免费在线阅读，更多相关内容在学术论文-天天文库。
1、矿；、Ｖ芯暴寥、華、攀＊ｌ？、，．知：喊；；ｌｉ；＇１１６５分类号：０伽：学校代码《起＂、、２〇１２１１〇〇１巧７学号；堇户密级：《、．．ｉ如邏＇—乂夢違掌邸筵；，謡Ｉ議＇：、．、：＃辨寶１，凉．—．＇‘．、．：ｖ．啤清虎；＼ｖ．［片确誦、—Ｉ■．■？’？？，．．‘．＇ｔ．．．．＇，、■—－一＇■？－、？ｌ．？？ｆ＇ｔ＇Ｖ－、．ｒ．’－八．．｜．—Ｖ一ｉ命题逻辑的佔风－广义锁ｆ基于直觉模糊ｒ扣
2、：；归结方法．：’．－－．５＇々粗鱗猫賴；鐵＇巧＼鮮＇巧瞧魯龜譯雜．吗知斯Ｖ．．．＇．、心刘迪抗作者姓名：＾ｉｉｉ＾、ｉ：．．算机科学与技术、；、：计．．专业－．帶学科＿冷咬寒鷄；研究方向；智能信息处理弓雜濟＇以鴻＇—．．．从帘；把：穿必Ｉ？戸导师姓名邹雨副教授；。，续：．．．■、么乂、心叫ｓｖｒ＇Ｓ广、、’＞如＇、麟芦巧，紙．．．．２０１５年６．月．靡爾動’＇．＾＇单、．．＇．．，．ＶＡ、＾＇、诚．＇ｖ一Ｖ拝婷讀賊减’、．＇＇－非．＂＇－々＇乃Ｉ門
3、＇Ｎ＾作、、／六．式：巧皆據；嘴機分类号：学校代码：10165密级：学号：201211001157硕士学位论文基于直觉模糊命题逻辑的(α,β)-广义锁归结方法作者姓名：刘迪学科、专业：计算机科学与技术研究方向：智能信息处理导师姓名：邹丽副教授2015年6月辽宁师范大学硕士学位论文摘要直觉模糊集是可以同时反映事物的可信程度与不可信程度的集合。所以，直觉模糊逻辑比模糊逻辑更广泛的解释日常生活中事物或现象的不确定性的模糊现象。归结方法是定理机器证明的重要工具。归结原理简洁而又美观，吸引众多学者投入到归结原理的研究队伍中去。由于传统的直觉模糊逻辑的归结
4、原理存在着归结过程较复杂、计算机工作量较大的现象，因此，本文基于经典归结方法中锁归结方法的思想提出了直觉模糊命题逻辑的(α,β)-广义锁归结方法。此归结方法比直觉模糊逻辑传统的归结方法更易实现。此外，本文在直觉模糊命题逻辑(α,β)-广义锁归结方法的基础上，提出了直觉模糊命题逻辑系统的(α,β)-准锁语义归结方法。进一步约束了冗余子句的产生，减少了计算机的工作量。本文的主要研究成果如下：为了简化直觉模糊命题逻辑的归结过程，本文基于直觉模糊命题逻辑归结原理的一般形式，提出了子句(α,β)-可满足和(α,β)-归结式的概念，证明了广义子句与其(α,β)
5、-归结式的同可满足性。在直觉模糊命题逻辑系统中给广义子句配锁，规定在做归结时各子句中被消去文字在该子句中的序号最小，由此建立了直觉模糊命题逻辑的(α,β)-广义锁归结方法，并证明了该方法的可靠性和完备性。给出了直觉模糊命题逻辑的(α,β)-广义锁归结算法步骤，并通过实例说明该方法的有效性。为了提高直觉模糊命题逻辑的(α,β)-锁归结效率，将准锁语义归结策略应用于(α,β)-归结原理，得到了直觉模糊命题逻辑的(α,β)-准锁语义归结方法，并证明了该归结方法的可靠性与完备性。给出了直觉模糊命题逻辑系统的(α,β)-准锁语义归结和(α,β)-准锁语义归结
6、演绎的概念。讨论了直觉模糊命题逻辑系统中的(α,β)-准锁语义归结式和广义锁子句的合并规则。给出了直觉模糊命题逻辑系统的(α,β)-准锁语义归结算法，并通过实例说明了该方法的有效性。关键词:自动推理；直觉模糊逻辑；(α,β)-广义锁归结方法；(α,β)-准锁语义归结；完备性定理-I-基于直觉模糊命题逻辑的(α,β)-广义锁归结方法(α,β)-GeneralizedLockResolutionMethodBasedonIntuitionisticFuzzyPropositionalLogicAbstractTheexpansionofintuitio
7、nisticfuzzysetsisfuzzysets,itcanreflectthecredibledegreeofthingsatthesametimeandnotbelievabledegreeofcollection.So,intuitionisticfuzzylogicisabroaderinterpretationofthingsorphenomenaindailylifetheuncertaintyoffuzzyphenomenathanfuzzylogic.Resolutionmethodisanimportanttooloftheo
8、remautomatedproving.Theconciseandbeautifulofresolutionprincip
