排序方式: 共有174条查询结果,搜索用时 15 毫秒
61.
62.
63.
64.
将已有的不确定性测度概念引入到了Lukasiewicz命题逻辑中的全体赋值之集上,然后利用McNaughton函数关于该不确定性测度的Choquet积分定义了命题的Choquet积分真度概念.证明了当赋值空间上的不确定性测度满足有限可加性时Choquet积分真度函数就具有良好性质,由此可诱导出命题集上的一个伪距离,进而可建立逻辑度量空间并展开程度化推理,特别是证明了当赋值空间上的不确定性测度取为Borel概率测度时Choquet积分真度函数就退化为概率计量逻辑中的Borel概率真度函数.本文是已有命题逻辑概率计量化工作的继续与深入,为表示逻辑命题间不确定性的非线性关系提供了一种推理框架. 相似文献
65.
66.
首次将谓词逻辑系统中一阶语言的有限解释按照其论域的势进行分层, 提出每一层解释类下公式的n真度, 最终给出公式向量真度的定义, 更直观精确地刻画一阶公式的真实程度。接着证明向量真度的一些基本性质, 指出向量真度保持谓词逻辑形式推理的MP规则、HS规则与推广规则, 从而为进一步在谓词逻辑系统中开展近似推理研究提供一种可能的框架。 相似文献
67.
基于条件概率的思想,利用赋值集的随机化方法,在Lukasiewicz n值命题逻辑系统中引入公式的条件随机真度,证明了条件随机真度的MP规则和HS规则。引入公式间的条件随机相似度和条件伪距离,建立了条件随机逻辑度量空间,推导出条件伪距离的若干性质,证明了条件随机逻辑度量空间中逻辑运算的连续性,初步研究了给定条件下的近似推理理论。 相似文献
68.
通过引入赋值密度函数、边缘密度函数等概念,给出了几种常见的命题逻辑系统中公式概率真度的定义,研究了概率真度的推理规则并证明了全体公式的概率真度之集在[0,1]中的稠密性,在此基础上给出了相似度的定义并讨论了其性质,为推理程度的数值化提供了依据。 相似文献
69.
在命题逻辑系统L*中引入了公式的Γ-演绎真度概念,研究了Γ-演绎真度的若干特征性质,并给出了真度推理规则。 相似文献
70.
基于乘积逻辑系统研究公式的真度函数理论。在乘积逻辑系统中给出真度函数的概念,得到真度函数的一系列性质,证明τ-完备性定理,说明τ-语构与τ-语义的和谐性。 相似文献