猴子拿香蕉 逻辑谓词复习过程
猴子摘香蕉实验报告记录(含代码)
猴子摘香蕉实验报告记录(含代码)————————————————————————————————作者：————————————————————————————————日期：华中科技大学《人工智能与模式识别》实验报告院系：电子与信息工程系班级：姓名：同组人：指导老师：电话：邮箱：日期：2013年12月24日一、实验内容利用一阶谓词逻辑求解猴子摘香蕉问题：房内有一个猴子，一个箱子，天花板上挂了一串香蕉，其位置如图所示，猴子为了拿到香蕉，它必须把箱子搬到香蕉下面，然后再爬到箱子上。
请定义必要的谓词，列出问题的初始化状态（即下图所示状态），目标状态（猴子拿到了香蕉，站在箱子上，箱子位于位置b）。
（附加：从初始状态到目标状态的谓词演算过程。
）二、实验平台VC6.0三、实验分析1. 定义描述环境状态的谓词。
AT(x,w)：x在t处，个体域：xϵ{monkey}，wϵ{a,b,c,box}；HOLD(x,t)：x手中拿着t，个体域：tϵ{box,banana}；EMPTY(x)：x手中是空的；ON(t,y)：t在y处，个体域：yϵ{b,c,ceiling}；CLEAR(y)：y上是空的；BOX(u)：u是箱子，个体域：uϵ{box}；BANANA(v)：v是香蕉，个体域：vϵ{banana}；2. 使用谓词、连结词、量词来表示环境状态。
问题的初始状态可表示为：S o：AT(monkey,a)˄EMPTY(monkey)˄ON(box,c)˄ON(banana,ceiling)˄CLEAR(b)˄BOX(box)˄BANANA(banana)要达到的目标状态为：S g：AT(monkey,box)˄HOLD(monkey,banana)˄ON(box,b)˄CLEAR(ceiling)˄CLEAR(c)˄BOX(box)˄BANANA(banana)3. 从初始状态到目标状态的转化, 猴子需要完成一系列操作, 定义操作类谓词表示其动作。
猴子摘香蕉实验报告
实验1：猴子摘香蕉问题的VC编程实现一、实验目的利用一阶谓词逻辑求解猴子摘香蕉问题并通过编程来实现二、编程环境本文主要编译环境是Windows 10 Visual Studio 2015 在Ubuntu 12.0 用gcc编译来演示问题的另外几种状态的解法三、问题描述房内有一个猴子，一个箱子，天花板上挂了一串香蕉，其位置如图所示，猴子为了拿到香蕉，它必须把箱子搬到香蕉下面，然后再爬到箱子上。
请定义必要的谓词，列出问题的初始化状态（即下图所示状态），目标状态（猴子拿到了香蕉，站在箱子上，箱子位于位置b）。
四、解决方案1.定义描述环境状态的谓词。
AT(x,y)：x在y处，个体域：xϵ{monkey, box,banana }，yϵ{a,b,c}；HAND(s)：猴子手中拿着s，个体域：sϵ{box,banana}；ONBOX(monkey)：猴子在箱子上；2.使用谓词、连结词、量词来表示环境状态。
问题的初始状态可表示为：S o：A T(monkey,a)˄ ~HAND(s)˄AT(box,c) ˄ ~ONBOX(monkey) ˄AT(banana,b)要达到的目标状态为：S g：AT(box,b) ˄ ONBOX(monkey) ˄ HAND(banana)˄AT(monkey,b) ˄AT(banana,b)3.从初始状态到目标状态的转化, 猴子需要完成一系列操作, 定义操作类谓词表示其动作。
go(m,n)：猴子从m走到n处，个体域：m,nϵ{a,b,c}；movebox(m,n)：猴子把箱子从m 处移动到n 处，个体域：m,n ϵ{a,b,c}；onbox(m)：猴子在m 处爬上箱子，个体域：m ϵ{a,b,c}；catch(banana):猴子摘到香蕉；这3个操作也可分别用条件和动作来表示。
条件直接用谓词公式表示，是为完成相应操作所必须具备的条件；当条件中的事实使其均为真时，则可激活操作规则，于是可执行该规则中的动作部分。
人工智能复习题_2
＝(CF12(H)十 CF3(H))/(1－min{|CF12(H)|, |CF3(H)|}) ＝(0．6838－0．24)/(1 － 0. 24) ＝0．5839
设有一组知识： R1：If E1 Then H CF(H，E1) = 0.8 R2：If E2 Then H CF(H，E2) = 0.6 R3：If E3 Then H CF(H，E3) = -0.5 R4：If E4 ∧(E5∨E6) Then E1 CF(E1， E4 ∧(E5∨E6) ) = 0.7 R5：If E7 ∧E8 Then E3 CF(E3， E7 ∧E8 ) = 0.9
在图中，E3、E4、E5、E6、E7 和 E8 为原始证据，其确定性因子由
用户给出，假定它们的值为：
CF(E3)＝0.3， CF(E4)＝0.9， CF(E5)＝0.6，
CF(E6)
＝0.7， CF(E7)＝-0.3， CF(E8)＝0.8。
求 CF(H)=？
解：先求出 CF(E1)、CF(E2)和 CF(E3) 。
：( x)( y)( z)( s)(P(x,y,z,s)→P(z,y,z,walk(x,z,s))) (猴子走到梯子处)
：～P(x,y,z,s)∨(P(z,y,z,walk(x,z,s))
：( x)( y)( s)(P(x,y,x,s)→P(y,y,y,carry(x,y,s))) (猴子搬着梯子到 y)
＝1×max(0，min{CF(E6)，max{CF(E7)，CF(E8)}}}
＝1×max{0，min{CF(E6)，max{-0.3，0.8}}}
＝1×max{0，min{0.7，0.8}}
知识表示经典习题-2014
习题1. 猴子摘香蕉问题，给出它的产生式系统表示：
一个房间里，天花板上挂有一串香蕉，有一只猴子可在房间里任意活动（到处走动，推移箱子，攀登箱子等）。
设房间里还有一只可被猴子移动的箱子，且猴子登上箱子时才能摘到香蕉，问猴子在某一状态下（设猴子位置为A，箱子位置为B，香蕉位置在C），如何行动可摘取到香蕉。
习题. 对三枚钱币问题给出产生式系统表示及状态空间图：
设有三枚钱币，其排列处在“正、正、反”状态，现允许每次翻动其中任意一个钱币，问只许操作三次的情况下，如何翻动钱币使其变成“正、正、正”或“反、反、反”状态。
猴子拿香蕉 逻辑谓词
房内有一只猴子、一个箱子，天花板上挂了一串香蕉，其位置关系如图所示，猴子为了拿到香蕉，它必须把箱子推到香蕉下面，然后再爬到箱子上。
请定义必要的谓词，写出问题的初始状态（即图示的状态）、目标状态（猴子拿到了香蕉，站在箱子上，箱子位于位置b）。
定义谓词AT(x,y)：x在y位置上BOX(y)：箱子在y的位置。
OVER（x）：x被挂在天花板上EMPTY(x)：x手中是空的HOLD(x, z)：x拿着zON(x,w)：x在w的上面NOT_on(x,w) ：x在w的上面BAN(y)：香蕉在y的位置猴子的位置为:a香蕉位置为：b箱子的位置为：c问题的初始状态：AT(monkey, a)∧BOX(c)∧BAN(b)∧OVER（b）∧EMPTY(monkey)∧NOT_on(monkey, box)问题的目标状态是：AT(monkey, b)∧BOX(b)∧BAN(b)∧HOLD(monkey, banana)∧ONmonkey, box)操作：GOTO(x, y)：从x处走到y处。
PUSH(x, y)：把箱子从x处推倒y处。
CLIMB(x)：在x处爬上箱子。
GET(x)：在x处得到香蕉。
操作对应的条件与动作如下：GOTO(x, y)条件：AT(monkey, x)∧NOT_on(monkey, box)动作：删除：AT(monkey, x)添加：AT(monkey, y)PUSH(x, y)条件：AT(monkey, x)∧BOX(x)∧NOT_on(monkey, box)动作：删除：AT(monkey, x)∧BOX(x)添加：AT(monkey, y)∧BOX(y)CLIMB(x)条件：AT(monkey, x)∧BOX(x) ∧NOT_on(monkey, box) 动作：删除：NOT_on(monkey, box)添加：ON(monkey, box)GET(x)条件：AT(monkey, x)∧BOX(x)∧ON(monkey, box)动作：删除：EMPTY(monkey)添加：HOLD(monkey, banana)。
人工智能复习
猴子和香蕉的问题在一个房间内有一只猴子，（可把这只猴子看作一个机器人）、一个箱子和一束香蕉。
香蕉挂在天花板下方，但猴子的高度不足以碰到它，这只猴子怎样才能摘到香蕉呢？解：用一盒寺院表列（W，x，Y，z）；来表示这个问题的状态，其中：W－猴子的水平位置x－当猴子在箱子顶上时取x=1；否则取x=0Y－箱子的水平位置z－当猴子摘到香蕉时取z=1；否则取z=0该问题的操作（算符）：1.goto（U）表示猴子走到水平位置U或者用产生式规则表示为：（W，x，Y，z）goto(U) （U，0，Y，z）2.pushbox（V）猴子把箱子推到水平位置V，即有：(W,0,W ,z) pushbox(V) (V,0,V,z)3.climbbox猴子爬上箱顶，即有：(W,0,W ,z) climbbox (W,1,W ,z)4.grasp猴子摘到香蕉，即有：(c,1,c ,0) grasp (c,1,c ,1)该初始状态变换为目标状态的操作序列为：{ goto(b),pushbox(c),climbbox,grasp}空间状态图问题归约法有3个柱子(1，2和3)和3个不同尺寸的圆盘（A，B和C）。
在每个圆盘的中心有一个孔，所以圆盘可以堆叠在柱子上。
最初，3个圆盘都堆在柱子1上：最大的圆盘C在底部，最小的圆盘A在顶部。
要求把所有圆盘都移到柱子3上，每次只许移动一个，而且只能先搬动柱子顶部的圆盘。
还不许把尺寸较大的圆盘堆放在尺寸较小的圆盘上。
解将上面的分析理一下顺序：就把原问题归约为3个子问题：移动A、B至柱2的双圆盘问题；（1，1，1）→（1，2，2）移动C至柱3的单元盘问题；（本原问题）（1，2，2）→（3，2，2）移动A、B至柱3的双圆盘问题。
（3，2，2）→（3，3，3）将梵塔问题归约为本原问题的问题空间2.4语义网络法用语义网络法表示下列知识：（1）更知鸟是一只鸟，（2）鸟是会飞的，（3）CLYDE是一只更知鸟；(4)CLYDE从春天到秋天只占有一个巢。
猴子摘香蕉问题acb箱子
实例： 猴子摘香蕉问题
箱子
a
c
b
•
目 标 状 态
箱子
aLeabharlann cb实例： 猴子摘香蕉问题
问题状态的表示：四元组（W，x，Y，z） W：猴子的水平位置。W=a，b，c。 x：当猴子在箱子顶上时取x=1；否则取
x=0。 Y：箱子的水平位置。Y=a，b，c。 z：当猴子摘到香蕉时取z=1；否则取z=0。
初始状态：（a，0，b，0） 目标状态：（c，1，c，1）
算符集合：
goto(U)：猴子走到水平位置U。
（W，0，Y，z） goto(U) （U，0，Y，z）
pushbox(V)：猴子把箱子推到水平位置V。
（W，0，W，z） pushbox(V) （V，0，V，z）
climbbox：猴子爬上箱顶。
思考题
设有3个传教士和3个野人来到河边， 打算乘一只船从右岸渡到左岸去。该船的 负载能力为两人。在任何时候，如果野人 人数超过传教士人数，那么野人就会把传 教士吃掉。他们怎样才能用这条船安全地 把所有人都渡过河去？
（W，0，W，z） climbbox （W，1，W，z）
grasp：猴子摘到香蕉。
（c，1，c，0） grasp （c，1，c，1）
算符的适用性条件：强加于操作的实用性条件。
如：应用算符pushbox(V)时，要求猴子与箱子必须 在同一位置。
猴子摘香蕉问题的状态空间图如下图所示。 操作序列：{goto(b)，pushbox(c)，climbbox，grasp}
猴子拿香蕉逻辑谓词
房内有一只猴子、一个箱子，天花板上挂了一串香蕉，其位置关系如图所示，猴子为了拿到香蕉，它必须把箱子推到香蕉下面，然后再爬到箱子上。
请定义必要的谓词，写出问题的初始状态（即图示的状态）、目标状态（猴子拿到了香蕉，站在箱子上，箱子位于位置b）。
定义谓词AT(x,y)：x在y位置上BOX(y)：箱子在y的位置。
OVER（x）：x被挂在天花板上EMPTY(x)：x手中是空的HOLD(x, z)：x拿着zON (x,w)：x在w的上面NOT_on (x,w) ：x在w的上面BAN(y)：香蕉在y的位置猴子的位置为: a香蕉位置为：b箱子的位置为：c问题的初始状态：AT(monkey, a)∧BOX(c)∧BAN(b)∧OVER（b）∧EMPTY(monkey)∧NOT_on (monkey, box)问题的目标状态是：AT(monkey, b)∧BOX(b)∧BAN(b)∧HOLD(monkey, banana)∧ONmonkey, box)操作：GOTO(x, y)：从x处走到y处。
PUSH(x, y)：把箱子从x处推倒y处。
CLIMB(x)：在x处爬上箱子。
GET(x)：在x处得到香蕉。
操作对应的条件与动作如下：GOTO(x, y)条件：AT(monkey, x)∧NOT_on (monkey, box)动作：删除：AT(monkey, x)添加：AT(monkey, y)PUSH(x, y)条件：AT(monkey, x)∧BOX(x)∧NOT_on (monkey, box)动作：删除：AT(monkey, x)∧BOX(x)添加：AT(monkey, y)∧BOX(y)CLIMB(x)条件：AT(monkey, x)∧BOX(x) ∧NOT_on (monkey, box) 动作：删除：NOT_on (monkey, box)添加：ON (monkey, box)GET(x)条件：AT(monkey, x)∧BOX(x)∧ON (monkey, box)动作：删除：EMPTY(monkey)添加：HOLD(monkey, banana)。
- 1、下载文档前请自行甄别文档内容的完整性，平台不提供额外的编辑、内容补充、找答案等附加服务。
- 2、"仅部分预览"的文档,不可在线预览部分如存在完整性等问题,可反馈申请退款(可完整预览的文档不适用该条件!)。
- 3、如文档侵犯您的权益，请联系客服反馈,我们会尽快为您处理(人工客服工作时间：9:00-18:30)。
猴子拿香蕉逻辑谓词
房内有一只猴子、一个箱子，天花板上挂了一串香蕉，其位置关系如图所示，猴子为了拿到香蕉，它必须把箱子推到香蕉下面，然后再爬到箱子上。
请定义必要的谓词，写出问题的初始状态（即图示的状态）、目标状态（猴子拿到了香蕉，站在箱子上，箱子位于位置b）。
定义谓词
AT(x,y)： x在y位置上
BOX(y)：箱子在y的位置。
OVER（x）： x被挂在天花板上
EMPTY(x)： x手中是空的
HOLD(x, z)： x拿着z
ON (x,w)： x在w的上面
NOT_on (x,w) ： x在w的上面
BAN(y)：香蕉在y的位置
猴子的位置为: a
香蕉位置为：b
箱子的位置为：c
问题的初始状态：
AT(monkey, a)∧BOX(c)∧BAN(b)∧OVER（b）∧EMPTY(monkey)∧NOT_on (monkey, box)
问题的目标状态是：
AT(monkey, b)∧BOX(b)∧BAN(b)∧HOLD(monkey, banana)∧ONmonkey, box) 操作：
GOTO(x, y)：从x处走到y处。
PUSH(x, y)：把箱子从x处推倒y处。
CLIMB(x)：在x处爬上箱子。
GET(x)：在x处得到香蕉。
操作对应的条件与动作如下：
GOTO(x, y)
条件：AT(monkey, x)∧NOT_on (monkey, box)
动作：删除：AT(monkey, x)
添加：AT(monkey, y)
PUSH(x, y)
条件：AT(monkey, x)∧BOX(x)∧NOT_on (monkey, box)
动作：删除：AT(monkey, x)∧BOX(x)
添加：AT(monkey, y)∧BOX(y)
CLIMB(x)
条件：AT(monkey, x)∧BOX(x) ∧NOT_on (monkey, box)
动作：删除：NOT_on (monkey, box)
添加：ON (monkey, box)
GET(x)
条件：AT(monkey, x)∧BOX(x)∧ON (monkey, box)
动作：删除：EMPTY(monkey)
添加：HOLD(monkey, banana)。