排序方式: 共有77条查询结果,搜索用时 140 毫秒
11.
基于Lukasiewicz蕴涵算子的反向三I算法 总被引:10,自引:2,他引:8
三Ⅰ算法是针对模糊推理的FMP与FMT模型的一种新的推理方法。本文针对Lukasiewicz蕴涵算子讨论FMP模型及FMT模型的反向三Ⅰ推理及反向α-三Ⅰ推理,借助该蕴涵算子的性质,给出相应的推理算法。 相似文献
12.
一些模糊推理方法的还原性 总被引:2,自引:1,他引:1
给出15个常用模糊蕴涵算子的三Ⅰ算法,在此基础上讨论由这15个蕴涵算子与CRI算法和三Ⅰ算法相结合生成的30种模糊推理方法的还原性。 相似文献
13.
14.
Manuel Abad Cecilia Rossana Cimadamore José Patricio Díaz Varela 《Central European Journal of Mathematics》2009,7(2):299-309
In this paper, every monadic implication algebra is represented as a union of a unique family of monadic filters of a suitable
monadic Boolean algebra. Inspired by this representation, we introduce the notion of a monadic implication space, we give
a topological representation for monadic implication algebras and we prove a dual equivalence between the category of monadic
implication algebras and the category of monadic implication spaces.
相似文献
15.
16.
进一步讨论蕴涵算子的直积分解,描述积格上可以分解为两个蕴涵算子直积的蕴涵算子的特性,并研究积格上S-蕴涵、R-蕴涵、n-反演R-蕴涵和n-反演QL-蕴涵的可分解性。 相似文献
17.
The paper studies closure properties of classes of fuzzy structures defined by fuzzy implicational theories, i.e. theories
whose formulas are implications between fuzzy identities. We present generalizations of results from the bivalent case. Namely,
we characterize model classes of general implicational theories, finitary implicational theories, and Horn theories by means
of closedness under suitable algebraic constructions. 相似文献
18.
The paper presents generalizations of results on so-called Horn logic, well-known in universal algebra, to the setting of
fuzzy logic. The theories we consider consist of formulas which are implications between identities (equations) with premises
weighted by truth degrees. We adopt Pavelka style: theories are fuzzy sets of formulas and we consider degrees of provability
of formulas from theories. Our basic structure of truth degrees is a complete residuated lattice. We derive a Pavelka-style
completeness theorem (degree of provability equals degree of truth) from which we get some particular cases by imposing restrictions
on the formulas under consideration. As a particular case, we obtain completeness of fuzzy equational logic. 相似文献
19.
A linear expected-time algorithm for deriving all logical conclusions implied by a set of boolean inequalities 总被引:1,自引:0,他引:1
Consider a setR ofm binary relations on a set ofn boolean variables.R may imply a contradiction, the fixation of some variables at 0 or at 1 and/or the identification of some pairs of variables in direct or complemented form. An O(n) expected-time algorithm is given for the derivation of all such logical conclusions. Computational experiments with problems involving up to 2000 variables are reported on. The proposed algorithm is more than 100 times faster than previous methods whenn 100.On leave from Faculté Universitaire Catholique de Mons, Belgium. Written at CNRS, LAMSADE. Support of CNRS is gratefully acknowledged. 相似文献
20.
In this paper we give conditions on an implication algebra A so that two congruences θ
1, θ
2 on A permute, i.e. θ
1 ∘ θ
2 = θ
2 ∘ θ
1. We also provide simpler conditions for permutability in finite implication algebras. Finally we present some applications
of these characterizations.
The support of Universidad Nacional del Sur and CONICET is gratefully acknowledged. 相似文献