農(nóng)夫過河問題狀態(tài)空間表示

1、農(nóng)夫過河問題狀態(tài)空間表示邏輯學(xué)教授的3個(gè)得意門生ABC,前一晚在灑吧喝多了，結(jié)果第二天3人集體遲到。教授 說： ''作為對(duì)你們遲到的懲罰，你們3人必須比其他同學(xué)多做一道作業(yè)，完成了這道作業(yè)才 可以離開教室。這逍附加的作業(yè)是一道帽子題，教授給每人戴了頂帽子，帽子不是紅色就 是白色，不是白色就是紅色。每人都能看見貝他2人帽子的顏色，卻不能看見自己帽子的 顏色。每人都看到其他2人帽子的顏色后，每思考5分鐘為一輪，誰猜出自己帽子的顏色 了就可以說出來并離開。教授還說：''你們3人中至少有1人戴了紅色帽子。 第一輪下來，A說： ''我沒猜岀來。說、'

2、;我也沒猜出來"C說： ''我也猜不出?！?第二輪下來，還是沒人能猜出自己帽子的顏色。第三輪，3人都猜岀了自己帽子的顏色。問：ABC三人頭頂都是什么顏色的帽子？然后用謂詞邏輯:寫出推理過程。最一般合一及歸結(jié)反演相關(guān)己知 w=P (f (xzg (A, y) ) z z) z P(f (xz z) fz) f 求MGU令6o=e, w0=w.因w中含有兩個(gè)表達(dá)式，因此&。不是最一般合一差異集 D0=g(Azy) /z5i=5o°Do=g (Ar y) /z wi=P(f (xfg(Af y) r g(A,y) ) , P(f (x,g(A,y) ) ,

3、g(A,y) 磯中僅含有一個(gè)表達(dá)式，所以6就是最一般合一。證明G是否是Fl、F2的邏輯結(jié)論。Fl: (Vx) (P(x)t(Q(x) AR(x)F2: (3x) (P(x) As(x)G: (3x) (S (x) AR(x)Fl: P(x) V (Q(x) AR(x) ) => (P(x) VQ(x) ) A (P(x) VR(x)F2 : P (x) AS (x)G: (3x) (S(x) Ar(x) ) => (Vx) (S(x) AR(x) ) ) =>(x) V-R(x)子句集：1 P(x) Vq(x)2 P(x) VR(x)3 P(x)4 S(x)5 -«

4、S (x) V-iR (x)苴中2與3規(guī)約，4與5歸結(jié)，其結(jié)果再歸結(jié)得到空子句，證明G是Fl與F2的結(jié)論。農(nóng)夫過河問題(1) 農(nóng)夫每次只能帶一樣?xùn)|西過河(2) 如果沒有農(nóng)夫看管，狼吃羊，羊吃菜要求：設(shè)訃一個(gè)過河方案，使得農(nóng)夫、狼、羊、菜都能過河，畫出相應(yīng)的狀態(tài)空間圖。四元組S表示狀態(tài)，即S=(農(nóng)夫，狼，羊，菜)用0表示在左岸，1表示在右岸初始 S=(0, 0, 0, 0)目標(biāo) G=(l, 1, 1, 1)農(nóng)夫過河問題狀態(tài)空間表示立義操作符L (i)表示農(nóng)夫帶東西到右岸: i=0農(nóng)夫自己到右岸；i=l農(nóng)夫帶狼到右岸；i=2農(nóng)夫帶羊到右岸：i=3農(nóng)夫帶菜到右岸：定義操作符R(i)表示農(nóng)夫帶東四到左

5、岸:i=0農(nóng)夫自己到左岸：i=l農(nóng)夫帶狼到左岸；i=2農(nóng)夫帶羊到左岸：i=3農(nóng)夫帶菜到左岸：約束狀態(tài)如下：(1, 0, 0, X)狼、羊在左岸：(1, X, 0, 0)羊、菜在左岸：(0, 1, 1, X)狼、羊在右岸：(0, X, 1, 3.)羊、菜在右岸；(0, 0, 0, 0)/ L(2)(1, 0, 1, 0)/ R(0)(0, 0, 1, 0)/ L(D R(3)(I, 1, 1, 0)(1, 0, 1, 1)/ R(2) R(2)(0, 1, 0, 0) (0, 0, 0, 1) L(3)/ L(l)(1, 1, 0, 1) R(0)(0, 1, 0, 1) L(2)(1, 1, 1, 1)解一：1.帶羊過河(It0, 1,0)2.農(nóng)夫回來(0,0, 1,0)3.帶狼過河(1,1, 1,0)4.帶羊回來(0,1, 0,0)5.帶菜過河(1,1, 0,1)6.農(nóng)夫回來(0,1, 0,1)7.帶羊過河(It1, 1,1)解二：1.帶羊過河(1,0, 1,0)2.農(nóng)夫回來(0,0, 1,0)3.帶菜過河(1,0,