人工智能习题课Slide.pptVIP

4.13 解答 ? 广度优先搜索 A B t 1 C D t 2 t 3 t 4 t 5 人工智能习题课 2.10 ? 设农夫、狼、山羊、白菜全部在一条河的 左岸，现在要把他们全部送到河的右岸去。 农夫有一条船，过河的时候除农夫外船上 至多能载狼、山羊、白菜中的一种。狼要 吃山羊，山羊要吃白菜，除非农夫在那里。 试规划出个确保安全过河的计划。请写出 所用谓词的定义，并给出每个谓词的功能 及变量的个体域。 2.10 解答 ? 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+g2) ∧ (g+c2)) 2.11 ? 在河的左岸有三个野人 , 三个修道士和一条 船，修道士们想用这条船把所有的人运到 河对岸 , 但受以下条件的约束 : – 修道士和野人都会划船修，但船每次至多可载 两个人 ; – 在河的任一岸如果野人数目超过修道士数目 , 修 道士就会被野人吃掉； ? 假设野人会服从任何一次过河安排，请规 划一个确保修道士安全过河的计划 . 2.11 解答 ? (X,Y ,S) 表示状态 S 下 XY ? ≥(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) 2.11 解答 ? 谓词 across ：在保证渡河前后的安全性的 前提下的一种过河方案 : ? S′=across(D,X,X 1 ,Y ,Y 1 ,S) → (((D=+) ∧ safety( L,X- X 1 ,Y-Y 1 ,S′) ∧ safety(R,3-X+X 1 ,3- Y+Y 1 ,S′) ∧ (boat(L,S)→boat(R,S′)) ∨ ((D=- ) ∧ safety( R,X-X 1 ,Y-Y 1 ,S′) ∧ safety(L,3-X+X 1 ,3- Y+Y 1 ,S′) ∧ (boat(R,S) → boat(L,S′)))) ∧ (≥(2,X 1 +Y 1 ,S)) 2.18 ? 请对下列命题分别写出他们的语义网络： – 每个学生都有一台计算机 – 高老师从 3 月到 7 月给计算机系学生讲《计算机 网络》课 – 学习班的学员有男有女，有研究生有本科生 – 创新公司在科海大街 56 号，刘泽是该公司的经 理，他 32 岁，硕士学位 – 红队与蓝队进行足球比赛，最后以 3:2 的比分结 束 2.18 解答 g GS s l 学生 拥有 电脑 ISA ISA AKO Subject Object F ? 2.18 解答 计算机系学生 讲课 计算机网络 3 月到 7 月 高老师 Duration Teacher Title Student 2.18 解答 学习班的学员 或 男 与 或 Part 女 本科生 硕士生 A B C D 人 Part Part Part State State State State 2.18 解答 创新公司 科海大街 56 号 刘泽 32 岁 硕士 经理 Degree Located -at Headship Age Work- for 2.18 解答 比赛 足球 红队 3:2 Play Result Game 蓝队 Play 参赛队 ISA ISA 3.15 ? 设已知： – 如果 x 是 y 的父亲， y 是 z 的父亲，则 x 是 z 的祖父 – 每个人都有一个父亲 ? 试用归结演绎推理证明：对于某人 u ，一定 存在一个人 v ， v 是 u 的祖父 3.15 解答 ? “如果 x 是 y 的父亲， y 是 z 的父亲，则 x 是 z 的 祖父” – (F(x,y) ∧ F(y,z) ? G(x,z)) ? “每个人都有一个父亲” – ( ? x)( 彐 y) (F(