缺省邏輯的擴充.pdf

1、陜西師范大學博士學位論文缺省邏輯的擴充姓名：傅麗申請學位級別：博士專業(yè)：基礎數(shù)學指導教師：王國俊20050401R o o s 一不相容擴充可能不唯一．我們指出了它們之間的不同，并舉例作了說明．第四章將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的語構算法用于計算累積缺省邏輯( C D L ) 的擴充，系統(tǒng)地討論了C

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

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