【摘 要】
:
在模糊逻辑理论中,长期占主导地位的是基于t-模的逻辑系统。这类逻辑使用t-模作为合取连接词的解释,反映了人类日常思维与推理中的许多逻辑特征,因此,这类逻辑理论在模糊推理
论文部分内容阅读
在模糊逻辑理论中,长期占主导地位的是基于t-模的逻辑系统。这类逻辑使用t-模作为合取连接词的解释,反映了人类日常思维与推理中的许多逻辑特征,因此,这类逻辑理论在模糊推理和人工智能研究中获得广泛应用。其中,最引人注目的是基于左连续t-模的模糊逻辑系统MTL,许多著名逻辑系统,如Lukasiewicz系统,G(o)del系统,乘积系统,(£)*系统都是MTL的模式扩张。这些系统对应的代数都是MTL代数的子类。对MTL代数及其子类代数结构的研究得到了许多学者的广泛关注,但对这些代数上的度量化研究尚未广泛涉及。
计量逻辑学将数理逻辑与概率计算有机结合起来,从基本概念的程度化入手,逐步建立了逻辑度量空间,并给出了近似推理模式。基于这种研究思路,本文在MTL代数上进行了度量化研究。主要工作如下:
1.引入计量代数的概念,证明了几类重要的标准MTL代数是计量代数,同时指出不是所有的标准MTL代数都是计量代数。在MTL代数上建立了计量空间,并证明了其中算子的连续性,同时为MTL逻辑建立了计量逻辑理论框架。
2.对计量逻辑学中的理论真度的性质进行了研究,根据条件概率的思想提出理论的条件真度的概念,由此给出了一种可以在公式集之间展开的近似推理模式,用于探寻最优推理结论和最优推理前提,引入理论和谐度的概念,刻画理论内部公式和谐共存的程度。
3.研究了系统(£)n*的逻辑性质,证明了该系统中的可满足性定理,紧致性定理和可判定性定理,完善了系统(£)n*的理论体系,并将这些性质应用到计量逻辑学中,给出了∑r-真度和条件真度存在的充要条件。
其他文献
约束力学系统的对称性是寻求系统精确不变量(也称守恒量)的重要方法,而守恒量在力学、物理学中又具有很重要的作用.摄动方法被广泛应用于数学、力学、物理学、天体力学等领域
分析了球磨机采用滑动轴承摩擦阻力大的弊端。经过在北京云冶矿业有限责任公司的改选实践表明,使用滚动轴承代替滑动轴承,由于轴承处摩擦力的降低,使得磨机启动、运转电流降
运用简笔画教学,能充分调动学生的学习兴趣,有助于突破教学重难点,提高学生的背诵积累,加强课堂教学的直观性、形象性,在新课程背景下语文教学中依然能发挥重要作用。
商品衍生产品正日趋成为全球衍生产品市场的重要组成部分之一.关于商品衍生物的定价、风险对冲及风险管理等方面的原创性论文层出不穷.本文在前人的研究基础之上,我们建立了一个
本文首先介绍了氨基甲酸甲酯的合成方法,包括尿素醇解法、羰基化法、有机碳酸酯胺解法和光气法,然后着重介绍了利用尿素醇解法合成氨基甲酸甲酯的工艺。分析了反应温度、反应时
在重庆的历史上,私家花园多达数百家。而如今较完好地保存下来、开放为公园的,仅有礼园。而礼园正是今天大家熟知的鹅岭公园,它地处城市之巅,放眼之处,尽览城市之景。相传,蜀汉太守李严曾想于此凿穿高崖,连通两江。 最早的私家别墅 在1930年绘成的重庆地图上,两路口至杨家坪的道路那时还只是一条古驿道。路上跑的是马车,路边民房不多,居民常闻马蹄声。上世纪50年代,重庆修两路口至杨家坪的公路,将原来的马车
Virasoro超代数在数学和物理学领域上有着广泛的应用.本文主要讨论无中心的Virasoro超代数Wε的系数在两类张量模Fε(a, b)Mε(a, b)中的一阶上同调群.我们还分类了在模Fε(a
系统的容错保性能控制问题,自被提出以来,一直广受中外学者们的关注,具有良好的应用前景。随着科学技术不断的向前飞速发展,工业进程日趋大型化和复杂化,及大规模高水平的综
本学位论文研究了几类阻尼偏微分方程解的振动性,通过利用Riccati变换、积分算子理论以及引入H(t,s),φ(t,s,l)型的新函数,获得这几类方程在不同边值条件下解振动的充分条件.全文共