基于剩余格语义的格值逻辑系统的程度化方法

发布时间：2018-02-01 14:34

  本文关键词： 剩余格 赋值态 概率真度 概率逻辑度量空间 近似推理　出处：《电子学报》2017年08期 　论文类型：期刊论文

【摘要】：基于剩余格的赋值态理论,通过在剩余格全体赋值态集和全体公式集上分别建立概率测度,利用积分方法提出了剩余格语义上公式的概率真度,进而在剩余格语义上建立了概率逻辑度量空间,将计量逻辑学中近似推理方法推广到剩余格语义上,为剩余格语义的概率计量化提供了一种可行的方法.
[Abstract]:Based on the theory of assignment state of residual lattice, the probability measure is established on the set of all assigned states and sets of formulas of residual lattice, and the probability trueness of the formula on the semantics of residual lattice is proposed by integral method. Furthermore, the probabilistic logic metric space is established on the semantics of residual lattices, and the approximate reasoning method in econometric logic is extended to the semantics of residual lattices, which provides a feasible method for the probabilistic metrology of residual lattice semantics.
【作者单位】： 华北水利水电大学数学与信息科学学院;
【基金】：河南省基础与前沿技术研究计划(No.152300410112)
【分类号】：O141.1;O153.1
【正文快照】： 1引言自20世纪70年代Pavelka关于命题逻辑中结论程度化的思想提出以后[1],关于逻辑结论的程度化问题吸引了众多学者的关注,并在结论程度化方法的研究方面取得了一系列的研究成果[2~18],其中文献[5]基于均匀概率的思想首先提出了命题逻辑系统中公式的真度概念和逻辑度量空间理

【相似文献】

相关期刊论文 前10条

1 惠小静;;三种近似推理模式的等价性[J];计算机工程与应用;2008年27期

2 黄强;原文林;陈晓楠;张洪波;王义民;;基于信息扩散近似推理的年降水量预测模型[J];西北农林科技大学学报(自然科学版);2009年02期

3 程天笑;潘正华;王岑;;基于中介逻辑的近似推理[J];计算机工程与应用;2009年21期

4 齐先义;;近似推理[J];海军工程学院学报;1984年02期

5 L.A.Zadeh;金雅芳;;近似推理的理论(Ⅱ)[J];计算机科学;1990年03期

6 孙兆豪,唐文彦,吕蓬;专家系统中的近似匹配和近似推理[J];河北大学学报(自然科学版);1993年02期

7 田秀芝;求近似推理模型的矩阵计算公式[J];石油化工高等学校学报(自然科学版);1995年03期

8 王晓星;α算子上的近似推理[J];模糊系统与数学;1990年02期

9 秦克云，徐扬，宋振明;基于系统L(X)的几种近似推理[J];模糊系统与数学;1998年02期

10 陈永义;应用标准序列逻辑蕴涵的近似推理[J];模糊系统与数学;1992年02期

相关会议论文 前7条

1 任平;喻东;黄颖强;;近似推理模式的行为科学研究[A];中国系统工程学会模糊数学与模糊系统委员会第五届年会论文选集[C];1990年

2 张永清;;准优模糊蕴涵与近似推理[A];数学及其应用文集——中南模糊数学和系统分会第三届年会论文集（上卷）[C];1995年

3 程里春;;近似推理的几个定理[A];中国系统工程学会模糊数学与模糊系统委员会第五届年会论文选集[C];1990年

4 段巧林;王国俊;;根与几种命题逻辑系统中的近似推理[A];第六届中国不确定系统年会论文集[C];2008年

5 王茹;王国俊;;一种新的理论的相容度及近似推理方法[A];第六届中国不确定系统年会论文集[C];2008年

6 徐扬;;基于格值命题逻辑L_(vpl)的近似推理[A];模糊集理论与应用——98年中国模糊数学与模糊系统委员会第九届年会论文选集[C];1998年

7 王国俊;;数理逻辑中的数值化方法(英文)[A];第12届全国模糊系统与模糊数学学术年会论文集[C];2004年

相关硕士学位论文 前5条

1 于鹏;F（S）中的近似推理与三I算法的连续性[D];陕西师范大学;2007年

2 曾旭;基于语言量词模糊积分语义的近似推理研究[D];宁波大学;2011年

3 隋云云;非线性序集逻辑系统中命题的真度理论及近似推理理论[D];山东大学;2009年

4 李骏;一类n值命题逻辑中命题的真度理论及近似推理理论[D];陕西师范大学;2002年

5 蔡立晶;基于模糊集的三维表示及研究[D];华中科技大学;2004年

，

本文编号：1482091