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

【摘要】：基于剩余格的賦值態(tài)理論,通過(guò)在剩余格全體賦值態(tài)集和全體公式集上分別建立概率測(cè)度,利用積分方法提出了剩余格語(yǔ)義上公式的概率真度,進(jìn)而在剩余格語(yǔ)義上建立了概率邏輯度量空間,將計(jì)量邏輯學(xué)中近似推理方法推廣到剩余格語(yǔ)義上,為剩余格語(yǔ)義的概率計(jì)量化提供了一種可行的方法.
[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.
【作者單位】： 華北水利水電大學(xué)數(shù)學(xué)與信息科學(xué)學(xué)院;
【基金】：河南省基礎(chǔ)與前沿技術(shù)研究計(jì)劃(No.152300410112)
【分類號(hào)】：O141.1;O153.1
【正文快照】： 1引言自20世紀(jì)70年代Pavelka關(guān)于命題邏輯中結(jié)論程度化的思想提出以后[1],關(guān)于邏輯結(jié)論的程度化問(wèn)題吸引了眾多學(xué)者的關(guān)注,并在結(jié)論程度化方法的研究方面取得了一系列的研究成果[2~18],其中文獻(xiàn)[5]基于均勻概率的思想首先提出了命題邏輯系統(tǒng)中公式的真度概念和邏輯度量空間理

【相似文獻(xiàn)】

相關(guān)期刊論文 前10條

1 惠小靜;;三種近似推理模式的等價(jià)性[J];計(jì)算機(jī)工程與應(yīng)用;2008年27期

2 黃強(qiáng);原文林;陳曉楠;張洪波;王義民;;基于信息擴(kuò)散近似推理的年降水量預(yù)測(cè)模型[J];西北農(nóng)林科技大學(xué)學(xué)報(bào)(自然科學(xué)版);2009年02期

3 程天笑;潘正華;王岑;;基于中介邏輯的近似推理[J];計(jì)算機(jī)工程與應(yīng)用;2009年21期

4 齊先義;;近似推理[J];海軍工程學(xué)院學(xué)報(bào);1984年02期

5 L.A.Zadeh;金雅芳;;近似推理的理論(Ⅱ)[J];計(jì)算機(jī)科學(xué);1990年03期

6 孫兆豪,唐文彥,呂蓬;專家系統(tǒng)中的近似匹配和近似推理[J];河北大學(xué)學(xué)報(bào)(自然科學(xué)版);1993年02期

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

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

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

10 陳永義;應(yīng)用標(biāo)準(zhǔn)序列邏輯蘊(yùn)涵的近似推理[J];模糊系統(tǒng)與數(shù)學(xué);1992年02期

相關(guān)會(huì)議論文 前7條

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

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

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

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

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

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

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

相關(guān)碩士學(xué)位論文 前5條

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

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

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

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

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

，

本文編號(hào)：1482091