The aim of this paper is to discuss the approximate rea- soning problems with interval-valued fuzzy environments based on the fully implicational idea. First, this paper constructs a class of interval-valued fuzzy imp...The aim of this paper is to discuss the approximate rea- soning problems with interval-valued fuzzy environments based on the fully implicational idea. First, this paper constructs a class of interval-valued fuzzy implications by means of a type of impli- cations and a parameter on the unit interval, then uses them to establish fully implicational reasoning methods for interval-valued fuzzy modus ponens （IFMP） and interval-valued fuzzy modus tel- lens （IFMT） problems. At the same time the reversibility properties of these methods are analyzed and the reversible conditions are given. It is shown that the existing unified forms of α-triple I （the abbreviation of triple implications） methods for FMP and FMT can be seen as the particular cases of our methods for IFMP and IFMT.展开更多
Based on the theory of the quasi-truth degrees in two-valued predicate logic, some researches on approximate reasoning are studied in this paper. The relation of the pseudo-metric between first-order formulae and the ...Based on the theory of the quasi-truth degrees in two-valued predicate logic, some researches on approximate reasoning are studied in this paper. The relation of the pseudo-metric between first-order formulae and the quasi-truth degrees of first-order formulae is discussed, and it is proved that there is no isolated point in the logic metric space (F, ρ ). Thus the pseudo-metric between first-order formulae is well defined to develop the study about approximate reasoning in the logic metric space (F, ρ ). Then, three different types of approximate reasoning patterns are proposed, and their equivalence under some condition is proved. This work aims at filling in the blanks of approximate reasoning in quantitative predicate logic.展开更多
With the increment of focal elements number in discernment framework,the computation amount in Dezert-Smarandache Theory (DSmT) will exponentially go up. This has been the bottleneck problem to block the wide applicat...With the increment of focal elements number in discernment framework,the computation amount in Dezert-Smarandache Theory (DSmT) will exponentially go up. This has been the bottleneck problem to block the wide application and development of DSmT. Aiming at this difficulty,in this paper,a kind of fast approximate reasoning method in hierarchical DSmT is proposed. Presently,this method is only fit for the case that there are only singletons with assignment in hyper-power set. These singletons in hyper-power set are forced to group through bintree or tri-tree technologies. At the same time,the assignments of singletons in those different groups corresponding to each source are added up respectively,in order to realize the mapping from the refined hyper-power set to the coarsened one. And then,two sources with the coarsened hyper-power set are combined together according to classical DSm Combination rule (DSmC) and Proportional Conflict Redistribution rule No. 5 (PCR5). The fused results in coarsened framework will be saved as the connecting weights between father and children nodes. And then,all assignments of singletons in different groups will be normalized respectively. Tree depth is set,in order to decide the iterative times in hierarchical system. Finally,by comparing new method with old one from different views,the superiority of new one over old one is testified well.展开更多
Resolution is an useful tool for mechanical theorem proving in modelling the refutation proof procedure, which is mostly used in constructing a “proof” of a “theorem”. An attempt is made to utilize approximate rea...Resolution is an useful tool for mechanical theorem proving in modelling the refutation proof procedure, which is mostly used in constructing a “proof” of a “theorem”. An attempt is made to utilize approximate reasoning methodology in fuzzy resolution. Approximate reasoning is a methodology which can deduce a specific information from general knowledge and specific observation. It is dependent on the form of general knowledge and the corresponding deductive mechanism. In ordinary approximate reasoning, we derive from A→B and by some mechanism. In inverse approximate reasoning, we conclude from A→B and using an altogether different mechanism. An important observation is that similarity is inherent in fuzzy set theory. In approximate reasoning methodology-similarity relation is used in fuzzification while, similarity measure is used in fuzzy inference mechanism. This research proposes that similarity based approximate reasoning-modelling generalised modus ponens/generalised modus tollens—can be used to derive a resolution—like inference pattern in fuzzy logic. The proposal is well-illustrated with artificial examples.展开更多
To increase the efficiency of the multidisciplinary optimization of aircraft, an aerodynamic approximation model is improved. Based on the study of aerodynamic approximation model constructed by the scaling correction...To increase the efficiency of the multidisciplinary optimization of aircraft, an aerodynamic approximation model is improved. Based on the study of aerodynamic approximation model constructed by the scaling correction model, case-based reasoning technique is introduced to improve the approximation model for optimization. The aircraft case model is constructed by utilizing the plane parameters related to aerodynamic characteristics as attributes of cases, and the formula of case retrieving is improved. Finally, the aerodynamic approximation model for optimization is improved by reusing the correction factors of the most similar aircraft to the current one. The multidisciplinary optimization of a civil aircraft concept is carried out with the improved aerodynamic approximation model. The results demonstrate that the precision and the efficiency of the optimization can be improved by utilizing the improved aerodynamic approximation model with ease-based reasoning technique.展开更多
This paper combines interval-valued intuitionistic fuzzy sets and rough sets.It studies rougheness in interval-valued intuitionistic fuzzy sets and proposes one kind of interval-valued intuitionistic fuzzy-rough sets ...This paper combines interval-valued intuitionistic fuzzy sets and rough sets.It studies rougheness in interval-valued intuitionistic fuzzy sets and proposes one kind of interval-valued intuitionistic fuzzy-rough sets models under the equivalence relation in crisp sets.That extends the classical rough set defined by Pawlak.展开更多
The Daqing oilfield is a multilayered heterogeneous oil field where the pressure are different in the same vertical profile causing many troubles to the adjustment well drillings. The approximately-balanced drilling t...The Daqing oilfield is a multilayered heterogeneous oil field where the pressure are different in the same vertical profile causing many troubles to the adjustment well drillings. The approximately-balanced drilling technique has been developed and proved to be efficient and successful in Daqing oilfield. This paper discusses the application of approximately-balanced drilling technique under the condition of multilayered pressure in Daqing oilfield, including the prediction of formation pressure, the pressure discharge technique for the drilling well and the control of the density of drilling fluid.展开更多
The concepts of metric R0-algebra and Hilbert cube of type RO are introduced. A unified approximate reasoning theory in propositional caculus system ? and predicate calculus system (?) is established semantically as w...The concepts of metric R0-algebra and Hilbert cube of type RO are introduced. A unified approximate reasoning theory in propositional caculus system ? and predicate calculus system (?) is established semantically as well as syntactically, and a unified complete theorem is obtained.展开更多
In this paper, an attempt is made to prove that some similarity based fuzzy systems can be found to behave as function approximators. A typical similarity based fuzzy system is proposed and its behaviour is shown to h...In this paper, an attempt is made to prove that some similarity based fuzzy systems can be found to behave as function approximators. A typical similarity based fuzzy system is proposed and its behaviour is shown to have the said property. It elucidates the connection between similarity relation and similarity measure of fuzzy sets to fuzzy inference methodology. The concept of similarity relation is used in fuzzification of crisp input values. Similarity index is used in measuring approximate equality of fuzzy sets over a given universe of discourse of a linguistic variable. The similarity between the observation(s) and the antecedent of a rule is used in selecting rule(s) for possible firing and also in modifying the relation between the antecedent and consequent of the rule based on the specific observation. Inference is drawn through the usual composition and subsequently by projecting the modified fuzzy restriction acting on the variables of interest on the universe of the linguistic variable in the consequent of the rule. A specificity based defuzzification scheme is proposed for multiple-rule firing. It has been proved systematically that such a similarity based fuzzy system can uniformly approximate continuous functions to any desired degree of accuracy on a closed and bounded interval. Simulation results are presented for the well-known dc-motor problem. A comparative study is made to establish the validity and efficiency of the proposed similarity based fuzzy system.展开更多
基金supported by the National Natural Science Foundation of China(60774100)the Natural Science Foundation of Shandong Province of China(Y2007A15)
文摘The aim of this paper is to discuss the approximate rea- soning problems with interval-valued fuzzy environments based on the fully implicational idea. First, this paper constructs a class of interval-valued fuzzy implications by means of a type of impli- cations and a parameter on the unit interval, then uses them to establish fully implicational reasoning methods for interval-valued fuzzy modus ponens （IFMP） and interval-valued fuzzy modus tel- lens （IFMT） problems. At the same time the reversibility properties of these methods are analyzed and the reversible conditions are given. It is shown that the existing unified forms of α-triple I （the abbreviation of triple implications） methods for FMP and FMT can be seen as the particular cases of our methods for IFMP and IFMT.
基金National Natural Science Foundation of China (No. 60875034)Spanish Ministry of Education and Science Fund,Spain (No.TIN-2009-0828)Spanish Regional Government (Junta de Andalucia) Fund,Spain (No. P08-TIC-3548)
文摘Based on the theory of the quasi-truth degrees in two-valued predicate logic, some researches on approximate reasoning are studied in this paper. The relation of the pseudo-metric between first-order formulae and the quasi-truth degrees of first-order formulae is discussed, and it is proved that there is no isolated point in the logic metric space (F, ρ ). Thus the pseudo-metric between first-order formulae is well defined to develop the study about approximate reasoning in the logic metric space (F, ρ ). Then, three different types of approximate reasoning patterns are proposed, and their equivalence under some condition is proved. This work aims at filling in the blanks of approximate reasoning in quantitative predicate logic.
基金Supported by the National Natural Science Foundation of China (No. 60804063)
文摘With the increment of focal elements number in discernment framework,the computation amount in Dezert-Smarandache Theory (DSmT) will exponentially go up. This has been the bottleneck problem to block the wide application and development of DSmT. Aiming at this difficulty,in this paper,a kind of fast approximate reasoning method in hierarchical DSmT is proposed. Presently,this method is only fit for the case that there are only singletons with assignment in hyper-power set. These singletons in hyper-power set are forced to group through bintree or tri-tree technologies. At the same time,the assignments of singletons in those different groups corresponding to each source are added up respectively,in order to realize the mapping from the refined hyper-power set to the coarsened one. And then,two sources with the coarsened hyper-power set are combined together according to classical DSm Combination rule (DSmC) and Proportional Conflict Redistribution rule No. 5 (PCR5). The fused results in coarsened framework will be saved as the connecting weights between father and children nodes. And then,all assignments of singletons in different groups will be normalized respectively. Tree depth is set,in order to decide the iterative times in hierarchical system. Finally,by comparing new method with old one from different views,the superiority of new one over old one is testified well.
文摘Resolution is an useful tool for mechanical theorem proving in modelling the refutation proof procedure, which is mostly used in constructing a “proof” of a “theorem”. An attempt is made to utilize approximate reasoning methodology in fuzzy resolution. Approximate reasoning is a methodology which can deduce a specific information from general knowledge and specific observation. It is dependent on the form of general knowledge and the corresponding deductive mechanism. In ordinary approximate reasoning, we derive from A→B and by some mechanism. In inverse approximate reasoning, we conclude from A→B and using an altogether different mechanism. An important observation is that similarity is inherent in fuzzy set theory. In approximate reasoning methodology-similarity relation is used in fuzzification while, similarity measure is used in fuzzy inference mechanism. This research proposes that similarity based approximate reasoning-modelling generalised modus ponens/generalised modus tollens—can be used to derive a resolution—like inference pattern in fuzzy logic. The proposal is well-illustrated with artificial examples.
文摘To increase the efficiency of the multidisciplinary optimization of aircraft, an aerodynamic approximation model is improved. Based on the study of aerodynamic approximation model constructed by the scaling correction model, case-based reasoning technique is introduced to improve the approximation model for optimization. The aircraft case model is constructed by utilizing the plane parameters related to aerodynamic characteristics as attributes of cases, and the formula of case retrieving is improved. Finally, the aerodynamic approximation model for optimization is improved by reusing the correction factors of the most similar aircraft to the current one. The multidisciplinary optimization of a civil aircraft concept is carried out with the improved aerodynamic approximation model. The results demonstrate that the precision and the efficiency of the optimization can be improved by utilizing the improved aerodynamic approximation model with ease-based reasoning technique.
基金supported by grants from the National Natural Science Foundation of China(Nos.10971185 and 10971186)the Natural Science Foundation of Fujiang Province in China(No.2008F5066).
文摘This paper combines interval-valued intuitionistic fuzzy sets and rough sets.It studies rougheness in interval-valued intuitionistic fuzzy sets and proposes one kind of interval-valued intuitionistic fuzzy-rough sets models under the equivalence relation in crisp sets.That extends the classical rough set defined by Pawlak.
文摘The Daqing oilfield is a multilayered heterogeneous oil field where the pressure are different in the same vertical profile causing many troubles to the adjustment well drillings. The approximately-balanced drilling technique has been developed and proved to be efficient and successful in Daqing oilfield. This paper discusses the application of approximately-balanced drilling technique under the condition of multilayered pressure in Daqing oilfield, including the prediction of formation pressure, the pressure discharge technique for the drilling well and the control of the density of drilling fluid.
基金supported by the National Natural Science Foundation of China(Grant No.19331010).
文摘The concepts of metric R0-algebra and Hilbert cube of type RO are introduced. A unified approximate reasoning theory in propositional caculus system ? and predicate calculus system (?) is established semantically as well as syntactically, and a unified complete theorem is obtained.
文摘In this paper, an attempt is made to prove that some similarity based fuzzy systems can be found to behave as function approximators. A typical similarity based fuzzy system is proposed and its behaviour is shown to have the said property. It elucidates the connection between similarity relation and similarity measure of fuzzy sets to fuzzy inference methodology. The concept of similarity relation is used in fuzzification of crisp input values. Similarity index is used in measuring approximate equality of fuzzy sets over a given universe of discourse of a linguistic variable. The similarity between the observation(s) and the antecedent of a rule is used in selecting rule(s) for possible firing and also in modifying the relation between the antecedent and consequent of the rule based on the specific observation. Inference is drawn through the usual composition and subsequently by projecting the modified fuzzy restriction acting on the variables of interest on the universe of the linguistic variable in the consequent of the rule. A specificity based defuzzification scheme is proposed for multiple-rule firing. It has been proved systematically that such a similarity based fuzzy system can uniformly approximate continuous functions to any desired degree of accuracy on a closed and bounded interval. Simulation results are presented for the well-known dc-motor problem. A comparative study is made to establish the validity and efficiency of the proposed similarity based fuzzy system.
