Reiter的缺省邏輯是最受關(guān)注的非單調(diào)推理理論之一,它已被廣泛應(yīng)用于人工智能的各個(gè)領(lǐng)域,其中缺省邏輯的擴(kuò)充是研究的熱點(diǎn)。缺省邏輯的擴(kuò)充要求添加可以接受的事實(shí)或（與原有的事實(shí)不矛盾,并且彼此相容的缺省規(guī)則的）結(jié)論以求達(dá)到某種完備性。由于事實(shí)集與缺省規(guī)則集均可能具有較為復(fù)雜多樣的形式,而且已有的計(jì)算缺省理論擴(kuò)充的方法都不是構(gòu)造性的,因此完成擴(kuò)充在計(jì)算上是困難的。 本文首先從一種形式上較為簡單的有限的無前提正規(guī)閉缺省理論入手,討論了其相容擴(kuò)充的分類與性質(zhì)等。然后討論了缺省邏輯的表示性,研究了如何用和它具有相同擴(kuò)充,但語構(gòu)上較為簡單的缺省邏輯來表示原缺省邏輯的問題;又,為便于計(jì)算擴(kuò)充,本文討論了在計(jì)算具體的缺省理論的擴(kuò)充前如何對缺省規(guī)則進(jìn)行適當(dāng)?shù)暮喕头诸惖膯栴},給出了相應(yīng)的簡化和分類原則。本文還系統(tǒng)地研究了為修正缺省邏輯的缺陷而提出的Roos擴(kuò)充以及累積缺省邏輯的擴(kuò)充問題。最后,本文討論了統(tǒng)計(jì)缺省邏輯擴(kuò)充的性質(zhì)與計(jì)算,并定義和研究了閉正規(guī)的統(tǒng)計(jì)缺省邏輯的性質(zhì)及其證明理論。全文共分五章。 第一章是本文所用到基本知識(shí)。 第二章較系統(tǒng)地研究了有限的無前提正規(guī)閉缺省理論的相容擴(kuò)充... 

【文章來源】：陜西師范大學(xué)陜西省 211工程院校 教育部直屬院校

【文章頁數(shù)】：93 頁

【學(xué)位級(jí)別】：博士

【文章目錄】：
前言
第一章 引言和預(yù)備知識(shí)
    §1.1 缺省邏輯的背景及主要問題
    §1.2 預(yù)備知識(shí)
    §1.3 缺省擴(kuò)充
第二章 無前提正規(guī)閉缺省理論的擴(kuò)充的構(gòu)造性
    §2.1 無前提正規(guī)閉缺省理論的分類
    §2.2 關(guān)于無前提正規(guī)閉缺省理論的擴(kuò)充的若干定理
    §2.3 制作無前提正規(guī)閉缺省理論擴(kuò)充的一種準(zhǔn)構(gòu)造性方法
    §2.4 無前提正規(guī)閉缺省理論擴(kuò)充的個(gè)數(shù)估計(jì)
第三章 擴(kuò)充與缺省規(guī)則的簡化和分類
    §3.1 缺省邏輯的可表示性
    §3.2 缺省邏輯的Roos-擴(kuò)充
    §3.3 擴(kuò)充與缺省規(guī)則的簡化和分類
第四章 累積缺省邏輯的擴(kuò)充
    §4.1 預(yù)備知識(shí)
    §4.2 斷言缺省理論(ADT)的CDL擴(kuò)充
    §4.3 CADL擴(kuò)充
    §4.4 QDL擴(kuò)充
    §4.5 幾種斷言缺省理論擴(kuò)充的算法
第五章 統(tǒng)計(jì)缺省邏輯的擴(kuò)充
    §5.1 預(yù)備知識(shí)
    §5.2 統(tǒng)計(jì)缺省擴(kuò)充的計(jì)算
    §5.3 閉正規(guī)統(tǒng)計(jì)缺省理論
總結(jié)
參考文獻(xiàn)
致謝
攻讀博士學(xué)位期間的研究成果


【參考文獻(xiàn)】：
期刊論文
[1]一種帶缺省推理的描述邏輯[J]. 董明楷,蔣運(yùn)承,史忠植.  計(jì)算機(jī)學(xué)報(bào). 2003(06)
[2]可能性缺省邏輯及其應(yīng)用[J]. 李愛平,吳泉源,伍賽先.  計(jì)算機(jī)工程與科學(xué). 2001(04)
[3]子句型缺省邏輯中的分情形推理(英文)[J]. 許道云,丁德成,張明義.  軟件學(xué)報(bào). 2001(08)
[4]用反鏈方法估計(jì)可分布爾函數(shù)的個(gè)數(shù)[J]. 王國俊,王偉.  數(shù)學(xué)學(xué)報(bào). 2000(05)
[5]分情形推理的缺省邏輯框架[J]. 張明義,張丹.  中國科學(xué)E輯:技術(shù)科學(xué). 1998(03)
[6]缺省邏輯的累積性變種的擴(kuò)張?zhí)卣鱗J]. 張明義,張穎.  計(jì)算機(jī)學(xué)報(bào). 1998(02)
[7]帶有約束的缺省邏輯[J]. 劉瑞勝,孫吉貴,劉敘華.  吉林大學(xué)自然科學(xué)學(xué)報(bào). 1996(03)
[8]一個(gè)模態(tài)非單調(diào)邏輯[J]. 林作銓.  中國科學(xué)E輯:技術(shù)科學(xué). 1996(03)
[9]開放的缺省理論[J]. 懷進(jìn)鵬,李未.  計(jì)算機(jī)學(xué)報(bào). 1994(09)
[10]關(guān)于斷言的缺省邏輯[J]. 蘇開樂,丁德成.  中國科學(xué)（A輯 數(shù)學(xué) 物理學(xué) 天文學(xué) 技術(shù)科學(xué)）. 1994(06)



本文編號(hào)：3347212