[計(jì)算機(jī)軟件及應(yīng)用]aai08解釋學(xué)習(xí)高級(jí)人工智能史忠植(編輯修改稿)
2024-11-15 04:00 本頁(yè)面
【文章內(nèi)容簡(jiǎn)介】 pP US H T H R U),( 9pR O B O TI N R O O M),( 96 ppINR O O M2021/11/10 高級(jí)人工智能 解釋學(xué)習(xí) 史忠植 27 EGGS問(wèn)題描述 給定： ? 領(lǐng)域理論： ? 領(lǐng)域中對(duì)象的種類和特性的定義 ? 一組關(guān)于對(duì)象特性和相互關(guān)系的推理規(guī)則 ? 一組問(wèn)題求解的操作和已知的泛化圖式 ? 目標(biāo)：目標(biāo)狀態(tài)的一般規(guī)約。 ? 初始世界狀態(tài)：關(guān)于世界及其特性的規(guī)約。 ? 觀察到的操作 /狀態(tài)序列。 確定 ? 達(dá)到目標(biāo)狀態(tài)的一個(gè)新模式 2021/11/10 高級(jí)人工智能 解釋學(xué)習(xí) 史忠植 28 泛化過(guò)程的形式化描述 for each equality between expression and in the explanation structure: if is the antecedent of a domain rule and is the consequent of a domain rule then let = the most general unifier of and let = (* update SPECIFIC substitution) let = the most general unifier of and let = (* update GENERAL substitution) else let = the most general unifier of and let = (* update SPECIFIC substitution) 1e 2e1e 2e? ?1e ?2e? ??? ?1e ?2e? ??? ?1e ?2e? ??2021/11/10 高級(jí)人工智能 解釋學(xué)習(xí) 史忠植 29 EGGS解釋泛化算法 let be the null substitution {}. for each equality between and in the explanation structure do: let be the result of applying to . let be the result of applying to . let be the MGU of and . let be . for each pattern in the explanation structure do: replace with . ?ip jp39。ip ? ip39。jp ? jp? 39。ip 39。jp? ??kpkp ?kp2021/11/10 高級(jí)人工智能 解釋學(xué)習(xí) 史忠植 30 解釋特化學(xué)習(xí)方法 從多種目標(biāo)概念學(xué)習(xí)，其解釋過(guò)程是對(duì)每個(gè)目標(biāo)概念進(jìn)行詳細(xì)描述。解釋過(guò)程結(jié)束后，把得到在有關(guān)目標(biāo)概念的描述轉(zhuǎn)換成一條相應(yīng)的控制規(guī)則?？梢杂眠@些規(guī)則來(lái)選擇合適的節(jié)點(diǎn)、子目標(biāo)、算子及約束。較好地克服了 EBG方法中過(guò)分一般化的缺點(diǎn)。 2021/11/10 高級(jí)人工智能 解釋學(xué)習(xí) 史忠植 31 PRODIGY體系結(jié)構(gòu) 問(wèn) 題 PS跟蹤 求 解 控制知識(shí) 規(guī) 劃 庫(kù) 領(lǐng)域知識(shí) 抽象層次 EBL 派生抽取 抽象生成器 實(shí) 驗(yàn) 外部處理 用戶問(wèn)題 問(wèn)題求解器 派生 重演 多級(jí) 2021/11/10 高級(jí)人工智能 解釋學(xué)習(xí) 史忠植 32 PRODIGY的學(xué)習(xí) 1. 解釋過(guò)程 ? 如果概念是原語(yǔ)，則不改變返回。 ? 訪問(wèn)識(shí)別器，取出規(guī)則；獲得子概念，特化子概念；重命名變量；置換并簡(jiǎn)化。 ? 返回。 2. 學(xué)習(xí)控制規(guī)則 ? 由成功概念學(xué)到 preference rules； ? 由失敗概念學(xué)到 rejection rules； ? 由其它選擇都失敗學(xué)到 selection rules； 3. 知識(shí)表示 ? 領(lǐng)域?qū)庸? ? 構(gòu)筑層公理 2021/11/10 高級(jí)人工智能 解釋學(xué)習(xí) 史忠植 33 解釋泛化的邏輯程序 工作原理 歸結(jié)原理：設(shè)兩個(gè)短句 C C2無(wú)公共變量，L1和 L2分別是 C1和 C2的兩個(gè)文字，若 L1和172。L2存在一個(gè)最一般的合一置換，那么子句（ C1L1) (C2L2)就是兩個(gè)子句 C1和 C2的歸結(jié)式。 ?2021/11/10 高級(jí)人工智能 解釋學(xué)習(xí) 史忠植 34 Turbo Prolog的合一算法 1) 自由變量可以和任意項(xiàng)合一。合一后該自由變量約束為與之合一的項(xiàng)。 2) 常量可與自身或自由變量合一。 3) 若兩個(gè)復(fù)合項(xiàng)的函子相同且函子所帶參量個(gè)數(shù)一樣，則這兩個(gè)復(fù)合項(xiàng)可以合一的條件是：所有子項(xiàng)能對(duì)應(yīng)合一。約束變量要用合一后的約束值替換。 2021/11/10 高級(jí)人工智能 解釋學(xué)習(xí) 史忠植 35 解釋泛化的邏輯程序設(shè)計(jì) 1. 解釋 ? 合一算法作為基礎(chǔ)，用 Prolog謂詞來(lái)完成 ? 把領(lǐng)域理論用內(nèi)部數(shù)據(jù)庫(kù)的形式存儲(chǔ)。 2. 泛化 ? 包括常量用變量代替、新項(xiàng)合成等工作。 3. 解釋和泛化交叉進(jìn)行 2021/11/10 高級(jí)人工智能 解釋學(xué)習(xí) 史忠植 36 Prolog簡(jiǎn)單的元解釋器 prolog(Leaf): clause(Leaf, true). prolog((Goal, Goal2)): prolog(Goal1), prolog(Goal2). Prolog(Goal):
教學(xué)課件相關(guān)推薦
鄂ICP備17016276號(hào)-1