共查询到19条相似文献,搜索用时 78 毫秒
1.
基于Lukasiewicz蕴涵算子的反向三I算法 总被引:10,自引:2,他引:8
三Ⅰ算法是针对模糊推理的FMP与FMT模型的一种新的推理方法。本文针对Lukasiewicz蕴涵算子讨论FMP模型及FMT模型的反向三Ⅰ推理及反向α-三Ⅰ推理,借助该蕴涵算子的性质,给出相应的推理算法。 相似文献
2.
模糊推理算法的还原性是判断蕴涵算子与推理方法配合效果的一个重要标准,只有蕴涵算子与推理方法搭配适当,才能使模糊推理有一个好的效果。本文对模糊推理三I算法具备还原性的条件进行了研究。首先,当与蕴涵算子相伴随的三角模为连续三角模时,给出了FM P问题三I算法具有还原性的充要条件;其次,当蕴涵算子为连续的正则蕴涵算子时,给出了FM T问题的三I算法具有还原性的充要条件;最后,当正则蕴涵算子关于补运算满足对合律时,给出了FM T问题三I算法满足还原性的一个充分条件。 相似文献
3.
4.
5.
6.
模糊推理的α-三I算法 总被引:6,自引:2,他引:4
三I算法是针对模糊推理的FMP与FMT模型的一种新的推理方法。本文借助蕴涵算子的性质,针对满足一定条件的较一般蕴涵算子,建立了FMP与FMT模型的α-三I算法,并讨论了算法的还原性。 相似文献
7.
8.
9.
定义一种只带原子命题以及命题算子的算子命题逻辑,讨论了该逻辑的λ-归结的相容性、完备性及其若干逻辑性质。为了实现算子命题逻辑的归结推理,给出了算子命题逻辑的Petri网模型:Horn型,进一步讨论了推理算法:T-不变量算法,得到了算法的完备性定理。 相似文献
10.
11.
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.
Sean Effinger-Dean 《Journal of Mathematical Analysis and Applications》2006,324(2):1062-1072
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.
Eduardo Mizraji 《Mathematical Logic Quarterly》1996,42(1):27-40
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.
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. 相似文献
18.
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. 相似文献
19.
N. A. Erzakova 《Functional Analysis and Its Applications》2010,44(3):216-218
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. 相似文献