排序方式: 共有100条查询结果,搜索用时 0 毫秒
61.
适用于多种蕴涵算子的赋值空间上的测度与积分理论 总被引:5,自引:0,他引:5
王国俊 《中国科学(E辑)》2001,31(1):42-50
对多种蕴涵算子导出的赋值空间进行统一处理,引入公用的Lebesgue测度,证明了相对于若干常见蕴涵算子而言,全体逻辑公式都是可测函数.建立了t(α重言式)理论,提出了一般的语义MP规则和一般的语义HS规则. 基于积分理论引入了逻辑公式的真度概念,提出了积分MP规则和积分HS规则.最后,通过通用逻辑度量空间概念在全体公式集上引入了伪距离,为近似推理提供了一种可能的框架. 相似文献
62.
胡江山 《山东大学学报(理学版)》2009,44(6):56-59
基于条件概率的思想,在n值R0 命题逻辑系统L*n中引入条件真度的概念,并讨论该条件真度的性质及相应的推理规则。 相似文献
63.
基于条件概率的思想,在Gödel连续值命题逻辑系统中引入赋值密度函数概念,给出了公式的概率真度、条件概率真度的定义,定义了公式间的相似度和伪距离并给出了相关的性质。 相似文献
64.
二值命题逻辑系统中公式的语构真度理论 总被引:1,自引:1,他引:0
从语构的角度给出公式的真度的形式化定义,并由语构真度诱导出相似度和伪距离,给出相似度和伪距离的基本性质,讨论了语构真度在推理中的应用。 相似文献
65.
二值逻辑的D-条件真度理论 总被引:4,自引:2,他引:2
文章在二值命题逻辑中公式的D-随机真度和条件真度的基础上,在D-逻辑度量空间(F(S),ρD)提出了D-条件真度的概念,同时讨论了D-条件真度的有关性质,并引入了基于Γ的矛盾式与重言式的概念和公式A与B基于Γ逻辑等价的概念;进一步给出了公式间D-条件相似度和D-条件逻辑伪距离的概念,同时讨论了它们的性质。 相似文献
66.
四值非线性序集逻辑系统中命题真度的分布 总被引:1,自引:1,他引:0
证明了非线性序集逻辑系统中全体公式的真度值之集在[0,1]上是稠密的,为进一步建立该系统中的近似推理理论奠定了基础。 相似文献
67.
杨洁 《烟台大学学报(自然科学与工程版)》2012,(3):166-169,231
以模糊逻辑系统中公式的真度理论为基础,提出了模糊逻辑方程概念,从而实现了方程思想与模糊逻辑的结合;并在Godel逻辑系统中选取形如r(p-x)=a的一类模糊逻辑方程,展开方程解的性质讨论,其中,P为原子命题,x是待定的公式,由此得到如下结论:模糊逻辑方程r(p-x)=a有同型解当且仅当a=0或l;有m-同型解(m≥2)当且仅当a∈{i/(m+2)!li=0,1,2,…,(m+2)!}. 相似文献
68.
有限Boole语义的随机化 总被引:1,自引:0,他引:1
基于B-赋值理论,利用赋值集的随机化方法,在以有限Boole代数为赋值格的命题逻辑中提出公式的B-随机真度,建立有限Boole语义中的随机逻辑度量空间.它是计量逻辑学和随机真度的相关理论在有限Boole语义理论上的推广. 相似文献
69.
利用赋值集的随机化方法,在五值非线性序集逻辑系统L25中提出了公式的随机真度和随机距离,建立了其上的随机逻辑度量空间,它是计量逻辑学和随机逻辑学在非线性序集逻辑系统上的推广. 相似文献
70.
n值Lukasiewicz逻辑中命题的条件真度理论 总被引:1,自引:0,他引:1
利用条件概率的思想在n值Lukasiewicz命题逻辑中引入公式的条件真度概念,并给出条件真度的一些性质;利用条件真度定义公式相似度,进而导出全体公式集上的一种伪距离,这为n值Lukasiewicz逻辑系统中给出在信息∑下的近似推理理论提供了一种可能的框架. 相似文献