文档介绍：人工智能****题
设农夫、狼、山羊、白菜全部在一条河的左岸,现在要把他们全部送到河的右岸去。农夫有一条船,过河的时候除农夫外船上至多能载狼、山羊、白菜中的一种。狼要吃山羊,山羊要吃白菜,除非农夫在那里。试规划出个确保安全过河的计划。请写出所用谓词的定义,并给出每个谓词的功能及变量的个体域。
解答
location(s,f,w,g,c):表示在s处是否有农夫、狼、山羊、白菜。s个体域为{L,R},f,w,g,c的个体域是{0,1}
boat(s,x):表示农夫把x从s运到另一边。s的个体域是{L,R},x的个体域是{wolf,goat,cabbage}
安全性谓词:safety(s,f,w,g,c) ≡(f=1) V ((w+g<2) ∧(g+c<2))
在河的左岸有三个野人,三个修道士和一条船,修道士们想用这条船把所有的人运到河对岸,但受以下条件的约束:
修道士和野人都会划船修,但船每次至多可载两个人;
在河的任一岸如果野人数目超过修道士数目,修道士就会被野人吃掉;
假设野人会服从任何一次过河安排,请规划一个确保修道士安全过河的计划.
解答
>(X,Y,S)表示状态S下 X>Y
≥(X,Y,S)表示状态S下 X≥Y
X,Y的个体域是{0,1,2,3}
安全性谓词 safety(Z,X,Y,S)≡(>(X,0,S) ∧≥(X,Y,S)) ∨(X=0)
请对下列命题分别写出他们的语义网络:
每个学生都有一台计算机
高老师从3月到7月给计算机系学生讲《计算机网络》课
学****班的学员有男有女,有研究生有本科生
创新公司在科海大街56号,刘泽是该公司的经理,他32岁,硕士学位
红队与蓝队进行足球比赛,最后以3:2的比分结束
解答
g
GS
s
l
学生
拥有
电脑
ISA
ISA
AKO
Subject
Object
F
解答
计算机系学生
讲课
计算机网络
3月到7月
高老师
Duration
Teacher
Title
Student
解答
学****班的学员
或
男
与
或
Part
女
本科生
硕士生
A
B
C
D
人
Part
Part
Part
State
State
State
State