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

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

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

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