缺省邏輯的擴(kuò)充.pdf

1、陜西師范大學(xué)博士學(xué)位論文缺省邏輯的擴(kuò)充姓名：傅麗申請學(xué)位級別：博士專業(yè)：基礎(chǔ)數(shù)學(xué)指導(dǎo)教師：王國俊20050401R o o s 一不相容擴(kuò)充可能不唯一．我們指出了它們之間的不同，并舉例作了說明．第四章將G r i g o r i s A n t o n i o n 的語義算子理論算法及V ．w ．M a r e k 和M ．F r u s z c y u s k i的語構(gòu)算法用于計(jì)算累積缺省邏輯( C D L ) 的擴(kuò)充，系統(tǒng)地討論了C

2、 D L 及其新變種C A D L 與Q D L 理論的擴(kuò)充問題，從而使得具有累積性的缺省邏輯擴(kuò)充的計(jì)算問題得以系統(tǒng)化，我們還指出邀兩種方法可用于其他類型的缺省理論擴(kuò)充的計(jì)算，并以優(yōu)先缺省理論的擴(kuò)充為例說明這一點(diǎn)．第五章討論了統(tǒng)計(jì)缺省理論的擴(kuò)充，它是經(jīng)典缺省邏輯( 即R e i t e r 的缺省)的推廣，它借助錯誤參數(shù)e ，允許我們在標(biāo)準(zhǔn)的推理統(tǒng)計(jì)中模型化普遍的推理模式．由于統(tǒng)計(jì)缺省擴(kuò)充不具備封閉性，在其對應(yīng)的R e i t e r

3、擴(kuò)充存在時。它的擴(kuò)充可能不存在；甚至可能出現(xiàn)正規(guī)的統(tǒng)計(jì)缺省理論沒有擴(kuò)充．然而，在給出一定的限制條件下，即如果我們除了要求缺省規(guī)則中出現(xiàn)的公式是閉公式外，同時還要求所有“可適用缺省規(guī)則”在￡內(nèi)是封閉的，也即同時滿足條件q = ％+ b ≤f ，則可以克服這一缺陷，此時統(tǒng)計(jì)缺省邏輯的擴(kuò)充也具有如R e i t e r 擴(kuò)充一樣的很好的性質(zhì)．在文中我們也給出兩種計(jì)算方法來求統(tǒng)計(jì)缺省擴(kuò)充．同時，定義并討論了閉正規(guī)的統(tǒng)計(jì)缺省理論的擴(kuò)充的性質(zhì)和證明