直觉模糊逻辑的(α,β)-准锁语义归结方法  

(α,β)-Quasi-Lock-Semantic Resolution Method of Intuitionistic Fuzzy Logic

作　　者：邹丽[1,2] 刘迪[1] 谭雪微[1] 郑宏亮[1] 

机构地区：[1]辽宁师范大学计算机与信息技术学院,大连116081 [2]南京大学计算机软件新技术国家重点实验室,南京210093

出　　处：《模式识别与人工智能》2016年第3期223-228,共6页Pattern Recognition and Artificial Intelligence

基　　金：国家自然科学基金项目(No.61372187;61105059);辽宁省自然科学基金项目(No.2015020059)资助~~

摘　　要：为了提高直觉模糊命题逻辑的(α,β)-归结效率,将准锁语义归结策略应用于(α,β)-归结原理,得到直觉模糊命题逻辑的(α,β)-准锁语义归结方法,证明方法的可靠性与完备性.给出直觉模糊命题逻辑系统的(α,β)-准锁语义归结和(α,β)-准锁语义归结演绎的概念.讨论直觉模糊命题逻辑系统中的(α,β)-准锁语义归结式和锁子句的合并规则.最后,给出直觉模糊命题逻辑系统的基于(α,β)-准锁语义归结的自动推理算法步骤,并通过实例说明算法的有效性.To improve the （α,β）-resolution efficiency of intuitionistic fuzzy propositional logic, quasi lock semantic resolution is applied to （α,β）-resolution. The （α,β）-quasi lock semantic resolution method is introduced into intuitionistic fuzzy logic system, and its soundness and completeness are proved. The concepts of （α,β）-quasi lock semantic resolution and （α,β）-quasi lock semantic resolution reasoning of intuitionistic fuzzy propositional logic are proposed. The formula of （α,β）-quasi lock semantic resolution and merger rule of generalized lock clauses are discussed. Finally, the steps of automated reasoning algorithm based on （α,β）-quasi lock semantic resolution for intuitionistic fuzzy propositional logic are presented and an example is given to illustrate the effectiveness of the proposed method.

关 键 词：直觉模糊逻辑 (α β)-准锁语义归结 完备性定理 自动推理 

分 类 号：TP18[自动化与计算机技术—控制理论与控制工程]