1、将下面的描述逻辑表达式转换为一阶逻辑:
一个男人的集合,这样的男人至少有三个儿子且至多有两个女儿,儿子都失业了并与医生结
了婚,女儿都是物理系或数学系的教授。
And(Man, Atleast(3,Son), Atleast(2, Daughter), All(Son, And(Unemployed, Married,
All(Spouse, Doctor))), All(Daughter, And(Professor, Fills(Department, Physics, Math))))
2、描述问题求解与规划之间的不同和相似之处。
3、猴子与香蕉问题:
起初猴子位于A,香蕉位于B,箱子位于C。猴子和箱子的高度都是Low,但是如果猴子爬到
箱子上面,它的高度就跟香蕉一样是High。猴子可用的动作包括从一个位置走到另一个位置Go,
将对象从一个地方推到另一个地方的Push,爬上一个对象的ClimbUp和爬下一个对象的
ClimbDown,抓住一个对象的Grasp和放开一个对象的Ungrasp。
a)写出初始状态描述
b)写出六个动作模式
本次作业有两个参考:
1. 逻辑表达式:
一个男人的集合:Man(x)
至少有三个儿子:AtLeast(3, Son(x, y))
至多有两个女儿:AtMost(2, Daughter(x, y))
儿子都失业了:A