The Study Of (?, ?)-linear Resolution Method For Intuitionistic Fuzzy Logic

People always show up agreement,hesitancy and opposition when they make judgments.Intuitionistic fuzzy logic(IFL)can express the uncertainty reasoning with hesitancy degree because there exists some incomplete information.As a significant branch of automated reasoning,resolution principle has been widely concerned by scholars because of its concise reasoning process.Combine with the linear resolution method of classical logic,this paper proposes two approaches for intuitionistic fuzzy logical resolution.We present intuitionistic fuzzy propositional logical(?,?)-ordered linear resolution.Then the(?,?)-linear resolution method based on intuitionistic fuzzy first-order logic is further studied.Applying the lock resolution strategy,the(?,?)-linear semi-lock resolution of intuitionistic fuzzy first-order logical is proposed.The main results of this paper are shown as follows:This paper presents an approach for(?,?)-resolution-based automated reasoning in IFL.In IFL systems,every IFL formula with a truth degree and a falsity degree at the same time can be transformed into IFL generalized clause based on some equivalent properties with a finite time.With assumed thresholds(?,?),we judge whether each IFL literal of IFL generalized clauses is(?,?)-satisfiable or not.According to the IFL literal's satisfiability,the IFL literals can be divided into two classes,i.e.(?,?)-similar literals and(?,?)-complementary literals.We use the structure of the linear resolution which only has a center line and a side line to restrict the resolution clauses in every resolution procedure.We restrict the order of literals participated in resolution procedure that must be the latest literal of the center clause with(?,?)-ordered resolution.IFL framed literals,recording the information of resolved literals instead of storing them in a memory,can be used to reduce the number of possible resolutions and improve the efficiency of the resolution.The soundness and completeness of(?,?)-ordered linear resolution are proved and an illustrative example is given to verify the(?,?)-ordered linear resolution algorithm and demonstrate its effectiveness.In order to improve the resolution efficiency of the intuitionistic fuzzy first-order logic(IFFL),this paper proposes an(?,?)-linear semi-lock resolution method,combining(?,?)-resolution principle with the linear resolution strategy and lock resolution strategy.The method of transforming IFFL formula into Skolem normal form is given.We study the(?,?)-linear semi-lock resolution method in IFFL.The merging rule of lock clause is presented inIFFL.The soundness and completeness of the proposed method is proved.The resolution method is an extension of(?,?)-linear resolution in IFFL,which preserves the advantages of linear resolution's concise structure and lock resolution's restriction on the order of literals,thus the efficiency of resolution of IFFL is improved.The(?,?)-linear semi-lock resolution is applied to problem solving field.The problem solving algorithm based on(?,?)-linear semi-lock resolution is designed in IFFL,and the validity of problem solving algorithm based on(?,?)-linear semi-lock resolution is illustrated by three examples.