人工智能習(xí)題課(1)44(編輯修改稿)
2025-03-09 20:55 本頁(yè)面
【文章內(nèi)容簡(jiǎn)介】 年月： 1980年 9月 崗位：普通辦公員 職稱：助教 第 3章 習(xí)題 3用有界深度優(yōu)先搜索方法求解圖 示八數(shù)碼難題。 2 81 6 37 5 4S0 Sg 定義操作符集： F={f1,f2,f3,f4}， 其中： f1表示空格右移； f2表示空格上移； f3表示空格左移； f4表示空格下移。 搜索時(shí)，節(jié)點(diǎn)的擴(kuò)展順序規(guī)定為按右、左、上、下方向移動(dòng)空格。并設(shè)置深度界限為 8。 2 81 6 37 5 4S0 Sg 2 81 6 37 5 4S0 2 81 6 37 5 42 8 31 67 5 4f4 f3 2 8 31 67 5 42 8 31 6 47 5f3 f4 2 8 31 6 47 5f3 2 8 31 47 6 52 8 31 6 47 5f3 f2 2 8 31 47 6 52 31 8 47 6 5f3 f2 2 31 87 6 52 31 8 47 6 5f3 f1 1 38 47 6 5f4 Sg 1 2 38 47 6 51 2 37 8 46 5f4 f3 由上述有界深度優(yōu)先搜索樹(shù)中可見(jiàn)， 當(dāng) d=8時(shí)，八數(shù)碼難題的一個(gè)解為： f4, f4, f3, f2, f2, f3, f4, f3 317 、把下列句子變換成子句形式： (1) (?x){P(x)→P(x)} (2) 解： (?x){P(x)→P(x)} (3) 消去蘊(yùn)含符號(hào)得： (?x){～ P(x)∨ P(x)} (4) 消去存在量詞得： ～ P(x)∨ P(x) (5) 于是得到子句：～ P(x)∨ P(x) 317 、把下列句子變換成子句形式： (4) ～ {(?x){P(x)→{( ?y)[p(y)→p(f(x,y))] ∧ (?y)[Q(x,y)→P(y)]}}} 1) ～ {(?x){～ P(x)∨ {(?y)[～ p(y)∨ p(f(x,y))] ∧ (?y)[～ Q(x,y)∨ P(y)]}}} 2) (?x){P(x)∧ {(?y)[p(y)∧ ～ p(f(x,y))] ∨ (?y)[Q(x,y)∧ ～ P(y)]}} 3) (?x){P(x)∧ {(?y)[p(y)∧ ～ p(f(x,y))] ∨ (?z)[Q(x,z)∧ ～ P(z)]}} 3) (?x){P(x)∧ {(?y)[p(y)∧ ～ p(f(x,y))] ∨ (?z)[Q(x,z)∧ ～ P(z)]}} 4) 令 Skolem函數(shù)： x=A， y=B， z=C，則 5) P(A)∧ { [p(B)∧ ～ p(f(A,B))] ∨ [Q(A,C)∧ ～ P(C)]}} 5) P(A)∧ [p(B)∨ Q(A,C)]∧ [p(B) ∨ ～ P(C)] 6) ∧ [～ p(f(A,B)) ∨ Q(A,C)] 7) ∧ [～ p(f(A,B)) ∨ ～ P(C)]}} 8) 6) 子句集： {P(A)， p(B)∨ Q(A,C)， p(B) ∨ ～ P(C)， ～ p(f(A,B)) ∨ Q(A,C)，～p(f(A,B)) ∨ ～ P(C)} 補(bǔ)充題： 例 1：張某被盜，公安局派出五個(gè)偵察員去調(diào)查。研究案情時(shí)，偵察員 A說(shuō)“趙與錢中至少有一人作案”；偵察員 B說(shuō)“錢與孫中至少有一人作案”；偵察員 C說(shuō)“孫與李中至少有一人作案”；偵察員 D說(shuō)“趙與孫中至少有一人與此案無(wú)關(guān)
規(guī)章制度相關(guān)推薦
鄂ICP備17016276號(hào)-1