Dialectic operator fuzzy logic (DOFL) is presented which is relevant,paraconsistent and nonmonotonic.DOFL can vividly describe the belief revision in the cognitive process and can infer reasonably well while the knowl...Dialectic operator fuzzy logic (DOFL) is presented which is relevant,paraconsistent and nonmonotonic.DOFL can vividly describe the belief revision in the cognitive process and can infer reasonably well while the knowledge is inconsistent,imprecise or incomplete.展开更多
Quantitative models of operator fuzzy logic are discussed. It is proved that there is a unique real polynomial function that can be used to characterize the composition operation between fuzzy operators in a quantitat...Quantitative models of operator fuzzy logic are discussed. It is proved that there is a unique real polynomial function that can be used to characterize the composition operation between fuzzy operators in a quantitative model of operator fuzzy logic. Based on this polynomial function, we redefine a new quantitative operator fuzzy logic NOFL by revising the existing suggested alternatives. It can be seen that it is hard for a quantitative model of operator fuzzy logic to be both theoretically sound and intuitively acceptable.展开更多
A new approach of operator fuzzy logic, Boolean operator fuzzy logic (BOFL) based on Boolean algebra, is presented. The resolution principle is also introduced into BOFL. BOFL is a natural generalization of classical ...A new approach of operator fuzzy logic, Boolean operator fuzzy logic (BOFL) based on Boolean algebra, is presented. The resolution principle is also introduced into BOFL. BOFL is a natural generalization of classical logic and can be applied to the qualitative description of fuzzy knowledge.展开更多
The generalized resolution method presented in ref. [1] is a generalization of Robinson’s resolution principle in the first-order logic, which can be applied to a set of nonclausal formulae, i.e. a set of generalized...The generalized resolution method presented in ref. [1] is a generalization of Robinson’s resolution principle in the first-order logic, which can be applied to a set of nonclausal formulae, i.e. a set of generalized clauses. The method can not only avoid the symbolic redundancy generated from the procedure of transforming a formula into a set of clauses, but also keep the natural description of the problem.展开更多
Based on the newly introduced concepts of true-level and false-level, the formal structure of reasoning in Boolean operator fuzzy logic is presented. As a generalization of the theory of epistemic process in open logi...Based on the newly introduced concepts of true-level and false-level, the formal structure of reasoning in Boolean operator fuzzy logic is presented. As a generalization of the theory of epistemic process in open logic, a formalism is also proposed to describe human reasoning with uncertain, inconsistent and insufficient knowledge, which can characterize the knowledge increment and revision, as well as the epistemic evolution. The formalism provides an explanation to the dynamic properties of human reasoning, i. e. continuous revision and combination of beliefs.展开更多
基金Project supported by the National Natural Science Foundation of China and the National High-tech Program and National Key Project.
文摘Dialectic operator fuzzy logic (DOFL) is presented which is relevant,paraconsistent and nonmonotonic.DOFL can vividly describe the belief revision in the cognitive process and can infer reasonably well while the knowledge is inconsistent,imprecise or incomplete.
文摘Quantitative models of operator fuzzy logic are discussed. It is proved that there is a unique real polynomial function that can be used to characterize the composition operation between fuzzy operators in a quantitative model of operator fuzzy logic. Based on this polynomial function, we redefine a new quantitative operator fuzzy logic NOFL by revising the existing suggested alternatives. It can be seen that it is hard for a quantitative model of operator fuzzy logic to be both theoretically sound and intuitively acceptable.
文摘A new approach of operator fuzzy logic, Boolean operator fuzzy logic (BOFL) based on Boolean algebra, is presented. The resolution principle is also introduced into BOFL. BOFL is a natural generalization of classical logic and can be applied to the qualitative description of fuzzy knowledge.
基金the National Natural Science Foundation of China, the National High Technology Development Program and the National "PanDeng" Program
文摘The generalized resolution method presented in ref. [1] is a generalization of Robinson’s resolution principle in the first-order logic, which can be applied to a set of nonclausal formulae, i.e. a set of generalized clauses. The method can not only avoid the symbolic redundancy generated from the procedure of transforming a formula into a set of clauses, but also keep the natural description of the problem.
文摘Based on the newly introduced concepts of true-level and false-level, the formal structure of reasoning in Boolean operator fuzzy logic is presented. As a generalization of the theory of epistemic process in open logic, a formalism is also proposed to describe human reasoning with uncertain, inconsistent and insufficient knowledge, which can characterize the knowledge increment and revision, as well as the epistemic evolution. The formalism provides an explanation to the dynamic properties of human reasoning, i. e. continuous revision and combination of beliefs.
