【摘 要】
：
在三值?ukasiewicz命题逻辑系统中,将T-真度和绝对真度相结合,给出T-绝对真度的概念,讨论了若干性质.利用T-绝对真度定义了公式间的T-绝对相似度与伪距离,并证明了逻辑运算的
论文部分内容阅读
在三值?ukasiewicz命题逻辑系统中,将T-真度和绝对真度相结合,给出T-绝对真度的概念,讨论了若干性质.利用T-绝对真度定义了公式间的T-绝对相似度与伪距离,并证明了逻辑运算的连续性.借助三值?ukasiewicz命题逻辑系统中公式的向量表示形式,给出公式真度的定义.在此基础上,给出公式间相似度和伪距离的计算公式,论证了相关的性质.通过势为4的非均匀概率空间的无穷乘积,在四值G?del命题逻辑系统中引入公式的概率真度,证明了概率真度值之集在[0,1]中不存在孤立点.定义了概率相似度和伪距离,建立了概率逻辑度量空间,证明了此空间中不存在孤立点.
其他文献
目的在天花、脊髓灰质炎被消除之后,麻疹成为世界卫生组织(world health organization,WHO)下一个亟待消灭的传染病,也是我国要重点控制的传染病。因此,我国特别重视麻疹的消
<正> “自重,自省,自警,自励”是江泽民同志对各级领导干部提出的要求。秘书人员是领导的参谋与助手,处于领导机关的核心部位,也应做到“四自”。做到了“四自”,才能始终坚
<正>1.工程概况郑州黄河公铁两用大桥为京广铁路客运专线及郑州-新乡一级公路跨越黄河的特大公铁两用桥,距下游京珠高速公路黄河大桥约6km。桥址河段为黄河下游花园口至东坝
介绍高寒地区保护性耕作取得的成果及需要加强的措施,如领导要重视、选点要准确、农民要认可,要目标明确、责任到人,要选好机具,为促进该地保护性耕作的推广提供依据。
饲料营养是影响奶牛繁殖力的关键因素之一。从日粮蛋白质水平、日粮能量浓度、矿物质元素、维生素等方面介绍了饲料营养对奶牛繁殖性能的影响,旨在指导奶牛养殖场提高奶牛生
基源鉴定是中药鉴定学的核心内容之一。原植物、性状、显微、理化等四大鉴别法都可用于中药的基源鉴定,确定中药的品种,但各种方法的作用和特点不同。其中原植物和原动物鉴定
<正>1.施工前期准备1.1电气施工相关人员的配合在建筑电气安装工程项目的设计阶段,由电气设计人员对建筑项目安装设计提出相关的技术要求。电气安装人员应会同施工技术人员审
商业贿赂已经成为影响社会经济正常运行的一大"公害"。为此,党和国家在反腐败的统一框架下,把治理商业贿赂作为反腐败工作的一个重点。本文从查办商业贿赂犯罪的角度,针对商
①目的分析老年男性尖锐湿疣患者发病特点;观察重组人干扰素α-2b注射液治疗男性尖锐湿疣的疗效。②方法 92例尖锐湿疣老年男性患者随机分为观察组和对照组,对照组给予局部微
<正>在以往的实验中,对图像的增强和去噪由于针对不同的处理要求,往往是分别进行的。图像增强算法的目的是增强图像中细节的对比,对带噪图像的增强往往会放大噪声,反而影响图