一类n值命题逻辑中命题的真度理论及近似推理理论

来源 :陕西师范大学 | 被引量 : 0次 | 上传用户:y328151006
下载到本地 , 更方便阅读
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
该文的主要内容如下:第一部分,利用势为n的均匀概率空间的无穷乘积,在一类n值命题逻辑系统中定义了公式的α-真度及真度概念;在五种三值命题逻辑系统I<,3>及Lukasiewicz n值(4≤n≤17)命题逻辑系统L<,n>中讨论了全体公式的真度值之集在[0,1]中的分布及公式真度的表达通式,证明了全体公式的真度值之集.给出了一般真度推理规则.第二部分,利用真度定义了公式间的相似度,进而导出了全体公式集F(S)上的一种伪距离ρ,并证明了伪距离空间(F(S),ρ)中没有孤立点,从而可以考虑用一列公式去逼近某个公式的问题.第三部分,详细讨论了(F(S),ρ)上的近似推理理论.给出了两种误差定义并讨论了这两种误差之间的内在关系.这样,全文最终为这一类n值命题逻辑系统建立了一套完整的近似推理框架.
其他文献
服装舒适性的数值模拟,是我们正在研究开发的功能服装CAD系统中的非常基础性的功能.服装的舒适性,主要分为触觉舒适性和热湿舒适性两个方面.该论文分别针对这两个方面,提出数
Landis猜想是椭圆方程唯一延拓性质的一种推广和更加精确的描述,它刻画的是薛定谔算子或者椭圆方程的解在无穷远处的衰减性质:假设薛定谔算子-△+V(x)的位势项V(x)是有界函数,
该文考虑一类临床试验中的解释变量即依从性(Compliance)有随机量测误差的情形.我们提出一种新的模型允许其中的依从性变量带有量测误差,并把治疗(Treatment)的效应和依从的效应
有效的课堂教学过程应该是师生互动、共同发展的过程.然而,在新课程实施多年之后的今天,我们依然发现部分老师仍旧“穿新鞋、走老路”,在平时教学中坚持传统的教学方法.教师
本文首先分析了班主任管理之中常见的问题:管理意识比较弱化;班主任结构混乱;班主任管理制度不足够完善,分析增强中职班主任管理工作的对策:转变班主任管理理念;完善班主任管
本文主要研究对象是全纯凸流形上赋有奇异度量的全纯线丛.在恰当的曲率条件下,我们得到一些带乘子理想层(multiplier ideal sheaves)的上同调群的性质,包括消没定理,有限性定理
该文利用算子约化理论的思想,引入了一类特殊的向量丛-s-Bundle的概念,并进而定义了它的BIR(HIR)分解.刻划了s-Bundle的一些特殊性质.对特殊的s-Bundle,给出了其BIR分解在相
本文是“机动车牌照自动识别系统”课题研究的一部分。“机动车牌照自动识别系统”(VLPRS-Vehicle License Plate Recognition System)是北京市公安交通管理局主持开发的重大
三维射影几何的线几何模型有许多良好的性质,例如三维射影变换的李代数sl(4)同构于Cl(3,3)的2-向量代数;线几何与三维刚体运动的经典螺旋理论密切相关。同时该模型也有许多缺陷
该文的研究目标是从时间序列集中挖掘偏离程度高的序列集-Top-k例外集.首先,针对现有例外模式定义存在的不足,该文提出了一种新的例外模式度量方法.例外模式具有全局性和局部