【摘要】：在基于格值邏輯的不確定性推理的研究中,推理規(guī)則的選取是其重要研究?jī)?nèi)容之一�；诜謱痈裰得}邏輯系統(tǒng),提出了幾類(lèi)既包含有語(yǔ)義又含有語(yǔ)法的推理規(guī)則,且這些推理規(guī)則具備協(xié)調(diào)水平的特性;同時(shí)也證明了這幾類(lèi)推理規(guī)則在一定程度上有閉性。
[Abstract]:In the research of uncertainty reasoning based on lattice-valued logic, the selection of reasoning rules is one of the important research contents. Based on the hierarchical lattice-valued propositional logic system, several kinds of reasoning rules which contain both semantics and grammar are proposed, and these reasoning rules have the characteristics of coordination level, and they are proved to be closed to a certain extent.
【作者單位】： 五邑大學(xué)計(jì)算機(jī)學(xué)院;內(nèi)江師范學(xué)院數(shù)據(jù)恢復(fù)四川省重點(diǎn)實(shí)驗(yàn)室;內(nèi)江師范學(xué)院數(shù)學(xué)與信息科學(xué)學(xué)院;西南交通大學(xué)數(shù)學(xué)學(xué)院;
【基金】：國(guó)家自然科學(xué)基金(No.61673320) 廣東省自然科學(xué)基金(No.2016A030310003) 四川省應(yīng)用基礎(chǔ)研究計(jì)劃項(xiàng)目(No.2015JY0120) 四川省教育廳項(xiàng)目(No.15TD0027,No.15ZB0270) 五邑大學(xué)青年基金(No.2013zk17)
【分類(lèi)號(hào)】：TP18

【相似文獻(xiàn)】

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

1 王海林;;SWRL推理規(guī)則在平面幾何證明中的應(yīng)用[J];計(jì)算機(jī)技術(shù)與發(fā)展;2010年09期

2 韓毅;谷文祥;殷明浩;張靖波;陳建;;一種引入推理規(guī)則的快速規(guī)劃識(shí)別算法[J];東北師大學(xué)報(bào)(自然科學(xué)版);2007年01期

3 賴家俊;徐揚(yáng);;基于語(yǔ)言真值格值命題邏輯系統(tǒng)l_(νpl)的推理規(guī)則[J];計(jì)算機(jī)科學(xué);2008年09期

4 楊麗;徐揚(yáng);;基于格值邏輯的模糊概念格[J];模糊系統(tǒng)與數(shù)學(xué);2009年05期

5 吳茂康;Horn集上RUE-NRF推理規(guī)則下的輸入半鎖反駁[J];科學(xué)通報(bào);1988年11期

6 張家鋒;徐揚(yáng);何星星;;格值語(yǔ)義歸結(jié)推理方法[J];計(jì)算機(jī)科學(xué);2011年09期

7 許偉濤;徐揚(yáng);;語(yǔ)言真值格值命題邏輯系統(tǒng)中廣義文字的歸結(jié)判定[J];計(jì)算機(jī)科學(xué);2013年02期

8 童雪;一階格值邏輯上的Mostowski定理[J];華北電力大學(xué)學(xué)報(bào);2003年02期

9 何星星;徐揚(yáng);李瑩芳;張家鋒;;格值命題邏輯系統(tǒng)中廣義文字的正規(guī)性[J];計(jì)算機(jī)工程與應(yīng)用;2012年10期

10 劉全,孫吉貴,崔志明;基于布爾剪枝的多值廣義量詞Tableau推理規(guī)則簡(jiǎn)化方法[J];計(jì)算機(jī)學(xué)報(bào);2005年09期

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

1 周平;基于格蘊(yùn)涵代數(shù)的格值邏輯中的近似推理研究[D];西南交通大學(xué);2007年

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

1 楊狀;命題邏輯假說(shuō)擴(kuò)充生成算法及其應(yīng)用研究[D];大連海事大學(xué);2014年

，

本文編號(hào)：2432156