本文關鍵詞： 剩余格 賦值態(tài) 概率真度 概率邏輯度量空間 近似推理　出處：《電子學報》2017年08期 　論文類型：期刊論文

【摘要】：基于剩余格的賦值態(tài)理論,通過在剩余格全體賦值態(tài)集和全體公式集上分別建立概率測度,利用積分方法提出了剩余格語義上公式的概率真度,進而在剩余格語義上建立了概率邏輯度量空間,將計量邏輯學中近似推理方法推廣到剩余格語義上,為剩余格語義的概率計量化提供了一種可行的方法.
[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]基于均勻概率的思想首先提出了命題邏輯系統(tǒng)中公式的真度概念和邏輯度量空間理

【相似文獻】

相關期刊論文 前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 孫兆豪,唐文彥,呂蓬;專家系統(tǒng)中的近似匹配和近似推理[J];河北大學學報(自然科學版);1993年02期

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

8 王曉星;α算子上的近似推理[J];模糊系統(tǒng)與數學;1990年02期

9 秦克云，徐揚，宋振明;基于系統(tǒng)L(X)的幾種近似推理[J];模糊系統(tǒng)與數學;1998年02期

10 陳永義;應用標準序列邏輯蘊涵的近似推理[J];模糊系統(tǒng)與數學;1992年02期

相關會議論文 前7條

1 任平;喻東;黃穎強;;近似推理模式的行為科學研究[A];中國系統(tǒng)工程學會模糊數學與模糊系統(tǒng)委員會第五屆年會論文選集[C];1990年

2 張永清;;準優(yōu)模糊蘊涵與近似推理[A];數學及其應用文集——中南模糊數學和系統(tǒng)分會第三屆年會論文集（上卷）[C];1995年

3 程里春;;近似推理的幾個定理[A];中國系統(tǒng)工程學會模糊數學與模糊系統(tǒng)委員會第五屆年會論文選集[C];1990年

4 段巧林;王國俊;;根與幾種命題邏輯系統(tǒng)中的近似推理[A];第六屆中國不確定系統(tǒng)年會論文集[C];2008年

5 王茹;王國俊;;一種新的理論的相容度及近似推理方法[A];第六屆中國不確定系統(tǒng)年會論文集[C];2008年

6 徐揚;;基于格值命題邏輯L_(vpl)的近似推理[A];模糊集理論與應用——98年中國模糊數學與模糊系統(tǒng)委員會第九屆年會論文選集[C];1998年

7 王國俊;;數理邏輯中的數值化方法(英文)[A];第12屆全國模糊系統(tǒng)與模糊數學學術年會論文集[C];2004年

相關碩士學位論文 前5條

1 于鵬;F（S）中的近似推理與三I算法的連續(xù)性[D];陜西師范大學;2007年

2 曾旭;基于語言量詞模糊積分語義的近似推理研究[D];寧波大學;2011年

3 隋云云;非線性序集邏輯系統(tǒng)中命題的真度理論及近似推理理論[D];山東大學;2009年

4 李駿;一類n值命題邏輯中命題的真度理論及近似推理理論[D];陜西師范大學;2002年

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

，

本文編號：1482091