教学文库网 - 权威文档分享云平台
您的当前位置:首页 > 精品文档 > 高等教育 >

人工智能复习汇总(8)

来源:网络收集 时间:2026-09-13
导读: 再用谓词把问题描述出来: 已知F1:(?x)(?y)(?z)( F(x,y)∧F(y,z))→GF(x,z)) F2:(?y)(P(x)→F(x,y)) 求证结论G:(?u) (?v)( P(u)→GF(v,u)) 然后再将F1,F2和?G化成子句集: ①?F(x,y)∨?F(y,z)∨GF(x,z) ②?P(r)

再用谓词把问题描述出来:

已知F1:(?x)(?y)(?z)( F(x,y)∧F(y,z))→GF(x,z)) F2:(?y)(P(x)→F(x,y)) 求证结论G:(?u) (?v)( P(u)→GF(v,u)) 然后再将F1,F2和?G化成子句集:

①?F(x,y)∨?F(y,z)∨GF(x,z) ②?P(r)∨F(s, r)

③ P(u)

④?GF(v,u))

对上述扩充的子句集,其归结推理过程如下:

3、(10分)已知:

如果x是y的父亲,y是z的父亲,则x是z的祖父

利用归结演绎推理证明:对于某个人u,一定存在人v,v是u的祖父

定义谓词:

F(x,y):y是x的父亲

G(x,y)y是x的祖父

F(x,y)∧F(y,z)→G(x,z):如果x是y的父亲,y是z的父亲,则x是z的祖父

G(u,v):如果u则存在一个v是他的祖父。 字句集合: 1:F(x,y) 2:F(y,z)

3:? F(x,y)∨?F(y,z)∨G(x,z) 4:?G(u,v)

5:?F(y,z)∨G(x,z)1+3归结 6: G(x,z)2+5归结 7:nil 4+6{u/x,v/y} 所以命题成立

2. 设H1,H2,H3分别是三个结论,E是支持这些结论的证据,且已知: P(H1)=0.3 P(H2)=0.4 P(H3)=0.5 P(E/H1)=0.5 P(E/H2) =0.3 P(E/H3) =0.4 求: P(H1/E) ,P(H2/E) , P(H3/E) 解:根据公式

P(Ai/E)?P(Ai)?P(E/Ai)

?P(A)?P(E/A)iii?1n..........(i?1,2,...,n)3. 请对下列命题分别写出它们的语义网络: (1) 每个学生都有一台计算机。

2写出来下面这棵树的广度优先和深度优先

深度优先:1-2-5-6-10-11-3-7-12-13-4-8-9

广度优先:1-2-3-4-5-6-7-8-9-10-11-12-13

1、谓词逻辑形式化下列描述 “不存在最大的整数

2、状态空间法的要点是什么?

状态空间法是以状态和算符为基础来表示和求解问题的,三个要点是:状态,算符,问题的状态空间

3、语义网络的要点是什么?

类属关系,包含关系,属性关系,时间关系,位置关系,相近关系,推论关系

4、将下列自然语言转化为谓词表示形式: (1) 所有的人都是要呼吸的。 (2) 每个学生都要参加考试。 (3) 任何整数或是正的或是负的。

(1) V-x(M(x)→H(x)) (2) V-x(P(x)→Q(x))

3.已知U={u1, u2, u3,u4,u5} 并设A、B是U上的两个模糊集,且有A=0.9/u1+0.7/u2+0.5/u3+0.3/u4 B=0.6/u3+0.8/u4+1/u5 求A∪B 、A∩B、﹁A。

解:A∩B =(0.9∧0)/ u1+(0.7∧0)/ u2+(0.5∧0.6)/u3+(0.3∧0.8)/u4+(0∧1)/u5

=0/ u1+0/ u2+0.5/u3+0.3/u4+0/u5 =0.5/u3+0.3/u4

A∪B=(0.9∨0)/ u1+(0.7∨0)/ u2+(0.5∨0.6)/u3+(0.3∨0.8)/u4+(0∨1)/u5 =0.9/ u1+0.7/ u2+0.6/u3+0.8/u4+1/u5

﹁A=(1-0.9)/ u1+(1-0.7)/ u2+(1-0.5)/u3+(1-0.3)/u4+(1-0)/u5 =0.1/ u1+0.3/ u2+0.5/u3+0.7/u4+1/u5

1.F1:张先生是小王的上司(boss); F2:小王是小刘的同事(workmate);

F3:如果X和Y是同事,则X的上司也是Y的上司。

求:小刘的上司是谁?

解: 谓词的定义:boss(X,Y):Y是X的上司; workmate(X,Y):X和Y是同事。

将已知前提及带求解问题表示成谓词公式: F1:boss(wang , zhang). F2:workmate(liu,wang).

(X,Y)?boss(X,Z)?boss(Y,Z)). F3:(?X)(?Y)(workmate G:?(?X)boss(liu,X)?ANSWER(X).

将上述公式化为子句集:

主要是以下9步:

1.去蕴含(?);

2.把非移到仅靠谓词的位置; 3.重新命名变元名; 4.消去存在;

5.将全称量词向左靠;

6.转化成子句集(是合取的形式); 7.去全称量词;

8.对变元更名,是不同子句中的变元名不同; 9.消去合取词; 最终得到的子句集如下: (1)boss(wang , zhang). (2)workmate(liu,wang).

(3)?workmate(X,Y)??boss(X,Z)?boss(Y,Z). (4)?boss(liu,U)?ANSWER(U).

应用归结原理进行归结

(5)------(1)(3)归结

?workmate(wang,Y)??boss(wang,Z)?boss(Y,Z). ?workmate(wang,Y)?boss(wang,zhang)?boss(Y,zhang).

最终归结为:?workmate(wang,Y)?boss(Y,zhang). …… 此处隐藏:357字,全部文档内容请下载后查看。喜欢就下载吧 ……

人工智能复习汇总(8).doc 将本文的Word文档下载到电脑,方便复制、编辑、收藏和打印
本文链接:https://www.jiaowen.net/wendang/612840.html(转载请注明文章来源)
Copyright © 2020-2025 教文网 版权所有
声明 :本网站尊重并保护知识产权,根据《信息网络传播权保护条例》,如果我们转载的作品侵犯了您的权利,请在一个月内通知我们,我们会及时删除。
客服QQ:78024566 邮箱:78024566@qq.com
苏ICP备19068818号-2
Top
× 游客快捷下载通道(下载后可以自由复制和排版)
VIP包月下载
特价:29 元/月 原价:99元
低至 0.3 元/份 每月下载150
全站内容免费自由复制
VIP包月下载
特价:29 元/月 原价:99元
低至 0.3 元/份 每月下载150
全站内容免费自由复制
注:下载文档有可能出现无法下载或内容有问题,请联系客服协助您处理。
× 常见问题(客服时间:周一到周五 9:30-18:00)