Horn邏輯ppt課件

4 19 2020 1 HORN子句 4 19 2020 2 HORN子句邏輯邏輯學(xué)家AlfredHorn 定義如果一個(gè)子句中最多有一個(gè)正文字 則稱此子句為Horn子句 由Horn子句構(gòu)成的子句集 稱為Horn集 三種類型的Horn子句 1 一個(gè)單一原子 常被稱為一個(gè) 事實(shí) 2 一個(gè)蘊(yùn)涵 常被稱為一個(gè) 規(guī)則 它的前件由一個(gè)肯定文字的合取組成 而它的后件由一個(gè)肯定的文字組成 3 一個(gè)否定文字的集合 寫成帶有一個(gè)由肯定文字的合取組成的前件和一個(gè)空后件的蘊(yùn)涵形式 常稱為一個(gè) 目標(biāo) Horn集描述的知識(shí) 事實(shí)與規(guī)則 恰好是知識(shí)工程中經(jīng)常使用的知識(shí)表示方式 4 19 2020 3 Horn子句P Q1 Q2 Qn通常表示為P Q1 Q2 Qn 很顯然 Horn子句必取下列四種形式之一 1 P Q1 Q2 Qn n 0 稱為過程 P稱為過程名 Q1 Qn 稱為過程體 Qi為過程調(diào)用 2 P 上式中n 0 事實(shí) 3 Q1 Q2 Qn n 0 目標(biāo) 全部由過程調(diào)用組成 常用來表示詢問 4 停機(jī)語句 表示程序執(zhí)行 成功 終止 4 19 2020 4 Horn子句邏輯 就是由Horn子句組成的一階謂詞演算系統(tǒng)的子系統(tǒng) Horn子句邏輯程序就是指這樣一些被稱為過程 目標(biāo)和事實(shí)的Horn子句集合 4 19 2020 5 例 已知 張三在哪兒 他的狗就在哪兒 張三在火車上 詢問 張三的狗是否也在火車上 過程AT dog x AT zhang x 事實(shí)AT zhang train 目標(biāo) AT dog train 4 19 2020 6 程序執(zhí)行過程 首先 目標(biāo)中過程調(diào)用AT dog train 與過程名AT dog x 匹配 合一為 train x 調(diào)用過程AT zhang x train x 從而產(chǎn)生新的目標(biāo)目標(biāo) AT zhang train 它與事實(shí)AT zhang train 匹配 產(chǎn)生目標(biāo) 它標(biāo)志原目標(biāo)中過程調(diào)用AT dog train 成功 由于原目標(biāo)中只有一個(gè)過程調(diào)用 程序執(zhí)行終止 產(chǎn)生輸出 是 容易看出 Horn子句邏輯程序的執(zhí)行過程無異于歸結(jié)過程 匹配操作實(shí)即歸結(jié)操作 4 19 2020 7 例 設(shè)有某家庭成員的集合 Lary Linda Bob John Mary Allan Nick Kevin Bill 我們已知他們之間的親屬關(guān)系為 Linda是Bob John Mary的母親Mary是Bill的母親Bob是Allan Nick Kevin的父親Lary是Linda的丈夫詢問 Allan是Nick的兄弟嗎 Kevin是誰的兄弟 4 19 2020 8 4 19 2020 9 Mother x y x是y的母親Father x y x是y的父親Husband x y x是y的丈夫Brother x y x是y的兄弟有Horn子句程序如下 1 Mother Linda Bob 2 Mother Linda John 3 Mother Linda Mary 4 Mother Mary Bill 5 Father Bob Allan 6 Father Bob Nick 7 Father Bob Kevin 8 Husband Lary Linda 4 19 2020 10 9 Brother y z Mother x y Mother x z 10 Brother y z Father x y Father x z 11 Brother x z Brother x y Brother y z 12 Brother Allan Nick 詢問 Allan是Nick的兄弟嗎 12 Brother Kevin u 詢問 Kevin是誰的兄弟 程序執(zhí)行過程如下 13 Father x Allan Father x Nick 由 12 10 14 Father Bob Nick 由 13 5 15 由 14 6 對(duì)詢問 12 回答 是 繼續(xù)執(zhí)行回答詢問 12 的程序 13 Father x Kevin Father x u 由 12 10 14 Father Bob u 合一為 Bob x 由 13 7 15 合一為 Nick u 由 11 6 4 19 2020 11 對(duì)詢問 12 回答是 u Nick 即 Kevin是Nick的兄弟 為提取這一回答 可采用停機(jī)謂詞Print 這時(shí) 12 可以改作 Brother Kevin u Print u 最終程序終止于Pri