共查询到19条相似文献,搜索用时 62 毫秒
1.
2.
利用势为3的非均匀概率空间的无穷乘积在三值标准序列逻辑系统中引入了公式的概率真度概念,证明了全体公式的概率真度值之集在[0,1]中没有孤立点;利用概率真度定义了概率相似度和伪距离,进而建立了概率逻辑度量空间,证明了该空间中没有孤立点,为三值命题的近似推理理论提供了一种可能的框架. 相似文献
3.
在逻辑系统Lukasiewicz中,利用序结构知识和赋值函数的性质来研究公式间的伪距离,避开了n重积分的复杂计算,推出了积分真度与伪距离之间以及伪距离相互之间的若干等式与不等式,特别是得到了伪距离关于运算""""的若干新性质,从而给出了在伪距离空间中运算"■""→""∨""∧"""""关于伪距离均连续这一重要定理的简洁证明。 相似文献
4.
《数学的实践与认识》2015,(20)
基于条件概率的思想,利用赋值集的随机化方法,在n值命题G(o|¨)del逻辑系统中引入公式的条件随机真度,证明了条件随机真度的MP规则和HS规则.引入公式间的条件随机相似度和条件伪距离,建立了条件随机逻辑度量空间,证明了条件随机逻辑度量空间中二元运算的连续性. 相似文献
5.
黎丽 《纯粹数学与应用数学》2014,(6):573-580
在n值命题逻辑系统中命题的随机真度、随机逻辑度量空间的基础上,给出了修正的n值G¨odel命题逻辑系统中命题的条件真度、条件相似度的概念并讨论了其性质,建立了条件随机逻辑度量空间。 相似文献
6.
给出了经典命题逻辑中公式的向量表示形式,利用向量表示形式给出公式的真度和公式间伪距离的定义,说明了这种定义与原有的概率形式的定义等价,得到了公式间的伪距离的一些简单性质以及在伪距离空间(F(s),ρ)中,逻辑连接词都是连续的. 相似文献
7.
基于条件概率的思想,利用赋值集的随机化方法,在经典命题逻辑系统中引入命题的D-条件真度和D-条件相似度及伪距离,建立了D-Γ逻辑度量空间;推出了D-条件真度的若干性质,证明了D-Γ逻辑度量空间中逻辑运算的连续性;并在DΓ-逻辑度量空间中提出了三种不同类型的近似推理模式,证明了三种近似推理模式的等价性。 相似文献
8.
9.
10.
利用概率空间的无穷乘积,在经典二值命题逻辑中引入了公式的Γ-随机真度概念以及公式间的Γ-相似度概念.进而导出了全体公式集上的一种伪距离,建立了逻辑度量空间.最后提出了基于Γ-随机真度的三种不同的近似推理模式,并且证明了这三种近似推理模式之间是相互等价的. 相似文献
11.
12.
13.
基于经典命题逻辑的真度理论,讨论了经典命题逻辑系统当中公式集的约简问题。提出了真度约简及α-真度约简的概念,为公式集的约简提供了一种可行的操作方法。 相似文献
14.
15.
16.
17.
关于随机真度的若干注记 总被引:1,自引:1,他引:0
以随机真度为基础,在三值R_0命题逻辑系统中给出了三种不同的近似推理模式并讨论了它们之间的关系,其次利用根的性质得出误差定义的若干推理结果. 相似文献
18.
19.
Abstract In this article, we establish several explicit conditional function space integration formulas for functionals defined on a very general function space C a,b [0,T]. The formulas we obtain are rather simple and don't involve function space integrals. In particular we obtain a formula for the conditional function space integral of each of the functionals exp{∫0 T x(t)db(t)}, exp{?[∫0 T x(t) db(t)]2}, and exp{? ∫0 T x2 (t) db(t)} which arise naturally in quantum mechanics. 相似文献