共查询到20条相似文献,搜索用时 46 毫秒
1.
二值命题逻辑中的三种Γ近似推理模式及其等价性 总被引:6,自引:0,他引:6
在二值命题逻辑中引入了公式的Γ蕴涵真度,证明了全体有限理论的蕴涵真度值在[0,1]中稠密.在Γ蕴涵真度的基础上,定义了公式间的Γ蕴涵相似度及伪距离.最后讨论了基于Γ蕴涵真度的三种近似推理模式,得出了这三种近似推理模式之间是等价的结论. 相似文献
2.
将多值逻辑中的∑-α重言式理论与计量逻辑学中的真度理论相结合,在n值Lukasiewicz命题逻辑系统中引入了公式相对于有限理论Γ的Γ-绝对真度概念,讨论了它的若干性质.利用Γ-绝对真度定义了公式间的Γ-绝对相似度与伪距离,为进一步建立n值Lukasiewicz命题逻辑系统相对于有限理论Γ的近似推理奠定了基础. 相似文献
3.
利用概率空间的无穷乘积,在经典二值命题逻辑中引入了公式的Γ-随机真度概念以及公式间的Γ-相似度概念.进而导出了全体公式集上的一种伪距离,建立了逻辑度量空间.最后提出了基于Γ-随机真度的三种不同的近似推理模式,并且证明了这三种近似推理模式之间是相互等价的. 相似文献
4.
命题逻辑系统中理论的发散度与近似推理的若干性质 总被引:1,自引:1,他引:0
基于演绎定理和完备性定理研究了二值命题逻辑系统、Lukasiewicz命题逻辑系统和R0-命题逻辑系统的理论的发散度与近似推理,获得了用Г中公式的真度表示其发散度的计算公式和若干可用于近似推理的不等式。 相似文献
5.
在三值Godel命题逻辑系统中,推出了公式随机真度的推理规则,证明了随机逻辑度量空间中逻辑运算的连续性;研究了随机逻辑度量空间理论的发散度,提出了三种不同类型的近似推理模式,并证明了三种推理模式的等价性.这将进一步完善三值Gōdel逻辑系统中随机真度和随机逻辑度量空间的理论. 相似文献
6.
逻辑系统L_3中公式的随机真度及近似推理 总被引:2,自引:0,他引:2
崔美华 《高校应用数学学报(A辑)》2010,25(4)
利用赋值集的随机化方法,在三值Lukasiewicz命题逻辑系统中引入公式的随机真度,证明了随机真度的MP规则、HS规则及交推理规则;同时引入公式间的随机相似度和伪距离,建立了随机逻辑度量空间,推导出随机相似度的若干性质,证明了随机逻辑度量空间中逻辑运算的连续性;并在随机逻辑度量空间中提出了三种不同类型的近似推理模式,证明了三种近似推理模式的等价性. 相似文献
7.
8.
利用赋值集的随机化方法,在n值Lukasiewicz命题逻辑系统中引入公式的随机真度,证明了随机真度的MP规则、HS规则及交推理规则;同时引入公式间的随机相似度和随机伪距离,建立了随机逻辑度量空间,推导出随机相似度的若干性质,证明了随机逻辑度量空间中逻辑运算的连续性;并在随机逻辑度量空间中提出了三种不同类型的近似推理模式,证明了三种近似推理模式的等价性. 相似文献
9.
二值命题逻辑系统中理论Г的带误差结论集是近似推理研究的基本对象,对其结构进行分析是近似推理研究中需要解决的问题。通过公式是有限理论Г的带误差结论的充要条件,利用集合划分方法,对有限理论Г的带误差结论集分别基于真度相等关系和逻辑等价关系进行分类,得到了基于两类等价关系的包含等价类个数和代表元表示形式的分类定理,进一步体现了二值命题逻辑系统近似推理研究中理论Г的带误差结论集的特征。 相似文献
10.
11.
12.
13.
在n值Lukasiewicz命题逻辑系统L_n中运用公式相对于局部有限理论的Γ-真度定义的等价形式,讨论了Γ-真度的部分重要性质,并给出了Γ-真度的推理规则。 相似文献
14.
逻辑系统G3在非均匀概率空间下命题的真度理论 总被引:2,自引:0,他引:2
在离散概率测度空间下定义了三值逻辑(p,q,r)测度,并相应地定义了命题逻辑系统中公式的真度概念;在三值逻辑(1/6.1/3.1/2)测度和(1/7.2/7.4/7)测度下证明了命题逻辑系统G3中全体公式的真度值之集在[0.1]上是稠密的,并给出真度的表达式;利用真度定义公式的相似度和一种伪距离,为—般离散概率空间下三值命题的近似推理理论提供一种可能的框架. 相似文献
15.
利用势为3的非均匀概率空间的无穷乘积在三值标准序列逻辑系统中引入了公式的概率真度概念,证明了全体公式的概率真度值之集在[0,1]中没有孤立点;利用概率真度定义了概率相似度和伪距离,进而建立了概率逻辑度量空间,证明了该空间中没有孤立点,为三值命题的近似推理理论提供了一种可能的框架. 相似文献
16.
17.
关于随机真度的若干注记 总被引:1,自引:1,他引:0
以随机真度为基础,在三值R_0命题逻辑系统中给出了三种不同的近似推理模式并讨论了它们之间的关系,其次利用根的性质得出误差定义的若干推理结果. 相似文献
18.
19.
将模糊命题逻辑中的∑-a-重言式理论与计量逻辑学中的真度理论相结合,在模糊命题逻辑系统Ln^*中引入了公式集相对于有限理论的∑r-模糊真度理论,讨论了其中的主要性质。并利用真度关系:τr(A)+τr(A→B)≤1+τr(B)在模糊命题逻辑系统Ln^*中的公式集F(S)上引入相对于有限理论的 Г-伪距离概念,从而为在模糊命题逻辑系统Ln^*中建立相对于有限理论的近似推理框架奠定了基础。 相似文献
20.
利用Godel n值命题逻辑赋值域上概率的无穷乘积,在Godeln值命题逻辑系统中引入命题公式的随机真度和不可靠度概念。证明在Godeln值逻辑系统中,一个有效推理结论的不可靠度不超过各前提的不可靠度与其必要度的乘积之和。通过不可靠度在全体公式集上建立伪距离,给出基于伪距离和不可靠度的两种近似推理模式。 相似文献