计量逻辑中真度的均值表示形式及应用 被引量：23

1

作者 吴洪博 周建仁 《电子学报》 EI CAS CSCD 北大核心 2012年第9期1822-1828,共7页

命题真度是计量逻辑学中的基础概念.本文对真度的性质和计算方法进行了再研究.首先给出了计量逻辑中真度定义的均值表示形式;其次利用真度定义的均值表示形式推广了连接有限值逻辑系统和连续值逻辑系统中真度理论的极限定理,并得到了真... 命题真度是计量逻辑学中的基础概念.本文对真度的性质和计算方法进行了再研究.首先给出了计量逻辑中真度定义的均值表示形式;其次利用真度定义的均值表示形式推广了连接有限值逻辑系统和连续值逻辑系统中真度理论的极限定理,并得到了真度的对称性定理;最后在n-值命题逻辑系统和连续值命题逻辑系统中给出了析取规范型命题和合取规范型命题的真度的计算公式. 展开更多

关键词 计量逻辑 真度 均值表示 极限定理 对称性定理 规范型 计算公式

在线阅读 下载PDF 职称材料

计量逻辑学(Ⅰ) 被引量：200

2

作者 王国俊 《工程数学学报》 CSCD 北大核心 2006年第2期191-215,共25页

在多值命题逻辑系统中提出了公式的真度概念。基于此,提出了公式间的相似度与伪度量,研究了所得的逻辑度量空间的基本性质,提出并研究了逻辑理论的发散度与相容度概念,给出了三种近似推理的模式,初步建立了计量逻辑学理论。

关键词 真度 相似度 伪度量 发散度 相容度 计量逻辑

在线阅读 下载PDF 职称材料

概率计量逻辑研究进展简述 被引量：3

3

作者 周红军 兰淑敏 马琴 《模糊系统与数学》 北大核心 2017年第1期1-17,共17页

不确定性在现实生活中无处不在,将概率论和多值命题逻辑交叉融合来建立不确定性表示与推理模型是不确定性数学领域多年来的研究热点之一。本文将分别从语义计量化、模态形式化与代数公理化三角度简要地介绍概率测度与多值命题逻辑交叉... 不确定性在现实生活中无处不在,将概率论和多值命题逻辑交叉融合来建立不确定性表示与推理模型是不确定性数学领域多年来的研究热点之一。本文将分别从语义计量化、模态形式化与代数公理化三角度简要地介绍概率测度与多值命题逻辑交叉结合方面的研究成果——概率计量逻辑,以及其在逻辑理论的相容度、程度化推理方法、极大相容逻辑理论的刻画、逻辑代数的Stone拓扑表示、相似收敛及其Cauchy完备化等领域中的若干应用与拓展。最后,本文将列出今后有待进一步研究的问题。 展开更多

关键词 非经典数理逻辑 多值命题逻辑 计量逻辑 态理论 剩余格

原文传递

计量逻辑学中的近似推理 被引量：9

4

作者 韩邦合 李永明 《模糊系统与数学》 CSCD 北大核心 2010年第5期1-7,共7页

在多值逻辑系统中给出了计量逻辑学中单个公式到Γ结论集的距离公式,在此基础上,给出发散度的简化形式,讨论了计量逻辑学中三种近似推理模式之间的关系。

关键词 真度 相似度 伪度量 发散度 计量逻辑学 近似推理

原文传递

计量逻辑学中的雪崩逻辑公式 被引量：4

5

作者 王庆平 王国俊 《模糊系统与数学》 CSCD 北大核心 2012年第4期12-19,共8页

将密码学中满足严格雪崩准则的布尔函数的概念引入到计量逻辑学之中,提出了雪崩逻辑公式的概念,并研究了雪崩逻辑公式的真度及其性质。证明了至少含有三个原子公式的雪崩逻辑公式的真度之集为H1={k/2n-12n-3≤k≤3×2n-3;n=3,4,…}... 将密码学中满足严格雪崩准则的布尔函数的概念引入到计量逻辑学之中,提出了雪崩逻辑公式的概念,并研究了雪崩逻辑公式的真度及其性质。证明了至少含有三个原子公式的雪崩逻辑公式的真度之集为H1={k/2n-12n-3≤k≤3×2n-3;n=3,4,…},在此基础上,通过引入函数ξ建立了n(n≥3)元雪崩布尔函数个数的表达式,给出了雪崩逻辑公式的构造方法。最后,研究了反射变换下k阶雪崩逻辑公式的性质。 展开更多

关键词 计量逻辑学 雪崩逻辑公式 真度 反射变换 雪崩布尔函数

原文传递

计量逻辑学中的误差累计理论 被引量：3

6

作者 韩邦合 李永明 《计算机工程与应用》 CSCD 北大核心 2009年第23期9-10,66,共3页

在二值逻辑系统中,初步给出了计量逻辑学中的误差累计理论。证明了逻辑结论(作为Γ结论)的误差不会超过各前提误差的和。

关键词 真度 相似度 伪度量 误差累计 计量逻辑学 近似推理

在线阅读 下载PDF 职称材料

计量逻辑学的基本思想和研究综述 被引量：10

7

作者 王国俊 《模糊系统与数学》 CSCD 北大核心 2012年第4期1-11,共11页

介绍计量逻辑学的形成、特点及其与模糊逻辑的异同。关于命题逻辑的计量化理论,针对不同的系统论述了真度理论和相似度理论,特别是介绍了作者提出的命题逻辑系统L*以及与其配套的R0代数理论和完备性定理。介绍了逻辑理论在逻辑度量空间... 介绍计量逻辑学的形成、特点及其与模糊逻辑的异同。关于命题逻辑的计量化理论,针对不同的系统论述了真度理论和相似度理论,特别是介绍了作者提出的命题逻辑系统L*以及与其配套的R0代数理论和完备性定理。介绍了逻辑理论在逻辑度量空间中的发散度和相容的理论以及三种近似推理模式。回顾了谓词逻辑计量化的进程和有待解决的问题。提出了模态逻辑和模型检验的计量化问题以及有待进一步探讨的几个研究课题。 展开更多

关键词 计量逻辑学 真度 相似度 逻辑度量空间 相容度 谓词逻辑

原文传递

计量逻辑学中的收敛理论 被引量：2

8

作者 韩邦合 李永明 《计算机工程与应用》 CSCD 北大核心 2009年第30期4-5,12,共3页

初步给出了计量逻辑学中的收敛理论。提出了逻辑度量空间中的度量收敛,赋值收敛和网收敛概念,对它们做出刻画并初步论证了它们之间的关系。

关键词 真度 相似度 伪度量 度量收敛 赋值收敛 网收敛 计量逻辑学 近似推理

在线阅读 下载PDF 职称材料

经典计量逻辑学中的仿射变换

9

作者 王庆平 张敏 《模糊系统与数学》 CSCD 北大核心 2016年第1期129-136,共8页

首先给出了(0,1)-矩阵和(⊥,┬)-矩阵的定义,并研究了这两类矩阵的性质。在此基础上,给出了经典计量逻辑度量空间中仿射变换Φ的定义,证明了仿射变换Φ是逻辑公式集F(S)上的自同构映射,而且逻辑公式的真度、逻辑公式之间的相似度和伪距... 首先给出了(0,1)-矩阵和(⊥,┬)-矩阵的定义,并研究了这两类矩阵的性质。在此基础上,给出了经典计量逻辑度量空间中仿射变换Φ的定义,证明了仿射变换Φ是逻辑公式集F(S)上的自同构映射,而且逻辑公式的真度、逻辑公式之间的相似度和伪距离在仿射变换Φ下保持不变。 展开更多

关键词 计量逻辑学 仿射变换 自同构映射 伪距离

原文传递

收入准则征求意见稿的会计计量逻辑分析 被引量：1

10

作者 马旋灵 《新会计》 2016年第8期37-40,共4页

财政部于2015年12月24日发布了《企业会计准则第14号——收入(修订)(征求意见稿)》,本文对其合同和客户两大概念的重塑,以及涵盖客户合同识别、履约义务识别、交易价格确定、交易价格分摊、收入确认标准的五步法计量逻辑进行了分析。认... 财政部于2015年12月24日发布了《企业会计准则第14号——收入(修订)(征求意见稿)》,本文对其合同和客户两大概念的重塑,以及涵盖客户合同识别、履约义务识别、交易价格确定、交易价格分摊、收入确认标准的五步法计量逻辑进行了分析。认为征求意见稿趋同国际会计准则,能够减少利用现行准则中风险与报酬转移的确认条件和完工进度的利润操纵,有助于完善准则框架体系和收入的可比性。 展开更多

关键词 收入准则征求意见稿 计量逻辑 会计准则

在线阅读 下载PDF 职称材料

计量逻辑学中的反射变换

11

作者 王庆平 《模糊系统与数学》 北大核心 2018年第6期33-40,共8页

首先在连续值L*逻辑度量空间中,给出了公式集F(S)上的反射变换φ:F(S)→F(S)的概念,证明了该反射变换φ是F(S)上的自同构映射。其次证明了计量逻辑学中公式的真度,公式间的相似度与伪距离在反射变换下保持不变,而且证明了在反射变换下... 首先在连续值L*逻辑度量空间中,给出了公式集F(S)上的反射变换φ:F(S)→F(S)的概念,证明了该反射变换φ是F(S)上的自同构映射。其次证明了计量逻辑学中公式的真度,公式间的相似度与伪距离在反射变换下保持不变,而且证明了在反射变换下三种近似推理是等价的。最后,研究了反射变换φ的不动点的性质。 展开更多

关键词 计量逻辑学 反射变换 真度 近似推理 不动点

原文传递

计量逻辑学中的形式化推演方法

12

作者 于鹏 《宁夏大学学报（自然科学版）》 CAS 2014年第3期209-211,215,共4页

基于经典逻辑系统中的计量逻辑学,探讨了计量逻辑学中的形式化推理问题.结果表明,在注重数值计算的计量逻辑学中同样存在类似于语构理论的形式化推演方法,并给出了形式化推演的性质.

关键词 公式真度 计量逻辑学 形式化推理 经典命题逻辑系统

在线阅读 下载PDF 职称材料

银行业受益权投资业务的会计计量逻辑探析

13

作者 马旋灵 《金融会计》 2016年第4期35-39,共5页

我国银行业受益权投资业务自2014年以来伴随金融工具创新浪潮蓬勃发展,但其会计计量实务多有谬误、研究鲜有涉及。本文简述了银行业受益权投资业务的概念、种类与要素,厘清了涵盖结构化主体认定、控制与影响判断、债务权益投资分类的受... 我国银行业受益权投资业务自2014年以来伴随金融工具创新浪潮蓬勃发展,但其会计计量实务多有谬误、研究鲜有涉及。本文简述了银行业受益权投资业务的概念、种类与要素,厘清了涵盖结构化主体认定、控制与影响判断、债务权益投资分类的受益权会计计量逻辑框架,讨论了受益权会计计量中控制与性质两大逻辑判断。本文探索了银行业受益权投资业务的会计计量逻辑,对创新金融工具的会计计量具有一定参考价值。 展开更多

关键词 受益权投资 会计计量逻辑 银行业

在线阅读 下载PDF 职称材料

真度约简与计量逻辑学推理模式的关系

14

作者 于鹏 《陕西科技大学学报（自然科学版）》 2011年第5期145-147,152,共4页

基于计量逻辑学公式真度理论给出了n值Lukasiewicz命题集的真度约简方法和计量逻辑学中近似推理的模式,讨论了真度约简与近似推理模式之间的关系,为在F(S)中展开近似推理提供了新的途径.

关键词 计量逻辑学 近似推理 命题集约简 LUKASIEWICZ 命题集

在线阅读 下载PDF 职称材料

错接线工况下电能表计量逻辑的分析 被引量：1

15

作者 褚兴旺 《农村电气化》 2023年第6期77-80,共4页

介绍了错接线在线诊断模型,该模型依托高频采集的电压、电流、有功功率、无功功率等数据,结合大数据分析技术,实现错接线现场停电核查转变至线上诊断。但在差错电量计算的过程中,发现了2种电能表计量逻辑错误的情况,通过用电信息采集系... 介绍了错接线在线诊断模型,该模型依托高频采集的电压、电流、有功功率、无功功率等数据,结合大数据分析技术,实现错接线现场停电核查转变至线上诊断。但在差错电量计算的过程中,发现了2种电能表计量逻辑错误的情况,通过用电信息采集系统数据测算、实验室检测2种方式,确认了总电量与分相电量累积错误的具体原因。依托高频曲线数据,重新通过积分方式准确复原了应计电量。 展开更多

关键词 远程抄表 错接线 在线诊断 计量逻辑

在线阅读 下载PDF 职称材料

Borel型概率计量逻辑 被引量：18

16

作者 周红军 王国俊 《中国科学：信息科学》 CSCD 2011年第11期1328-1342,共15页

视全体赋值之集为通常乘积拓扑空间,利用该空间上的Borel概率测度在二值命题逻辑中引入了公式的概率真度概念.该方法既克服了计量逻辑学要求赋值集上的概率测度必须为均匀概率测度的无穷可数乘积的局限,又弥补了概率逻辑学只讲局部而缺... 视全体赋值之集为通常乘积拓扑空间,利用该空间上的Borel概率测度在二值命题逻辑中引入了公式的概率真度概念.该方法既克服了计量逻辑学要求赋值集上的概率测度必须为均匀概率测度的无穷可数乘积的局限,又弥补了概率逻辑学只讲局部而缺乏整体性的不足;证明了计量逻辑学中公式的真度、随机真度以及概率逻辑学中公式的概率等概念都可作为本文提出的概率真度的特例而纳入到统一的框架中,从而实现了计量逻辑学与概率逻辑学的融合与统一;证明了逻辑闭理论与赋值空间中的拓扑闭集是一一对应的以及概率真度函数与赋值空间上的Borel概率测度是一样多的等若干结论;本文的第4节给出了公式的概率真度的公理化定义,证明了公式集上满足Kolmogorov公理的任一[0,1]值函数均可由赋值空间上的某Borel概率测度按本文的方法所表出,从而建立了二值命题逻辑框架下的概率计量逻辑的理论体系. 展开更多

关键词 概率真度 有限分离性质 概率逻辑 计量逻辑 概率计量逻辑

原文传递

多值逻辑中基于Camberra模糊距离的计量化方法 被引量：7

17

作者 赵彬 于鹏 《电子学报》 EI CAS CSCD 北大核心 2018年第10期2305-2315,共11页

本文以模糊集间的Camberra距离为工具,给出了多值Lukasiewicz逻辑系统中公式间的Camberra-距离,Camberra-相似度与Camberra-真度的概念,讨论了Camberra-相似度与Camberra-真度的性质,证明了每一个公式φ的Camberra-真度都等于一些互不... 本文以模糊集间的Camberra距离为工具,给出了多值Lukasiewicz逻辑系统中公式间的Camberra-距离,Camberra-相似度与Camberra-真度的概念,讨论了Camberra-相似度与Camberra-真度的性质,证明了每一个公式φ的Camberra-真度都等于一些互不相容的公式的Camberra-真度之和.然后以Camberra-真度为依托,研究了Lukasiewicz逻辑度量空间的一些性质,证明了三值Lukasiewicz逻辑度量空间没有孤立点,以及每一个球形领域都是不相容理论等结论.为在公式集F(S)上展开程度化推理提供了一种新的方法. 展开更多

关键词 计量逻辑学 Camberra模糊距离 近似推理 相容理论

在线阅读 下载PDF 职称材料

基于n-值ukasiewicz命题逻辑的概率计量化推理系统 被引量：5

18

作者 周红军 《模式识别与人工智能》 EI CSCD 北大核心 2013年第6期521-528,共8页

通过把n-值ukasiewicz命题逻辑中公式的概率真度函数抽象为模态词,把概率真度函数的基本恒等式抽象为关于模态词的公理,建立一个模态化的形式推理系统,构建其语构理论及语义理论,证明该系统关于概率真度函数的完备性定理,从而为概率... 通过把n-值ukasiewicz命题逻辑中公式的概率真度函数抽象为模态词,把概率真度函数的基本恒等式抽象为关于模态词的公理,建立一个模态化的形式推理系统,构建其语构理论及语义理论,证明该系统关于概率真度函数的完备性定理,从而为概率计量逻辑奠定逻辑基础. 展开更多

关键词 Lukasiewicz命题逻辑 概率计量逻辑 Borel型概率真度

在线阅读 下载PDF 职称材料

二值命题逻辑中逻辑理论的计量化及应用 被引量：1

19

作者 李骏 王菊花 《计算机工程与应用》 CSCD 2014年第24期42-46,共5页

在二值命题逻辑系统中,利用势为2的均匀概率测度空间的无穷乘积,通过计算理论Γ的全体模型占整个赋值空间的测度定义了理论Γ的真度,进而利用理论的真度简化了理论的发散度和相容度的计算公式,给出了由推理的前提集的真度估计其逻辑结... 在二值命题逻辑系统中,利用势为2的均匀概率测度空间的无穷乘积,通过计算理论Γ的全体模型占整个赋值空间的测度定义了理论Γ的真度,进而利用理论的真度简化了理论的发散度和相容度的计算公式,给出了由推理的前提集的真度估计其逻辑结论真度的表达式。 展开更多

关键词 计量逻辑学 逻辑理论 理论的真度 相容度

在线阅读 下载PDF 职称材料

(3n+1)值逻辑系统R_0L中公式的真度性质 被引量：8

20

作者 吴洪博 周建仁 张琼 《电子学报》 EI CAS CSCD 北大核心 2011年第10期2230-2234,2229,共6页

基于计量逻辑学的思想,在(3n+1)值模糊命题逻辑系统R0L中引入了公式真度的概念,研究了其主要性质;给出了公式真度的积分表示,并证明了(3n+1)值逻辑系统R0L中的真度MP规则及真度HS规则;利用真度定义了公式间的相似度与伪距离,从而为在(3n... 基于计量逻辑学的思想,在(3n+1)值模糊命题逻辑系统R0L中引入了公式真度的概念,研究了其主要性质;给出了公式真度的积分表示,并证明了(3n+1)值逻辑系统R0L中的真度MP规则及真度HS规则;利用真度定义了公式间的相似度与伪距离,从而为在(3n+1)值逻辑系统R0L中建立近似推理理论提供了一种可能的框架. 展开更多

关键词 计量逻辑学 R0L系统 真度 相似度 伪距离

在线阅读 下载PDF 职称材料