蕴涵代数与BCK代数

系统研究 Fuzzy蕴涵代数与 BCK代数之间的关系 ,给出 MV代数与 BCK代数之间的联系 ,建立正则 FI代数和对合 BCK代数的对偶代数     

求极大T-传递内部的新方法

利用Fodor等的基本思想,从另一个角度构造了一个有限论域上模糊关系的极大T-传递内部,求得另一个与Fodor等的方法不同的极大T-传递内部,并在计算机上加以实现,从而为将一个非传递的模糊关系改造为传递的模糊关系提供了一个新的方法.     

由后件单增模糊蕴涵算子构造的一类模糊系统及其逼近特性

给出由关于规则后件单增的模糊蕴涵算子构造的乘积推理机、"单点"模糊化方法和中心平均解模糊化方法设计的模糊系统, 并分析了它对紧集上连续可微函数的逼近特性.结果表明: 当模糊蕴涵算子θ满足θ(a,1)=1时, 模糊系统不具有逼近能力; 当θ(a,1)=p(a)(当0相似文献   

EQUIVALENCE OF SOME METHODS ON FUZZY REASONING

In this paper, we get several equivalent conditions of some methods on multidimensional (multicon-ditional) fuzzy reasoning.     

Distributions in fuzzy logic

Probability distributions associated with several ‘ply’-operators are discussed. These exact distributions are compared with relevant Gaussian approximations.     

有限格蕴涵代数的零化子

研究有限格蕴涵代数的零化子,找出有限格蕴涵代数所有理想的零化子,并证明对有限格蕴涵代数的理想做零化子运算(记为0*)是一个逆序对合算子,因此在由有限格蕴涵代数L的所有理想所组成的集合∑(L)上定义一个蕴涵算子,则(∑(L),O,L,0*,)构成一个格蕴涵代数。     

Quantum set theory: Transfer Principle and De Morgan's Laws

In quantum logic, introduced by Birkhoff and von Neumann, De Morgan's Laws play an important role in the projection-valued truth value assignment of observational propositions in quantum mechanics. Takeuti's quantum set theory extends this assignment to all the set-theoretical statements on the universe of quantum sets. However, Takeuti's quantum set theory has a problem in that De Morgan's Laws do not hold between universal and existential bounded quantifiers. Here, we solve this problem by introducing a new truth value assignment for bounded quantifiers that satisfies De Morgan's Laws. To justify the new assignment, we prove the Transfer Principle, showing that this assignment of a truth value to every bounded ZFC theorem has a lower bound determined by the commutator, a projection-valued degree of commutativity, of constants in the formula. We study the most general class of truth value assignments and obtain necessary and sufficient conditions for them to satisfy the Transfer Principle, to satisfy De Morgan's Laws, and to satisfy both. For the class of assignments with polynomially definable logical operations, we determine exactly 36 assignments that satisfy the Transfer Principle and exactly 6 assignments that satisfy both the Transfer Principle and De Morgan's Laws.     

模糊推理的变权综合算法及其构造的模糊系统响应能力分析

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

由格蕴涵代数诱导的伴随半群

给出由格蕴涵代数诱导出的伴随半群及有关概念 ,详细讨论伴随半群中的元素即格蕴涵代数的左映射的性质 ,得到它们的几个等价条件。最后讨论由格蕴涵代数诱导的两个双格半群与伴随半群之间的关系 ,并证明这些半群是幂等的当且仅当它们是由格 H蕴涵代数所诱导     

格蕴涵代数的区间值(J)-模糊滤子理论

将区间值模糊集和D[0,1]上的t-模(J)应用于格蕴涵代数的滤子理论,引入格蕴涵代数的区间值,(J)-模糊(关联、正关联)滤子的概念,给出了它们的等价刻画,研究了它们之间的关系.