|
|
|
| (α,β)-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.
|
|
Received: 10 February 2015
|
|
|
| Fund:Supported by National Natural Science Foundation of China (No.61372187,61105059), Natural Science Foundation of Liaoning Province (No.2015020059) |
|
|
|
|
|
|
2016, Vol. 29 
