(α,β)-Quasi-Lock-Semantic Resolution Method of Intuitionistic Fuzzy Logic
ZOU Li1,2, LIU Di1, TAN Xuewei1, ZHENG Hongliang1
1.School of Computer and Information Technology, Liaoning Normal University, Dalian 116081. 2.State Key Laboratory for Novel Software Technology, Nanjing University, Nanjing 210093
Abstract: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.