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

1、邏輯學(xué)教授的3個得意門生ABC前一晚在酒吧喝多了，結(jié)果第二天3人集體遲到。教授說:“作為對你們遲到的懲罰，你們3人必須比其他同學(xué)多做一道作業(yè)，完成了這道作業(yè)才可以離開教室?！边@道附加的作業(yè)是一道帽子題，教授給每人戴了頂帽子，帽子不是紅色就是白色，不是白色就是紅色。每人都能看見其他2人帽子的顏色，卻不能看見自己帽子的顏色。每人都看到其他2人帽子的顏色后，每思考5分鐘為一輪，誰猜出自己帽子的顏色了就可以說出來并離開。教授還說：“你們3人中至少有1人戴了紅色帽子。”第一輪下來，A說：“我沒猜出來。"B說“我也沒猜出來"C說：“我也猜不出?！钡诙喯聛?，還是沒人能猜出自己帽子的顏色

2、。第三輪，3人都猜出了自己帽子的顏色。問：ABC三人頭頂都是什么顏色的帽子？然后用謂詞邏輯寫出推理過程。最一般合一及歸結(jié)反演相關(guān)已知w=P(f(x,g(A,y),z),P(f(x,z),z),求MGU令S0=£,wo=w,因w中含有兩個表達式，因此S0不是最一般合一差異集D0=g(A,y)/z81=80。D)=g(A,y)/zw=P(f(x,g(A,y),g(A,y),P(f(x,g(A,y),g(A,y)w中僅含有一個表達式，所以81就是最一般合一。證明G是否是F1、F2的邏輯結(jié)論。F1:(?x)(P(x)-(Q(x)AR(x)F2:(?x)(P(x)AS(x)G:(?x)(S(x

3、)AR(x)F1:?P(x)V(Q(x)AR(x)?(?P(x)VQ(x)A(?P(x)VR(x)F2:P(x)AS(x)?G:?(?x)(S(x)AR(x)?(?x)(?(S(x)AR(x)?S(x)V?R(x)子句集：1?P(x)VQ(x)2?P(x)VR(x)3P(x)4S(x)5?S(x)V?R(x)其中2與3規(guī)約，4與5歸結(jié)，其結(jié)果再歸結(jié)得到空子句，證明G是F1與F2的結(jié)論。農(nóng)夫過河問題(1)農(nóng)夫每次只能帶一樣?xùn)|西過河(2)如果沒有農(nóng)夫看管，狼吃羊，羊吃菜要求：設(shè)計一個過河方案，使得農(nóng)夫、狼、羊、菜都能過河，畫出相應(yīng)的狀態(tài)空間圖。四元組S表示狀態(tài)，即S=(農(nóng)夫，狼，羊，菜)用0表示在

4、左岸，1表示在右岸初始S=(0,0,0,0)目標(biāo)G=(1,1,1,1)定義操作符L(i)表示農(nóng)夫帶東西到右岸：i=0農(nóng)夫自己到右岸；i=1農(nóng)夫帶狼到右岸；i=2農(nóng)夫帶羊到右岸；i=3農(nóng)夫帶菜到右岸；定義操作符R(i)表示農(nóng)夫帶東西到左岸：i=0農(nóng)夫自己到左岸；i=1農(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,1)羊、菜在右岸；(0,0,0,0)/L(2)(1,0,1,0)/R(0)(0,0,1,0)/L(1)R(3)(1,1,1,0)(1,0,1,1)/R(2)R(2)(0,1,0,0)(0,0,0,1)L(3)/L(1)(1,1,0,1)R(0)(0,1,0,1)L(2)(1,1,1,1)解一：1.帶羊過河(1，0,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.帶羊過河(1，1,1,1)解二：1.帶羊過河(1，0,1,0)2.農(nóng)夫回來(0，0,1,0)3