共查询到19条相似文献,搜索用时 93 毫秒
1.
2.
3.
4.
模糊推理三I算法的逻辑基础 总被引:14,自引:9,他引:5
在模糊推理理论中,近期问世的三I推理方法以逻辑蕴涵运算取代传统的合成运算,从根本上改进了传统的合成推理规则(即CRI方法)。本文基于模糊命题逻辑的形式演绎系统L^*和模糊谓词逻辑的一阶系统K^*,构建了一个完备的多型变元一阶系统Kms^*,并且将三I算法完全纳入了模糊逻辑的框架之中,从而为模糊推理奠定了严格的逻辑基础。 相似文献
5.
区间值模糊推理的三Ⅰ算法 总被引:3,自引:0,他引:3
王向云 《高校应用数学学报(A辑)》2003,18(4):467-472
模糊推理在控制和人工智能等领域已得到了广泛的应用,但其理论基础还不完善,王国俊教授提出的模糊命题逻辑的形式演绎系统和三Ⅰ算法为模糊推理奠定了严格的逻辑基础,本文把三Ⅰ算法用于区间值模糊推理,并且指出一般模糊推理是在区间退化为点时的特殊区间值模糊推理,从而把一般模糊推理纳入于区间值模糊推理的框架之内。 相似文献
6.
基于神经网络的模糊推理 总被引:2,自引:0,他引:2
为了使模糊推理符合推理原则,目前已定义了10多种模糊关系,但各种模糊关系定义都存在一定的缺陷。本文提出的基于神经网络的模糊推理,能很好地符合模糊推理原则。 相似文献
7.
模糊逻辑命题演算系统L^*在模糊逻辑与模糊推理的结合研究中得到了成功的应用。本文进一步研究系统L^*的语法结构,得到了一些有趣的新结果,特别是给出了它的一个简化形式,并证明了这个简化公理系统的独立性。 相似文献
8.
9.
10.
基于Schweizer-Sklar算子的模糊推理模型的连续性 总被引:1,自引:0,他引:1
本文将Schweizer-Sklar算子引入模糊系统,引入了模糊推理模型连续性的新定义,给出了两种典型的模糊推理模型为连续模型的充要条件.讨论了几种常用的模糊推理模型的连续性,给出其改进形式. 相似文献
11.
一种新的三角模糊数算子在加权模糊推理中的应用 总被引:2,自引:0,他引:2
针对基于模糊逻辑的加权模糊推理,Chen Shy i-M ing提出了两种计算合取式前件整体真值的方法。由于所用模糊数算子的影响,两种方法的求取结果在准确性和合理性上都存在一定的缺陷。这种缺陷将直接影响推理的性能。因此,为改善这种缺陷,提高推理性能,本文提出了一种新的三角模糊数算子。它的应用可以提高推理的准确性和合理性。 相似文献
12.
We describe the type of reasoning used in the typical fuzzy logic controller, the Mamdani reasoning method. We point out the basic assumptions in this model. We discuss the S-OWA operators which provide families of parameterized “andlike” and “orlike” operators. We generalize the Mamdani model by introducing these operators. We introduce a method, which we call Direct Fuzzy Reasoning (DFR), which results from one choice of the parameters. We develop some learning algorithms for the new method. We show how the Takagi-Sugeno-Kang (TSK) method of reasoning is an example of this DFR method. 相似文献
13.
三I推理方法是一种新的模糊推理方法,通过已有的研究成果表明,在许多方面它优于传统的CRI推理方法,它将成为模糊系统和人工智能的理论和应用研究中一个比较理想的推理机制。最近,国外学者提出了一个新的模糊逻辑形式系统,叫做Monoidal t-norm based logics(简记为MTL),已经证明这个形式系统是所有基于左连续三角范数的模糊逻辑的共同形式化。本文基于这类逻辑将三I推理方法形式化,从而在这些逻辑系统中为三推理方法找到了可靠的逻辑依据。 相似文献
14.
Fuzzy reasoning should take into account the factors of both the logic system and the reasoning model, thus a new fuzzy reasoning method called the symmetric implicational method is proposed, which contains the full implication inference method as its particular case. The previous full implication inference principles are improved, and unified forms of the new method are respectively established for FMP (fuzzy modus ponens) and FMT (fuzzy modus tollens) to let different fuzzy implications be used under the same way. Furthermore, reversibility properties of the new method are analyzed from some conditions that many fuzzy implications satisfy, and it is found that its reversibility properties seem fine. Lastly, the more general α-symmetric implicational method is put forward, and its unified forms are achieved. 相似文献
15.
模糊推理算法的还原性是判断蕴涵算子与推理方法配合效果的一个重要标准,只有蕴涵算子与推理方法搭配适当,才能使模糊推理有一个好的效果。本文对模糊推理三I算法具备还原性的条件进行了研究。首先,当与蕴涵算子相伴随的三角模为连续三角模时,给出了FM P问题三I算法具有还原性的充要条件;其次,当蕴涵算子为连续的正则蕴涵算子时,给出了FM T问题的三I算法具有还原性的充要条件;最后,当正则蕴涵算子关于补运算满足对合律时,给出了FM T问题三I算法满足还原性的一个充分条件。 相似文献
16.
研究粗糙模糊集、模糊粗糙集、广义粗糙模糊集和广义模糊粗糙集的截集性质,并且还研究了基于逻辑算子的广义模糊粗糙集的基本性质。 相似文献
17.
The problem of the influence of fuzzy implication operators and connective also on the accuracy of a fuzzy model of a d.c. series motor is considered. Several typical fuzzy implication operators are used to construct the fuzzy model of a d.c. series motor. A root-mean-square error is adopted as the criterion of the model's adequacy to the real system. The best typical fuzzy relations are selected. 相似文献
18.
Ronald R. Yager 《Fuzzy Optimization and Decision Making》2006,5(3):207-226
Two related aggregation operators called copulas and co-copulas are introduced and various properties are described. The relationship,
of these operators to t-norms and t-conorms is noted. Generalizations of these, respectively, called conjunctors and disjunctors, are introduced. We suggest
the use of disjunctor operators for modeling the multi-valued implication operator in fuzzy logic. We point out that the selection
of operators used in fuzzy logic, in addition to having appropriate pointwise properties, should be holistic, this requires
consideration of the nature of the resulting fuzzy set as a whole. Focusing on the protoform of fuzzy modus ponens and looking
at the information contained in the inferred fuzzy set we show that the use of co-copulas has some desirable properties. Taking
advantage of the fact that the weighted sum of co-copulas is a co-copula we consider the problem of constructing customized
implication operators. 相似文献
19.
Fuzzy logic adds to bivalent logic an important capability—a capability to reason precisely with imperfect information. Imperfect information is information which in one or more respects is imprecise, uncertain, incomplete, unreliable, vague or partially true. In fuzzy logic, results of reasoning are expected to be provably valid, or p-valid for short. Extended fuzzy logic adds an equally important capability—a capability to reason imprecisely with imperfect information. This capability comes into play when precise reasoning is infeasible, excessively costly or unneeded. In extended fuzzy logic, p-validity of results is desirable but not required. What is admissible is a mode of reasoning which is fuzzily valid, or f-valid for short. Actually, much of everyday human reasoning is f-valid reasoning.f-Valid reasoning falls within the province of what may be called unprecisiated fuzzy logic, FLu. FLu is the logic which underlies what is referred to as f-geometry. In f-geometry, geometric figures are drawn by hand with a spray pen—a miniaturized spray can. In Euclidean geometry, a crisp concept, C, corresponds to a fuzzy concept, f-C, in f-geometry. f-C is referred to as an f-transform of C, with C serving as the prototype of f-C. f-C may be interpreted as the result of execution of the instructions: Draw C by hand with a spray pen. Thus, in f-geometry we have f-points, f-lines, f-triangles, f-circles, etc. In addition, we have f-transforms of higher-level concepts: f-parallel, f-similar, f-axiom, f-definition, f-theorem, etc. In f-geometry, p-valid reasoning does not apply. Basically, f-geometry may be viewed as an f-transform of Euclidean geometry.What is important to note is that f-valid reasoning based on a realistic model may be more useful than p-valid reasoning based on an unrealistic model. 相似文献