首页 | 本学科首页   官方微博 | 高级检索  
相似文献
 共查询到16条相似文献,搜索用时 109 毫秒
1.
三值R_0命题逻辑系统中理论的随机发散度   总被引:3,自引:0,他引:3  
在三值R_0命题逻辑系统中,给出了随机相似度和随机逻辑伪距离的基本性质.然后在随机逻辑度量空间中提出了理论的随机发散度,指出全体原子公式之集在随机逻辑度量空间中未必是全发散的,其是否全发散取决于给定的随机数序的分布.  相似文献   

2.
在三值Godel命题逻辑系统中,推出了公式随机真度的推理规则,证明了随机逻辑度量空间中逻辑运算的连续性;研究了随机逻辑度量空间理论的发散度,提出了三种不同类型的近似推理模式,并证明了三种推理模式的等价性.这将进一步完善三值Gōdel逻辑系统中随机真度和随机逻辑度量空间的理论.  相似文献   

3.
利用赋值集的随机化方法,在n值Lukasiewicz命题逻辑系统中引入公式的随机真度,证明了随机真度的MP规则、HS规则及交推理规则;同时引入公式间的随机相似度和随机伪距离,建立了随机逻辑度量空间,推导出随机相似度的若干性质,证明了随机逻辑度量空间中逻辑运算的连续性;并在随机逻辑度量空间中提出了三种不同类型的近似推理模式,证明了三种近似推理模式的等价性.  相似文献   

4.
逻辑系统L_3中公式的随机真度及近似推理   总被引:2,自引:0,他引:2  
利用赋值集的随机化方法,在三值Lukasiewicz命题逻辑系统中引入公式的随机真度,证明了随机真度的MP规则、HS规则及交推理规则;同时引入公式间的随机相似度和伪距离,建立了随机逻辑度量空间,推导出随机相似度的若干性质,证明了随机逻辑度量空间中逻辑运算的连续性;并在随机逻辑度量空间中提出了三种不同类型的近似推理模式,证明了三种近似推理模式的等价性.  相似文献   

5.
经典推理模式的随机化研究及其应用(Ⅱ)   总被引:7,自引:2,他引:5  
证明了D-逻辑度量空间中三种近似推理模式是等价的,指出了全体原子公式之集在D-逻辑度量空间中未必是全发散的.  相似文献   

6.
基于条件概率的思想,利用赋值集的随机化方法,在n值命题G(o|¨)del逻辑系统中引入公式的条件随机真度,证明了条件随机真度的MP规则和HS规则.引入公式间的条件随机相似度和条件伪距离,建立了条件随机逻辑度量空间,证明了条件随机逻辑度量空间中二元运算的连续性.  相似文献   

7.
四值非线性序集逻辑系统的随机化   总被引:2,自引:1,他引:1  
利用赋值集的随机化方法,在四值非线性序集逻辑系统L24中提出了公式的随机真度和随机距离,建立了非线性序集逻辑系统上的随机逻辑度量空间.它是计量逻辑学和随机真度的相关理论在非线性序集逻辑系统上的推广.  相似文献   

8.
三值G(o)del命题逻辑系统的随机化   总被引:5,自引:0,他引:5  
利用赋值集的随机化方法,在三值G(o)del命题逻辑系统中提出了公式的随机真度,给出了两公式间的随机相似度,建立了随机逻辑度量空间,因此可以把计量逻辑学中的随机化研究纳入于多值逻辑的研究体系之中.  相似文献   

9.
D-逻辑度量空间中的相容理论   总被引:4,自引:2,他引:2  
在D-逻辑度量空间中提出了理论的D-开放度,得出一个理论的D-开放度与它的D-发散度取值相等;提出了理论的D-相容度,得出D-相容度在D-逻辑度量空间中能保持逻辑度量空间中的基本性质.  相似文献   

10.
利用赋值集的随机化方法,在R0型n值命题逻辑系统和R0型模糊命题逻辑系统中提出了公式的随机真度和随机距离的概念,建立了随机度量空间.指出当取均匀概率时,随机真度就转化为计量逻辑学中的真度,从而建立了更一般的随机逻辑度量空间.  相似文献   

11.
利用势为3的非均匀概率空间的无穷乘积在三值标准序列逻辑系统中引入了公式的概率真度概念,证明了全体公式的概率真度值之集在[0,1]中没有孤立点;利用概率真度定义了概率相似度和伪距离,进而建立了概率逻辑度量空间,证明了该空间中没有孤立点,为三值命题的近似推理理论提供了一种可能的框架.  相似文献   

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

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

14.
关于随机真度的若干注记   总被引:1,自引:1,他引:0  
以随机真度为基础,在三值R_0命题逻辑系统中给出了三种不同的近似推理模式并讨论了它们之间的关系,其次利用根的性质得出误差定义的若干推理结果.  相似文献   

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

16.
在n值命题逻辑系统中命题的随机真度、随机逻辑度量空间的基础上,给出了修正的n值G¨odel命题逻辑系统中命题的条件真度、条件相似度的概念并讨论了其性质,建立了条件随机逻辑度量空间。  相似文献   

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

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