首页 | 本学科首页   官方微博 | 高级检索  
相似文献
 共查询到10条相似文献,搜索用时 15 毫秒
1.
Lukasiewicz n值命题逻辑中命题的真度理论   总被引:37,自引:0,他引:37  
李骏  黎锁平  夏亚峰 《数学学报》2004,47(4):769-780
利用势为 n的均匀概率空间的无穷乘积在 Lukasiewicz n值命题逻辑中引入了公式的真度概念,当3≤n≤17时证明了全体公式的真度值之集在[0,1]上是稠密的,并给出了公式真度的表达通式;利用真度定义了公式间的相似度,进而导出了全体公式集上的一种伪距离,为n值Lukasiewicz命题逻辑系统的近似推理理论提供了一种可能的框架。  相似文献   

2.
多值逻辑系统中公式的μ-真度理论   总被引:2,自引:0,他引:2  
通过在n值和模糊值命题逻辑系统的全体赋值集Ω上定义概率测度μ,定义了任一命题公式A在两种逻辑系统中统一的μ-真度,研究了公式的μ-真度的基本性质及对应的推理规则,定义了两公式间的三种μ-相似度和伪度量,建立了较广泛意义上的逻辑度量空间,指出当概率测度μ为均匀概率测度时为计量逻辑学中的逻辑度量空间,最后提出理论的μ-发散度并得到理论的μ-发散度的计算公式.  相似文献   

3.
Lukasiewicz三值命题逻辑中命题的真度理论   总被引:14,自引:0,他引:14  
利用势为3的均匀概率空间的无穷乘积在Lukasiewicz三值命题逻辑中引入了公式的真度概念,证明了全体公式的真度值之集在[0,1]上是稠密的,并给出真度的表达式;利用真度定义公式问的相似度,进而导出全体公式集上的一种伪距离,为三值命题的近似推理理论提供一种可能的框架。  相似文献   

4.
三值R_0命题逻辑系统中理论的随机发散度   总被引:3,自引:0,他引:3  
在三值R_0命题逻辑系统中,给出了随机相似度和随机逻辑伪距离的基本性质.然后在随机逻辑度量空间中提出了理论的随机发散度,指出全体原子公式之集在随机逻辑度量空间中未必是全发散的,其是否全发散取决于给定的随机数序的分布.  相似文献   

5.
通过引入赋值密度函数、边缘密度函数等概念,给出了连续值命题逻辑系统中公式概率真度的定义,研究了概率真度的推理规则并证明了全体公式的概率真度之集在[0,1]中的稠密性,在此基础上给出了3种相似度,讨论了其性质及关系,并由此定义了3种伪距离,确定了三者之间的比例关系,为推理程度的数值化提供了依据.  相似文献   

6.
逻辑系统G3在非均匀概率空间下命题的真度理论   总被引:2,自引:0,他引:2  
左卫兵 《数学研究》2008,41(2):205-211
在离散概率测度空间下定义了三值逻辑(p,q,r)测度,并相应地定义了命题逻辑系统中公式的真度概念;在三值逻辑(1/6.1/3.1/2)测度和(1/7.2/7.4/7)测度下证明了命题逻辑系统G3中全体公式的真度值之集在[0.1]上是稠密的,并给出真度的表达式;利用真度定义公式的相似度和一种伪距离,为—般离散概率空间下三值命题的近似推理理论提供一种可能的框架.  相似文献   

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

8.
引入了平衡逻辑公式的概念,证明了和一个平衡逻辑公式等价的逻辑公式是平衡逻辑公式.并且n元平衡逻辑公式中等价类关于(一),ν,Λ,→运算封闭,等价类之集[A](A是n元平衡逻辑公式)关于包含序在ν,Λ下构成一个格.证明了n元平衡逻辑公式只占全体n元逻辑公式的很小一部分,其比例随n的增大而趋向于零.其次,n元平衡逻辑公式的真度总是等于1/2,任一n元平衡逻辑公式的任意小的邻城内都有非平衡逻辑公式,但是这些公式的真度随n的增大而趋向于1/2.最后,给出了平衡逻辑公式的表示定理.  相似文献   

9.
三值逻辑系统W3中的随机化研究   总被引:4,自引:1,他引:3  
利用赋值集的随机化方法,在三值逻辑W3中提出了公式的随机真度,证明了所有公式的随机真度之集在[0,1]中没有孤立点;给出了两公式间的DW3-相似度与伪距离的概念,并建立了DW3-逻辑度量空间,证明了此空间没有孤立点.  相似文献   

10.
利用Godel n值命题逻辑赋值域上概率的无穷乘积,在Godeln值命题逻辑系统中引入命题公式的随机真度和不可靠度概念。证明在Godeln值逻辑系统中,一个有效推理结论的不可靠度不超过各前提的不可靠度与其必要度的乘积之和。通过不可靠度在全体公式集上建立伪距离,给出基于伪距离和不可靠度的两种近似推理模式。  相似文献   

设为首页 | 免责声明 | 关于勤云 | 加入收藏

Copyright©北京勤云科技发展有限公司  京ICP备09084417号