【摘要】：在基于格值邏輯的不確定性推理的研究中,推理規(guī)則的選取是其重要研究內容之一�；诜謱痈裰得}邏輯系統(tǒng),提出了幾類既包含有語義又含有語法的推理規(guī)則,且這些推理規(guī)則具備協(xié)調水平的特性;同時也證明了這幾類推理規(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.
【作者單位】： 五邑大學計算機學院;內江師范學院數(shù)據(jù)恢復四川省重點實驗室;內江師范學院數(shù)學與信息科學學院;西南交通大學數(shù)學學院;
【基金】：國家自然科學基金(No.61673320) 廣東省自然科學基金(No.2016A030310003) 四川省應用基礎研究計劃項目(No.2015JY0120) 四川省教育廳項目(No.15TD0027,No.15ZB0270) 五邑大學青年基金(No.2013zk17)
【分類號】：TP18

【相似文獻】

相關期刊論文 前10條

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

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

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

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

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

6 張家鋒;徐揚;何星星;;格值語義歸結推理方法[J];計算機科學;2011年09期

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

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

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

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

相關博士學位論文 前1條

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

相關碩士學位論文 前1條

1 楊狀;命題邏輯假說擴充生成算法及其應用研究[D];大連海事大學;2014年

，

本文編號：2432156