【文章內(nèi)容簡介】 ； 它與事實的不同在于，規(guī)則所定義的性質、關系依 賴與其它的性質和關系，因此規(guī)則呈蘊涵語句形式。 B:— A “如果 A則 B” bird(x) :— animal(x)， has(x, feather) ? 問題： 關于對象性質或關系的詢問。 ?— student(john) ?— married(mary， x) 來自 中國最大的資料庫下載 Prolog語言的基本文法 Prolog語言的最基本語言成分是項 (term)，一個 項或者是常量，或者是變量，或者是一個結構。 ? 常量： 是指對象和對象之間的特定關系的名； 整數(shù) ， 如 0， 22， 1586等； 原子 ， 如 John， student， likes， sisterof ? 變量： 表示任意的對象，它與 FOL中的變元相同； Prolog中變量可以用大寫字母，下劃線，以及由它們 開頭的字母串。如 X, Y, Answer, _value等。 ? 結構： 是常量和變量的序列，它由一個函子 (函詞 或謂詞 )和該函子的自變量所組成。如： likes(john, X) married(mary, jack) 來自 中國最大的資料庫下載 例： (1) likes(bell, sports) (2) likes(mary, smith) (3) likes(mary, sports) (4) likes(jones, smith) (5) friend(john, X) :— likes(X, sports), likes(X, smith) (規(guī)則 ) (6) ?— friends(john, Y) (問題 ) (事實 ) (7)?— likes(X, sports), likes(X, smith) (8)?— likes(bell, smith) (bell / X) (7)?— likes(X, sports), likes(X, smith) (8)?— likes(mary, smith) (mary / X) Y = mary， John與 Mary是朋友 來自 中國最大的資料庫下載 Prolog的執(zhí)行方式 搜索： 在程序中自上而下地搜索事實和規(guī)則； 匹配： 將目標中的項與事實和規(guī)則進行匹配； 回溯： 當目標中一項失敗時，如果目標中有已經(jīng)成功的的項 (應在失敗項的左邊 )，那末就重新調(diào)用這些成功項中最右邊的一個，謀求新的成功。 來自 中國最大的資料庫下載 Prolog的基本特點 Horn子句邏輯是 Prolog的基礎。 ? Prolog既是一種邏輯程序設計語言，又是一個邏輯系統(tǒng)。 ? Prolog是一種描述性語言，它是一種面向問題的語言，你只需要告訴它要做什么，即給出問題的形式描述，而不需要知道應該如何做。 ? Prolog完全依靠匹配、回溯 來進行搜索。 Prolog的求解過程是一個尋求否證的消解過程。 ? Prolog也使用元語言種的謂詞，有很強的描述能力。 ? Prolog采用統(tǒng)一的數(shù)據(jù)結構 —— 項，它包含控制成分，且有專門進行數(shù)值計算和符號處理的模塊。 來自 中國最大的資料庫下載 邏輯程序設計 PROLOG B ? A1, …, An B ? ? ? A1, …, An 來自 中國最大的資料庫下載 單調(diào)邏輯 ? 在現(xiàn)有知識的基礎上，通過嚴密的邏輯論證和推理獲得的新知識必須與已有的知識相一致。 A， A?B ?B ? 推理系統(tǒng)的定理集合隨著推理過程的進行而單調(diào)地增大。 單調(diào)性： (1) ? ∈ Th(? ) (2) 若 ?1 ? ?2 ，則 Th(?1) ? Th(?2) (3) Th(Th(? )) ＝ Th(? ) (不動點 ) 來自 中國最大的資料庫下載 非單調(diào)邏輯 推理系統(tǒng)的定理集合并不隨著推理過程的進行而單調(diào)地增大，新推出地定理很可能會否定、改變原來地一些定理，使得原來能夠解釋地某些現(xiàn)象變得不能解釋了。 新規(guī)則： (4) ? ? 172。 P (不動點 ) 來自 中國最大的資料庫下載 非單調(diào)邏輯 推理系統(tǒng)的定理集合并不隨推理 過程的進行而單調(diào)地增大 , 新推出的 定理很可能會否定、改變原來的一些 定理 ,使得原來能夠解釋的某些 現(xiàn)象變 得不能解釋了。 來自 中國最大的資料庫下載 非單調(diào)邏輯 推理系統(tǒng)的定理集合并不隨推理 過程的進行而單調(diào)地增大 , 新推出的 定理很可能會否定、改變原來的一些 定理 ,使得原來能夠解釋的某些 現(xiàn)象變 得不能解釋了。 t1t2 F(t1)?F(t2) 來自 中國最大的資料庫下載 非單調(diào)邏輯 鳥會飛 鴕鳥是鳥 所以 ,鴕鳥會飛 來自 中國最大的資料庫下載 非單調(diào)推理 1 John在時刻 t1是活著的 2 Dell在時刻 t2t1把子彈裝進槍膛 3 Dell在時刻 t3t2舉 槍對 John射擊 4 問題： John在時刻 t4t3還 是活著嗎？ 來自 中國最大的資料庫下載 非單調(diào)邏輯 設 ?表示推理規(guī)則集 ,則單調(diào)邏輯語言 Th(?)={A|??A} (1) ??Th(?) (2) if ?1? ?2,then Th(?1) ? Th(?2) (3) Th(Th(?)) = Th(?) (不動點 ) (4) if ? ? ? ? ?P,then ? ?? MP 其中 M模態(tài)詞 來自 中國最大的資料庫下載 默認 邏輯 1980年， Reiter提出了默認缺省邏輯 (Default Logic)。 “一般情況下鳥是會飛的” “鴕鳥不會飛” “企鵝不會飛” )()(:)(xflyxM f l yxB i r d會飛會飛”與系統(tǒng)不矛盾“是鳥xxx :來自 中國最大的資料庫下載 默認 規(guī)則 一個默認規(guī)則是如下形式的規(guī)則： )()(,),(:)( 1xxMxMx n???? ? ?(x):稱為前提條件 ?i(x):稱為缺省條件，或檢驗條件 ? (x):稱為結論 為簡便，通常情況下可以省略檢驗條件中的 M。 規(guī)則的使用： 出檢驗條件的否定 172。?i(x)，則可以得出結論成立。 來自 中國最大的資料庫下載 默認理論 一個 默認理論 ?由兩個部分組成，即 默認 規(guī)則 集 D和公式集 W，一般用二元組來表示 ?＝ D,W 若 D中的規(guī)則是閉規(guī)則時，則 ?為閉缺省理論。 定義 ：設 ?＝ D,W 為一閉缺省理論， ?為 關于 D的 一個算子 ， ?作用于任意的命題集合 S，而其值為滿 足下列三個性質的最小命題集合 ?(S)： (1) W ? ?(S) (2) Th(?(S)) = ?(S)，其中 Th(?(S)) = {A|?(S) ? A} (3) 如果 D中有規(guī)則 ， 且 ?∈?(S)， 172。?1, … , 172。?m ? S ， 那么 ?∈?(S) ???? nMM ,: 1 ?來自 中國最大的資料庫下載 默認 理論的擴充 定義 ：對命題集合 E，如果 ?(E) = E，則 E稱為關于 D的算子 ?的 不動點 (fixpoint)。此時稱 E為 默認 理論 ?＝ D,W 的一個 擴充 (extension)。 例 1：設 D ＝ { }， W ＝ ?，計算 默認 理論 ?＝ D,W 的 擴充。 FCCBBA???:,:,:?＝ D,W 有唯一的擴充 E ＝ Th({172。B, 172。F})。 來自 中國最大的資料庫下載 例 2：設 D ＝ { }， W ＝ {B, C?F∨A, A∧C ? 172。E}，計算 默認 理論 ?＝ D,W 的 擴充。 GAFAECEEAFCCBAA ???? ,:,:,:,:?＝ D,W 有三個擴充 E1 ＝ Th(W?{A, C}) E2 ＝ Th(W?{A, E}) E3 ＝ Th(W?{C, E, G}) 來自 中國最大的資料庫下載 封閉默認理論的擴展 設封閉默認理論 ? = D, W, ?為關于 D的一個算符 ， ? 作用