【摘 要】
：
本文讨论泛与运算模型T(x,y,h)(h∈(0.75,1))的一些性质;证明了泛与运算模型T(x,y,h)(h∈(0.75,1))是一个严格三角范数;泛与运算模型T(x,y,h)(h∈(0.75,1))与泛蕴涵运算模型I
【机 构】
：
运城学院数学系,山西,运城,044000
【出 处】
：
2005年中国模糊逻辑与计算智能联合学术会议
论文部分内容阅读
本文讨论泛与运算模型T(x,y,h)(h∈(0.75,1))的一些性质;证明了泛与运算模型T(x,y,h)(h∈(0.75,1))是一个严格三角范数;泛与运算模型T(x,y,h)(h∈(0.75,1))与泛蕴涵运算模型I(x,y,h)(h∈(0.75,1))形成伴随对;并且当h∈(0.75,1)时,有界格([0,1],∨,∧,*,→,0,1)做成乘积代数.h∈]0,1]时,有界格([0,1],∨,∧,*,→,0,1)做成BL代数.给出了基于严格泛与运算模型T(x,y,h)(h∈(0.75,1))的模糊命题演算系统PC(T),进一步证明了此命题演算系统就是乘积逻辑命题演算系统.最后得到基于泛与运算模型T(x,y,h)(h]0,1])的模糊命题演算系统就是基本逻辑BL命题演算系统.
其他文献
本文分析了逻辑函数在部分变量取反时的或-符合展开系数图(即dj图)和降维或-符合展开系数图(即降维dj图),在此基础上提出了用dj图和降维dj图计算逻辑函数的一阶布尔差分和二
G(o)del语言是一种说明性逻辑程序设计语言.该语言基于一阶逻辑,支持抽象数据类型和模块化程序设计等技术,语言本身也具有很强的说明性语义.本文引入了在G(o)del语言中支持面
温度是影响压力传感器的一个重要因素,为了补偿温度造成的误差,探讨了一种新方法,即用模糊逻辑推理的方法建立温度补偿模型进行压力传感器温度的非线性误差校正.校正后的最大
本文根据2-5混值编码原理和电路三要素理论,定量设计了2-5混值门电路、触发器和带进位/借位的加减法计数器.计算机模拟验证了上述理论和依此理论设计的电路的正确性.
本文首先对钟控神经MOS管进行研究,提出了相应的改进方法.然后采用此改进的钟控神经MOS管设计了一种新型多值触发器.与传统的触发器相比较,此多值触发器具有结构简单、速度快
在模糊概念(用Fuzzy集表示)的隶属函数为连续和离散情况下,利用线性插值的方法给出了一个新的基于相似度量的模糊推理方法.该方法不仅具有还原性,而且还克服了传统的基于相似
多agent环境下agent的最优策略取决于其他agent的策略,这使得学习目标不易被清晰的定义.基于客观观察行为建模的方法并不保证学习策略最终收敛.本文提出了基于内省推理方法的
本文根据知识本身的可信度,对假说中的知识进行分层,并结合典型的修正方法和非修正方法各自的特点,提出了自顶向下的定量处理方法,该方法计算时相对直观;同时与AGM理论进行比
本文针对救生物品的使用、救生伞的维护管理和阻力伞使用维护中存在的一些问题,提出解决办法.对提高航空救生装备的维护质量,确保飞行员可靠安全救生有一定的作用.
本文提出了一种结合种群竞争和个体合作的新型协同进化算法Coop&compEA.该算法在个体合作进化的基础上引入种群竞争,通过反馈将合作和竞争的不同进化压力融入个体的适应度计