第六章邏輯式程序設計語言(編輯修改稿)
2024-08-28 13:25 本頁面
【文章內(nèi)容簡介】 Q∨ ?P P p1p5歸結(jié) Q R∨ ?Q 再與 p2歸結(jié) S∨ ?R R 再與 p3歸結(jié) S ?U∨ ?S 再與 p4歸結(jié) U ?U 再與 p6歸結(jié) 矛盾 由本例可以看出兩個問題： 第一，歸結(jié)法是由合一算法實現(xiàn)的。所謂 合一 是找出型式匹配的兩子句， 將它們合一為歸結(jié)式， 相當于代數(shù)中的化簡。 第二，如果得不出矛盾，那么歸結(jié)法要無休止地做下去，中間歸結(jié)式出得越多， 匹配查找次數(shù)越多， 每一步都做長時間計算， Solution： 利用切斷 (cut)操作， 并利用對子句形式進一步限制的 超級歸結(jié)法 (Hyperresolution)。 ? Horn子句實現(xiàn)超歸結(jié) Horn子句是至多只有一個非負謂詞符號的子句 Horn子句形式示例如下 : ?P∨ ?Q∨ S∨ ?R∨ ?T 其中只有一個非負謂詞 S,可作以下演算： 先將 S移向右方 ┠ S∨ ?P∨ ?Q∨ ?R∨ ?T 按德 摩根定律 ┠ S∨ ? (P∧ Q∧ R∧ T) 39?！??39。即’ → ’， 則 ┠ S←(P ∧ Q ∧ R ∧ T) 此條件 Horn子句的意義是 if (P∧ Q∧ R∧ T) then S。 若 S為空， 則為無條件 Horn子句， 是一個斷言 (事實 ) 邏輯程序的風格 第一 個特點是它不描述計算過程而是描述證明過程 第二個特點是描述性 第三個特點是大量用表和遞歸實現(xiàn)重復操作 例 求平均成績的邏輯程序，打開一分數(shù)文件 scores， 讀入分數(shù)求和并用的數(shù) N除之得平均成績 average : see(scores)， getinput (Sum， N)， seen (scores)， Av is Sum /N， print (39。Average = 39。， Av) getinput (Sum， N) : ratom (X)， not (eof)， getinput (Sum1， N1)， Sum is Sum1 + X， N is N1＋ 1. getinput (0， 0) : eof. 典型邏輯程序設計語言 Prolog ? Prolog要環(huán)境支持 ， 即管理事實和規(guī)則的數(shù)據(jù)庫 ? Prolog的基本成分是對象 (常量、變量、結(jié)構、表 )、謂詞、運算符、函數(shù)、規(guī)則 ? 從 純語法 意義上 Prolog的項什么都可以表示 : ? 項 ::=常量 |變量 |結(jié)構 |(項 )|表 后綴算符 ? |項 中綴算符 項 |，項 前綴算符 ?從 語義 角度， 以下語法描述提供了處理時的語義概念 : 程序 → 子句 子句 → ( 事實 | 規(guī)則 | 查詢 ) 事實 → 結(jié)構 規(guī)則 → 頭 : 體 頭 → 結(jié)構 體 → 目標 ， 目標 目標 → /* 形如 p或 q(T， … ， )的字面量 */ ?Prolog程序結(jié)構 Prolog程序由子句組成， 子句模型是 Horn子句。 (1) 事實與規(guī)則 Prolog程序先定義公理集 例： Prolog的規(guī)則和事實 條件子句 (規(guī)則 ) pretty (X):artwork(X) pretty (X):color(X， red)， flower(X). watchout (X):sharp(X， _). 無條件子句 (事實 ) color (rose， red). sharp (rose， stem). sharp (holly， leaf). flower(rose). flower(violet) artwork (painting (Mo， haystack_at_Giverny)). (2)查詢
環(huán)評公示相關推薦
鄂ICP備17016276號-1