首页 | 本学科首页   官方微博 | 高级检索  
相似文献
 共查询到19条相似文献,搜索用时 109 毫秒
1.
基于Lukasiewicz蕴涵算子的反向三I算法   总被引:10,自引:2,他引:8  
三Ⅰ算法是针对模糊推理的FMP与FMT模型的一种新的推理方法。本文针对Lukasiewicz蕴涵算子讨论FMP模型及FMT模型的反向三Ⅰ推理及反向α-三Ⅰ推理,借助该蕴涵算子的性质,给出相应的推理算法。  相似文献   

2.
模糊推理算法的还原性是判断蕴涵算子与推理方法配合效果的一个重要标准,只有蕴涵算子与推理方法搭配适当,才能使模糊推理有一个好的效果。本文对模糊推理三I算法具备还原性的条件进行了研究。首先,当与蕴涵算子相伴随的三角模为连续三角模时,给出了FM P问题三I算法具有还原性的充要条件;其次,当蕴涵算子为连续的正则蕴涵算子时,给出了FM T问题的三I算法具有还原性的充要条件;最后,当正则蕴涵算子关于补运算满足对合律时,给出了FM T问题三I算法满足还原性的一个充分条件。  相似文献   

3.
提出了基于蕴涵算子族L -λ-G的模糊推理的思想,这将有助于提高推理结果的效果.针对蕴涵算子族L-λ-G 给出了模糊推理的FMP模型及FMT模型的三I支持算法、α-三I支持算法.  相似文献   

4.
提出了基于蕴涵算子族L-λ-G的模糊推理的思想,这将有助于提高推理结果的效果.针对蕴涵算子族L-λ-G给出了模糊推理的FMP模型及FMT模型的三Ⅰ支持算法、α-三Ⅰ支持算法。  相似文献   

5.
提出了基于蕴涵算子族L-λ-R0的模糊推理的思想,这将有助于提高推理结果的可靠性.针对蕴涵算子族L-λ-R0给出了模糊推理的FMP模型及FMT模型的反向α-三I约束算法.  相似文献   

6.
提出基于参数蕴涵算子θp模糊推理的思想,给出了在模糊推理的每一步都使用蕴涵运算pθ的三I算法与反向三I支持算法理论,得到了三I上确界算法、模糊取式算法(FM P)与模糊拒取式算法(FM T)的计算公式,这将有助于提高模糊推理结果的可靠性。  相似文献   

7.
将变权综合原理应用于模糊推理,提出一种新的模糊推理算法-变权综合推理算法,并给出利用模糊蕴涵算子确定规则变权的方法。证明了由一些正常蕴涵算子如Lukasiewicz蕴涵、Goguen蕴涵、Godel蕴涵、Dubois-Prade蕴涵等确定的变权综合算法是相容的。进一步分析了该变权综合算法构造的模糊系统的响应能力,结果表明:基于这些正常蕴涵算子的变权综合算法构造的模糊系统具有泛逼近性。  相似文献   

8.
模糊推理的α-三I算法   总被引:6,自引:2,他引:4  
三I算法是针对模糊推理的FMP与FMT模型的一种新的推理方法。本文借助蕴涵算子的性质,针对满足一定条件的较一般蕴涵算子,建立了FMP与FMT模型的α-三I算法,并讨论了算法的还原性。  相似文献   

9.
定义一种只带原子命题以及命题算子的算子命题逻辑,讨论了该逻辑的λ-归结的相容性、完备性及其若干逻辑性质。为了实现算子命题逻辑的归结推理,给出了算子命题逻辑的Petri网模型:Horn型,进一步讨论了推理算法:T-不变量算法,得到了算法的完备性定理。  相似文献   

10.
用双蕴涵定义模糊集的相似测度,在此基础上研究一种新的模糊推理模型-基于双蕴涵的相似推理模型.考虑推理的FMP问题,给出4种推理算法,获得由常见的蕴涵算子构造的相似推理模型的计算公式.把已有的模糊系统作了改进,提出高斯模糊系统的概念,并证明基于双蕴涵相似推理模型的高斯模糊系统具有良好的函数逼近特性.  相似文献   

11.
区间值模糊命题逻辑的最大子代数及其广义重言式   总被引:8,自引:0,他引:8  
将S-型蕴涵算子改为R0-蕴涵算子,从而找到区间值模糊逻辑I[0,1]的一个最大子代数IQ,进而将王国俊教授在逻辑系统W中的广义重言式理论推广应用到IQ中。  相似文献   

12.
Using results of Part I of this paper, we shall now develop two methods of constructing linear partial differential equations which admit Bergman operators with polynomial kernels; these equations will be obtained explicitly. Those methods will also yield general representations of solutions of such an equation which are holomorphic in some domain of complex two-space. For generating all those solutions, one needs a pair of Bergman operators. Whereas in Part I of this paper we required at least one of the two operators to have a polynomial kernel, we now impose the condition that both operators be of that kind. This entails further basic results about the existence, construction, and uniqueness of solutions.  相似文献   

13.
一些模糊推理方法的还原性   总被引:2,自引:1,他引:1  
给出15个常用模糊蕴涵算子的三Ⅰ算法,在此基础上讨论由这15个蕴涵算子与CRI算法和三Ⅰ算法相结合生成的30种模糊推理方法的还原性。  相似文献   

14.
We compute the norms of composition operators with rational symbols that satisfy certain properties, extending Christopher Hammond's methods on operators with linear fractional symbols. This leads to a host of new examples of composition operators whose norms are calculable.  相似文献   

15.
Vector logic is a mathematical model of the propositional calculus in which the logical variables are represented by vectors and the logical operations by matrices. In this framework, many tautologies of classical logic are intrinsic identities between operators and, consequently, they are valid beyond the bivalued domain. The operators can be expressed as Kronecker polynomials. These polynomials allow us to show that many important tautologies of classical logic are generated from basic operators via the operations called Type I and Type II products. Finally, it is described a matrix version of the Fredkin gate that extends its properties to the many-valued domain, and it is proved that the filtered Fredkin operators are second degree Kronecker polynomials that cannot be generated by Type I or Type II products. Mathematics Subject Classification: 03B05, 03B50.  相似文献   

16.
Higher even order linear differential operators with unbounded coefficients are studied. For these operators the eigenvalues of the characteristic polynomials fall into distinct classes or clusters. Consequently the spectral properties, deficiency indices and spectra, of the underlying differential operators are superpositions of the contributions from the individual clusters. These results are based on a quantitative improvement of Levinson's Theorem. Our methods will also be applicable to other classes of linear differential operators.  相似文献   

17.
The study of a class of operators associated with convolution equations of the first kind on a finite interval is reduced to the study of Wiener-Hopf operators with piecewise continuous symbol on R. Fredholm properties and invertibility conditions for this class of operators are investigated. An example from diffraction theory is considered.Sponsored by J.N.I.C.T. (Portugal) under grant n o 87422/MATM.  相似文献   

18.
We extend the definition of capacity to the case of pseudomonotone operators and study its main properties. The paper generalizes the results obtained by G. Dal Maso and I. V. Skrypnik to monotone operators.  相似文献   

19.
New results related to the solvability of equations with partially additive operators acting on regular spaces are obtained by methods of functional analysis. The equations under examination have important applications, in particular, to nonlinear mechanics and physics. Topological properties of partially additive operators are also studied.  相似文献   

设为首页 | 免责声明 | 关于勤云 | 加入收藏

Copyright©北京勤云科技发展有限公司  京ICP备09084417号