【摘要】：通過對(duì)兩種一階邏輯自然推理系統(tǒng)中有關(guān)量詞的推理規(guī)則及其成立條件的比較分析,給出形式簡單、直觀的有關(guān)量詞的推理規(guī)則和合理、嚴(yán)謹(jǐn)?shù)某闪l件,從而保證在使用這些規(guī)則時(shí),既保留了直觀性,又消除了不嚴(yán)格性,并能準(zhǔn)確把握成立條件.
【作者單位】： 喀什大學(xué)計(jì)算機(jī)科學(xué)與技術(shù)學(xué)院;上海大學(xué)計(jì)算機(jī)工程與科學(xué)學(xué)院;
【基金】：國家自然科學(xué)基金項(xiàng)目(61561027) 新疆高�？蒲杏�(jì)劃重點(diǎn)項(xiàng)目(XJEDU2014I039)
【分類號(hào)】：O141

【相似文獻(xiàn)】

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

1 王國俊;論聚合與推理的順序[J];陜西師范大學(xué)學(xué)報(bào)(自然科學(xué)版);1999年01期

2 肖華勇;田錚;馬雷;;數(shù)獨(dú)基于規(guī)則的逐步枚舉算法設(shè)計(jì)[J];計(jì)算機(jī)工程與設(shè)計(jì);2010年05期

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

4 莫志浩;中介命題系統(tǒng)MP推理規(guī)則的簡化[J];解放軍理工大學(xué)學(xué)報(bào)(自然科學(xué)版);2001年01期

5 莫志浩;中介命題系統(tǒng)MP推理規(guī)則的獨(dú)立性問題[J];解放軍理工大學(xué)學(xué)報(bào)(自然科學(xué)版);2001年05期

6 邱文;;一階邏輯推理有效性的探析[J];海南大學(xué)學(xué)報(bào)(自然科學(xué)版);2006年02期

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

8 李必祥,汪培莊;二階 Fuzzy 邏輯推理[J];數(shù)學(xué)雜志;1982年01期

9 王潔;吳堅(jiān);史婕;;基于云模型的推理規(guī)則在空氣質(zhì)量預(yù)報(bào)中的應(yīng)用[J];數(shù)字技術(shù)與應(yīng)用;2011年05期

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

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

1 趙新生;高善清;邢立新;許梅生;;炮兵軍用文書智能處理的主要模型及推理規(guī)則[A];計(jì)算機(jī)模擬與信息技術(shù)會(huì)議論文集[C];2001年

2 方毅;;牛頓的哲學(xué)推理規(guī)則之思考[A];第二屆中國科技哲學(xué)及交叉學(xué)科研究生論壇論文集（博士卷）[C];2008年

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

1 謝明慧;基于推理規(guī)則的個(gè)性化網(wǎng)絡(luò)教學(xué)平臺(tái)的設(shè)計(jì)與開發(fā)[D];四川師范大學(xué);2015年

2 王其冰;本體查詢和推理規(guī)則在學(xué)科概念建模中的應(yīng)用[D];華東師范大學(xué);2009年

，

本文編號(hào)：2538373