【摘要】：提出了一種貪婪缺省邏輯,旨在構(gòu)造擴(kuò)展的過程中盡可能地保留缺省規(guī)則當(dāng)中的信息.給出了貪婪缺省邏輯的推演系統(tǒng)——GD系統(tǒng)和貪婪缺省的GD-擴(kuò)展的定義.并且證明了對于缺省理論(T,?)的一個擴(kuò)展,必定存在一個貪婪缺省理論的GD-擴(kuò)展,使得缺省邏輯的擴(kuò)展是貪婪缺省邏輯擴(kuò)展的子集.同時,還存在貪婪缺省理論(T,?)的某一GD-擴(kuò)展,該GD-擴(kuò)展不包含缺省理論的任一擴(kuò)展.因此缺省邏輯和貪婪缺省邏輯是兩種不同的邏輯.
[Abstract]:In this paper, a greedy default logic is proposed, which aims to preserve the information in the default rules as much as possible in the process of constructing extension. The definitions of GD system and greedy default GD- extension, which are the deduction systems of greedy default logic, are given. And prove that for the default theory (T,?) There must be a GD- extension of greedy default theory, so that the extension of default logic is a subset of greedy default logic extension. At the same time, there is also the default theory of greed (T,?) The GD- extension does not contain any extension of the default theory. Therefore, the default logic and the greedy default logic are two different logic.
【作者單位】： 中國科學(xué)院計算技術(shù)研究所智能信息處理重點(diǎn)實驗室;國網(wǎng)山東省電力公司電力科學(xué)研究院;
【基金】：農(nóng)業(yè)部公益性行業(yè)(農(nóng)業(yè))科研專項(201303107)~~
【分類號】：TP181

【相似文獻(xiàn)】

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

1 吳茂康;缺省理論的簡化[J];計算機(jī)學(xué)報;1991年12期

2 陳世福,潘金貴,徐殿祥;一種缺省推理方法及其應(yīng)用[J];軟件學(xué)報;1992年04期

3 姜云飛;利用格論研究缺省推理[J];計算機(jī)學(xué)報;1993年02期

4 劉瑞勝,翟永順;有序缺省理論及其擴(kuò)充[J];長春郵電學(xué)院學(xué)報;1996年04期

5 韓慶,林作銓;不協(xié)調(diào)知識的缺省推理(英文)[J];軟件學(xué)報;2004年07期

6 吳茂康,繆淮扣;在一類缺省理論中關(guān)于證明理論的完備性問題[J];計算機(jī)學(xué)報;1993年11期

7 李未;;缺省推理與認(rèn)識進(jìn)程[J];計算機(jī)科學(xué);1993年02期

8 董明楷,張明義;子句型自相容缺省理論的擴(kuò)張[J];計算機(jī)研究與發(fā)展;2000年02期

9 傅麗,王國俊;累積缺省邏輯的擴(kuò)充[J];計算機(jī)工程與應(yīng)用;2005年16期

10 傅麗;;統(tǒng)計缺省擴(kuò)充的兩種算法[J];模糊系統(tǒng)與數(shù)學(xué);2007年03期

相關(guān)會議論文 前5條

1 黃守華;;控制系統(tǒng)缺省設(shè)置不當(dāng)處理對策[A];電廠管理與熱工技術(shù)經(jīng)驗交流文集[C];2003年

2 黃曉微;;從關(guān)聯(lián)理論看文學(xué)作品中文化缺省的翻譯——以《假情婦》的翻譯為例[A];福建省外國語文學(xué)會2013年年會暨海峽兩岸翻譯學(xué)術(shù)研討會論文集[C];2013年

3 李文;姜宏濤;;一種自組織模糊缺省模型[A];1998年中國智能自動化學(xué)術(shù)會議論文集（上冊）[C];1998年

4 賀壽南;;法律視野中的缺省論證[A];第十六屆全國法律邏輯學(xué)術(shù)討論會論文（成就·反思·前瞻——中國法律邏輯三十年）[C];2008年

5 劉奮榮;;缺省邏輯如何研究非單調(diào)推理？[A];邏輯、語言與思維——周禮全先生八十壽辰紀(jì)念文集[C];2001年

相關(guān)重要報紙文章 前5條

1 ;警惕缺省配置的陷阱[N];網(wǎng)絡(luò)世界;2003年

2 馬宏敏;大眾文化與記憶缺省的一代[N];中國文化報;2002年

3 張漢軍;VB程序發(fā)布時應(yīng)注意的問題[N];電腦報;2003年

4 浙江 張冬青;Photoshop參數(shù)恢復(fù)大全[N];電腦報;2003年

5 湖北 周迪;LILO配置攻略[N];中國計算機(jī)報;2000年

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

1 傅麗;缺省邏輯的擴(kuò)充[D];陜西師范大學(xué);2005年

2 劉向軍;信任、缺省與偶在[D];復(fù)旦大學(xué);2008年

3 廖濤;面向事件的文本表示及其應(yīng)用研究[D];上海大學(xué);2014年

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

1 潘麗君;關(guān)聯(lián)理論視角下文化缺省的翻譯策略研究[D];福建師范大學(xué);2015年

2 趙策力;面向比較句的比較要素缺省識別與抽取研究[D];山西大學(xué);2015年

3 劉慧慧;評價要素的缺省識別與恢復(fù)方法研究[D];山西大學(xué);2015年

4 鄭偉;《那一天,這一生》漢譯中的文化缺省及其翻譯策略[D];大連理工大學(xué);2015年

5 陳小翠;從關(guān)聯(lián)翻譯理論看文化缺省的補(bǔ)償[D];寧波大學(xué);2015年

6 李軍;文學(xué)作品中文化缺省的翻譯探究[D];江蘇師范大學(xué);2014年

7 李甜甜;從關(guān)聯(lián)理論看《天堂蒜薹之歌》中的文化缺省與翻譯補(bǔ)償[D];西北師范大學(xué);2015年

8 吳東興;當(dāng)代藝術(shù)中視覺邏輯缺省性與非確定性研究[D];大連工業(yè)大學(xué);2015年

9 涂祖玲;譯介學(xué)視閾下中醫(yī)術(shù)語翻譯的文化缺省研究[D];西華大學(xué);2015年

10 魏荻菲;關(guān)聯(lián)理論下徐譯《瓦爾登湖》中文化缺省的翻譯及其補(bǔ)償策略探究[D];東南大學(xué);2015年

，

本文編號：2476229