直觉模糊逻辑的琢茁鄄准锁语义归结方法-模式识别与人工智能.pdfVIP

第29 卷摇 第 3 期 模式识别与人工智能 Vol.29摇 No.3 2016年3月 PR AI Mar摇 2016 摇 摇 摇 摇 摇 摇 摇 摇 摇 摇 摇 摇 摇 摇 摇 摇 摇 摇 摇 摇 摇 摇 摇 摇 摇 摇 摇 摇 摇 摇 摇 摇 摇 摇 摇 摇 摇 摇 摇 摇 摇 摇 摇 摇 摇 摇 摇 摇 摇 摇 摇 摇 摇 摇 摇 摇 摇 摇 摇 摇 摇 摇 摇 摇 摇 * 摇 摇 摇 摇 摇 直直觉模糊逻辑的(琢,茁 )鄄准锁语义归结方法 摇 摇 摇 摇 摇 摇 摇 摇 摇 摇 摇 1,2 1 1 1 邹摇 丽 摇 摇 刘摇 迪 摇 摇 谭雪微 摇 摇 郑宏亮 1(辽宁师范大学 计算机与信息技术学院摇 大连 116081) 2(南京大学 计算机软件新技术国家重点实验室摇 南京210093) 摘摇 要摇 为了提高直觉模糊命题逻辑的(琢,茁)鄄归结效率,将准锁语义归结策略应用于(琢,茁)鄄归结原理,得到直觉 模糊命题逻辑的(琢,茁)鄄准锁语义归结方法,证明方法的可靠性与完备性.给出直觉模糊命题逻辑系统的(琢,茁)鄄准 锁语义归结和(琢,茁)鄄准锁语义归结演绎的概念.讨论直觉模糊命题逻辑系统中的(琢,茁)鄄准锁语义归结式和锁子句 的合并规则.最后,给出直觉模糊命题逻辑系统的基于(琢,茁)鄄准锁语义归结的自动推理算法步骤,并通过实例说明 算法的有效性. 关键词摇 直觉模糊逻辑,(琢,茁)鄄准锁语义归结,完备性定理, 自动推理 中图法分类号摇 TP 181 DOI摇 10.16451/ ki.issn1003鄄6059.201603004 引用格式摇 邹 丽,刘 迪,谭雪微,郑宏亮.直觉模糊逻辑的(琢,茁)鄄准锁语义归结方法.模式识别与人工智能,2016, 29(3):223-228. (琢,茁)鄄Quasi鄄Lock鄄Semantic Resolution Method of Intuitionistic Fuzzy Logic 1,2 1 1 1 ZOU Li ,LIU Di ,TAN Xuewei ,ZHENG Hongliang 1(School of