人工智慧-chap7.ppt

* 解析algorithm 使用矛盾證明KB ╞ α, 即證明KB ? ?α 是不可滿足的。 * 解析example 證明KB ╞ α,證明位置[1,2]方格沒有陷阱 KB = (B1,1 ? (P1,2? P2,1)) ?? B1,1 α = ?P1,2 * 解析example 證明KB ╞ α,證明位置[1,2]方格沒有陷阱 KB = (B1,1 ? (P1,2? P2,1)) ?? B1,1 α = ?P1,2 * 7.7 基於命題邏輯的代理人 知識庫：感知命題：?S1,1, ?B1,1, ?S2,1, B2,1, S1,2, ?B1,2。 意涵命題： R1 ?S1,1 ? ?W1,1 ? ?W1,2 ? ?W2,1 R2 ?S2,1 ? ?W1,1 ? ?W2,1 ? ?W2,2 ? ?W3,1 R3 ?S1,2 ? ?W1,1 ? ?W1,2 ? ?W2,2 ? ?W1,3 R4 S1,2 ? W1,3 V W1,2 V W2,2 V W1,1 尋找Wumpus ：代理人根據推論規則會自動做出W1,3的結論。代理人所需要做的事情是建構一個KB ? W1,3的真值表，並證明這個命題是確鑿的。 共有12個命題符號，212=4096列的真值表。推論規則如下： * 尋找Wumpus ：W1,3 1.應用Ponens法於命題?S1,1與R1，得到 ?W1,1Λ?W1,2Λ?W2,1 2.應用And-消去法，得到?W1,1 ?W1,2 ?W2,1 3.應用Ponens法於命題?S2,1與R2，並應用And-消去法， 得到?W2,2 ?W2,1 ?W3,1 4.應用Ponens法於命題S1,2與R4，得到W1,3 V W1,2 V W2,2 V W1,1 5.應用單位解析規則，其中α為W1,3 V W1,2 V W2,2，β為W1,1， (應用步驟2得到?W1,1) ，可得到 W1,3 V W1,2 V W2,2 6.再一次應用單位解析規則，其中α為W1,3 V W1,2，β為W2,2， (應用步驟3得到?W2,2) ，可得到 W1,3 V W1,2 V W2,2 7.最後α為W1,3，β為W1,2，(應用步驟2得到?W1,2) ，可得到 我們想要的結論，也就是Wumpus在[1,3]: W1,3 * 7.7 Wumpus世界代理人尋找PIT 知識庫感知命題：?B1,1, B2,1, ?B1,2 , ?B2,2 。 意涵命題：Let Pi,j be true if there is a pit in [i,j]. Let Bi,j be true if there is a breeze in [i,j]. R1 ?P1,1 R2 ?B1,1 ? ?P2,1 ? ?P1,2 R3 ?B1,2 ? ?P1,1 ? ?P2,2 ? ?P1,3 R4 B2,1 ? P3,1 V P2,2 R5 ?B2,2 ? ?P1,2 ? ?P2,1 ? ?P2,3 ? ?P3,2 尋找PIT[3,1]：代理人根據推論規則會自動做出P1,3的結論。代理人所需要做的事情是建構一個KB ? P1,3的真值表，並證明這個命題是確鑿的。 * 尋找PIT：P3,1 1.應用Ponens法於命題?B1,2與R3， 得到 ?P1,1 ? ?P2,2 ? ?P1,3 2.應用And-消去法，得到 ?P1,1 ?P2,2 ?P1,3 3.應用Ponens法於命題B2,1與R4，得到P3,1 V P2,2 4.應用單位解析規則，其中α為P3,1 V P2,2 ，β為?P2,2 ， (應用步驟2得到? P2,2) ，可得到 P3,1，我們想要的結論，也就是PIT在[3,1]: P3,1 * 尋找Wumpus ：W1,3 將知識轉換成行動：代理人在[1,1]面向東的規則是： A1,1 ? EastA ? W2,1 ? ?Forward 命題代理人的問題:有太多的命題需要處理。簡單的規則「如果Wumpus在你的面前，則不要往前走。」在4*4方格中各有4個方向，則命題邏輯需要用64條規則表示。可用一階邏輯來簡化成1條規則。 代理人必須記住過去，因此需要引進時間版權的規則： A01,1 ? East0A ? W02,1 ? ?Forward0 A11,1 ? East1A ? W12,1 ? ?Forward1 A21,1 ? East2A ? W22,1 ? ?Forward2 . A01,1 ? North0A ? W01,