人工智能吳飛版課后答案

1、人工智能吳飛版課后答案附加題請(qǐng)寫出用一階謂詞邏輯表示法表示知識(shí)的步驟。（1）（2）（3）根據(jù)所要表達(dá)的知識(shí)的語(yǔ)義用適當(dāng)?shù)穆?lián)接符號(hào)將各個(gè)謂詞聯(lián)接起來(lái)，形成謂詞公式。什么是子句？什么是子句集？請(qǐng)寫出謂詞公式子句集的步驟。（1）消去謂詞公式中的蘊(yùn)涵和雙條件符號(hào)，以BB，以(A(B)(A(B)替換 A(B。減少不定符號(hào)的轄域，使不定符號(hào)最多只作用到一個(gè)謂詞上。變?cè)嗖煌?。消去存在量詞。后面公式的整個(gè)部分。母式化為合取范式，建立起與其對(duì)應(yīng)的子句集。2-2 用謂詞表示法求解修道士和野人問(wèn)題。在河的北岸有三個(gè)修道士、三個(gè)野人和一條船，修道士們想用這條船將所有的人都運(yùn)過(guò)河去，但要受到以下條件限制：修道士和野人

2、都會(huì)劃船，但船一次只能裝運(yùn)兩個(gè)人。在任何岸邊，野人數(shù)不能超過(guò)修道士，否則修道士會(huì)被野人吃掉。假定野人愿意服從任何一種過(guò)河安排，請(qǐng)規(guī)劃出一種確保修道士安全的過(guò)（1）定義謂詞先定義修道士和野人人數(shù)關(guān)系的謂詞： G(x,y,S)： 在 狀 態(tài) S 下 x 大 于 y GE(x,y,S)：在狀態(tài) S 下 x 大于或等于 y其中，x,y 分別代表修道士人數(shù)和野人數(shù)，他們的個(gè)體域均為0,1,2,3。再定義船所在岸的謂詞和修道士不在該岸上的謂詞：Boat(z,S)：狀態(tài) S 下船在 z 岸EZ(x,S)：狀態(tài) S 下 x 等于 0，即修道士不在該岸上其中，z 的個(gè)體域是L,R，L 表示左岸，R 表示右岸。再

3、 定 義 安 全 性 謂 詞 ： Safety(z,x,y,S)(G(x,0,S)GE(x,y,S)(EZ(x,S)其中，z,x,ySz再定義描述過(guò)河方案的謂詞：L-R(x,x1,y,y1,S)：x1 個(gè)修道士和 y1 個(gè)野人渡船從河的左岸到河的右岸條件：Safety(L,x-x1,y-y1,S)Safety(R,3-x+x1,3-y+y1,S)Boat(L,S) 動(dòng)作：Safety(L,x-x1,y-y1,S)Safety(R,3-x+x1,3-y+y1,S)Boat(R,S)R-L(x,x1,y,y1,S)：x2 個(gè)修道士和 y2 個(gè)野人渡船從河的左岸到河的右岸條件：Safety(R,3-

4、x-x2,3-y-y2,S)Safety(L,x+x2,y+y2,S)Boat(R,S)動(dòng)作：Safety(R,3-x-x2,3-y-y2,S)Safety(L,x+x2,y+y2,S)Boat(L,S) (2)過(guò)河方案Safety(L,3,3,S0)Safety(R,0,0,S0)Boat(L,S0) L-R(3,1,3,1,S0)L-R(3,0,3,2,S0)Safety(L,2,2,S1)Safety(R,1,1,S1)Boat(R,S1) Safety(L,3,1,S1)Safety(R,0,2,S1)Boat(R,S1)R-L(2,1,2,0,S1)R-L(3,0,1,1,S1)L-R(3,0,2,2,S2)R-L(3,0,0,1