2023年人工智能习题.pdf

《2023年人工智能习题.pdf》由会员分享，可在线阅读，更多相关《2023年人工智能习题.pdf（4页珍藏版）》请在得力文库 - 分享文档赚钱的网站上搜索。

1、人工智能考试内容及范围：以王万良编着的人工智能及其应用这本参考书为准，涉及内容为第 1 章第 5 章。考试题型：填空题、简答题、计算题、综合题 复习题 人工智能复习题 一、填空题 1、思维可分为 逻辑思维、形象思维、及 顿悟思维等。2、人工智能研究的基本内容包括 知识表示、机器感知、机器思维、机器学习、及 机器行为。3、按知识的作用及表示可把知识划分为 事实性知识、过程性知识、控制性知识。4、一个谓词可分为 谓词名 和 个体 两部分。5、为了刻画谓词与个体的关系，在谓词逻辑中引入了两个量词：全称量词 和 存在量词。6、一般来说，一个产生式系统通常由 规则库、综合数据库、控制系统（推理机）三部分

2、组成。7、在语义网络知识表示中，结点一般划分为 实例结点 和 类结点 两种。8、若从推出结论的途径来划分，推理可分为 演绎推理、归纳推理、默认推理。9、谓词公式不可满足的充要条件是 其子句集不可满足。10、在不确定推理中，“不确定性”一般分为两类：一是知识的不确定性；二是证据的不确定性。二、简答题 1、一阶谓词逻辑表示法适合于表示哪种类型的知识，它有哪些特点？答：一阶谓词逻辑表示法适合于表示事实性知识和逻辑性知识，它的特点有：一阶谓词逻辑表示法的优点：(1)、自然性；(2)、精确性；(3)、严密性；(4)、容易实现 一阶谓词逻辑表示法的局限性：(1)、不能表示不确定性的知识；(2)、组合爆炸；

3、(3)、效率低。2、产生式系统有哪几部分组成？各部分的作用是什么？答：产生式系统由规则库、综合数据库、控制系统（推理机）三部分组成，其中：(1)、规则库是用于描述相应领域内知识的产生式集合；(2)、综合数据库是用于存放问题求解过程中各种当前信息的数据结构；(3)、控制系统是负责整个产生式系统的运行，实现对问题的求解。3、什么是子句？什么是子句集？请写出求谓词公式子句集的步骤。答：任何文字的析取式称为子句；由子句构成的集合称为子句集；求谓词公式子句集的步骤：(1)、消去谓词公式中的“”和“”符号；(2)、把否定符号移到紧靠谓词的位置上；(3)、变量标准化；(4)、消去存在量词；(5)、化为前束形

4、；(6)、化为 Skolem 标准形；(7)、略去全称量词；(8)、消去合取词，把母式用子句集表示；(9)、子句变量标准化，即使每一个子句中的变量符号不同。4、说明主观 Beyes 方法中 LS 和 LN的含义。答：（LS,LN）为规则强度，其值有领域专家给出。LS、LN相当于知识德尔静态强度。其中 LS 称为规则成立的充分性度量，用于指出 E对 H的支持程度，取值范围为 0,+）,其定义为：)/P()/P(LSH EH E;LN为规则成立的必要性度量，用于指出E 对 H的支持程度，即 E 对 H为真的必要性程度，取值范围为 0,+）,其定义为：)/P(-1)/P(-1)/P()/P(LNH

5、EH EH EH E 三、计算题 1、下列知识是一些规则性知识：人人爱劳动。所有整数不是偶数就是奇数。自然数都是大于零的整数。用谓词公式表示这些知识。解：（1）定义谓词如下：MAN(x)：x 是人；LOVE(x,y)：x 爱 y；N(x)：x 是自然数；I(x)：x 是整数；E(x)：x 是偶数；O(x)：x 是奇数；GZ(x):x 大于零。（2）根据已知条件定义谓词公式：“人人爱劳动”用谓词公式表示为：（x）(MAN(x)LOVE(x,labour)“所有整数不是偶数就是奇数”用谓词公式表示为：（x）(I(x)E(x)O(x)“自然数都是大于零的整数”用谓词公式表示为：（x）(N(x)GZ(

6、x)I(x)2、下列知识是一些事实性知识：张晓辉是一名计算机系的学生，但他不喜欢编程序。李晓鹏比他父亲长得高。用谓词公式表示这些知识。解：（1）定义谓词如下：COMPUTER(x)：x 是计算机系的学生；LIKE(x,y)：x 喜欢 y；HIGHER(x,y)：x 比 y 长得高。（2）根据已知条件定义谓词公式：COMPUTER(zhangxh)LIKE(zhangxh,programming)HIGHER(lixp,father(lixp)3、用语义网络表示下列事实，并说明包含哪些基本的语义关系。山西大学是一所具有百年历史的综合性大学，位于太原市笔直宽广的坞城路。张广义同志今年 36 岁，男

7、性，中等身材，他工作在山西大学。山西大学 一所大学 是 百年历史 位于 综合性 性质 坞城路 太原市 位于 具有 笔直宽广 性质 张广义 工作在 男性 中等身材 36 岁 身材 年龄 性别 4、用语义网络表示下列知识，并说明包含哪些基本的语义关系。猎狗是一种狗，而狗是一种动物。狗除了动物的有生命、能吃食物、有繁殖能力、能运动外，还有以下特点：身上有毛、有尾巴、四条腿；猎狗的特点是吃肉、个头大、奔跑速度快、能狩猎；而狮子狗也是一种狗，它的特点是吃饲料、身体小、奔跑速度慢、不咬人、供观赏。5、试用谓词逻辑表达下列推理：（书习题 2.4）（1）如果张三比李四大，那么李四比张三小。（2）甲和乙结婚了，

8、则或者甲为男，乙为女；或者甲为女，乙为男。（3）如果一个人是老实人，他就不会说谎；张三说谎了，所以张三不是一个老实人。解：（1）Older(x,y):x 比 y 大。Older(Zhang,Li)（2）为女；为男；x x Man x x Man:)(:)(3)Honest(x):x 是老实人；Lie(x):x 说谎 6、已知：每个储蓄钱的人都获得利息，用归结原理证明：如果没有利息,那么就没有人去储蓄钱。证明:定义谓词:S(x,y):表示”x 储蓄 y”M(x):表示”x 是钱”I(x):表示”x 是利息”E(x,y):表示”x 获得 y”已知:(?x)(?y)(S(x,y)M(y)(?y)(I

9、(y)E(x,y)结论:(?x)I(x)(?x)(?y)(M(y)S(x,y)1）否定结论:(?x)I(x)(?x)(?y)(M(y)S(x,y)2）把结论加入已知,构成新集合 G:(?x)(?y)(S(x,y)M(y)(?y)(I(y)E(x,y),(?x)I(x)(?x)(?y)(M(y)S(x,y)3）将集合 G化为子句集（y=f(x)为 Skolem 函数）(1)S(x,y)M(y)I(f(x)(2)S(x,y)M(y)E(x,f(x)动物 狗猎狗狮子狗能吃食物能运动有生命有繁殖能力身上有毛有尾巴有四条腿吃饲料跑得慢吃肉 跑得快能狩猎个头大供观赏不咬人个头小AKOAKOAKO题思维可分

10、为逻辑思维形象思维及顿悟思维等人工智能研究的基本内容包括知识表示机器感知机器思维机器学习及机 分为了刻画谓词与个体的关系在谓词逻辑中引入了两个量词全称量词和存在量词一般来说一个产生式系统通常由规则 论的途径来划分推理可分为演绎推理归纳推理默认推理谓词公式不可满足的充要条件是其子句集不可满足在不确定推(3)I(z)(4)S(a,b)(5)M(b)4）应用消解原理进行推导。(1)S(x,y)M(y)I(f(x)(2)S(x,y)M(y)E(x,f(x)(3)I(z)(4)S(a,b)(5)M(b)(6)S(x,y)M(y)(1)和(3)消解=f(x)/z(7)M(b)(6)和(4)消解=a/x,b

11、/y(8)NIL(5)和(7)消解 7、已知：（书习题 3.7）（1）能够阅读的都是有文化的；（2）海豚是没有文化的；（3）某些海豚是有智能的。用归结原理证明：某些有智能的并不能阅读。解：定义谓词：R(x)表示 x 能够阅读；L(x)表示 x有文化；D(x)表示 x 是海豚；I(x)表示 x 有智能。将前提和结论表示为谓词公式：)()(y y L y D）（；)()()(z I z D z；)()()(w R w I w。将前提的谓词公式和结论的谓词公式的否定式化为子句集为：)()(x L x R；)()(y L y D)A(D;)A(I;)()(I w R w。对得到的子句集进行归结：与归结

12、得)A(R;与归结得)A(L;与归结得)A(D；与归结得 NIL。8、已知：规则可信度为（书习题 4.6）r1：IF E1 THEN H1(0.7)r2：IF E2 THEN H1(0.6)r3：IF E3 THEN H1(0.4)r4：IF(H1 AND E4)THEN H2(0.2)证据可信度为：CF(E1)=CF(E2)=CF(E3)=CF(E4)=CF(E5)=0.5，H1的可信度一无所知，H2的初始可信度 CF0(H2)=0.3，计算结论 H2的可信度 CF(H2)。解：=545.0 3.0 35.0 3.0 35.0 同理636.0 2.0 545.0 545.0 2.0)()(1

13、 3,2,1 1 H CF H CF,0 max 2.0)(4 1 2 4E H H CF AND CF 9、设有如下一组推理规则：（书习题 4.5）r1：IF E1 THEN E2(0.6)r2：IF E2 AND E3 THEN E4(0.8)r3：IF E4 THEN H(0.7)r4：IF E5 THEN H(0.9)且已知 CF(E1)=0.5，CF(E3)=0.6，CF(E5)=0.4，结论 H的初始可信度一无所知，求 CF(H)为多少？解3.0 5.0,0 max 6.0)(,0 max 6.0)(1 2 E E CF CF 168.0 24.0,0 max 7.0)(,0 ma

14、x 7.0)(4 3 E H CF CF36.0 4.0,0 max 9.0)(,0 max 9.0)(5 4 E H CF CF又因为0)(3 H CF 0)(4 H CF 故=0.47题思维可分为逻辑思维形象思维及顿悟思维等人工智能研究的基本内容包括知识表示机器感知机器思维机器学习及机 分为了刻画谓词与个体的关系在谓词逻辑中引入了两个量词全称量词和存在量词一般来说一个产生式系统通常由规则 论的途径来划分推理可分为演绎推理归纳推理默认推理谓词公式不可满足的充要条件是其子句集不可满足在不确定推4、解：以变量 m和 c 表示修道士和野人在左岸和船上的实际人数，变量 b 表示船是否在左岸，b 1

15、表示 在，b 0 表示不在。问题状态用三元组（m,c,b）表示，则问题求解的任务为：(3,3,1)(0,0,0)。在这个问题上，状态空间可能的状态总数为 4 4 2 32，但由于遵守约束：m+c 2，m c，只有 20 个是合法的。例如，(1,0,1)，(1,2,1)，(2,3,1)等是不合法的。由于存在不合法的状态，导致某些合法的状态不可达，例如，(0,0,1)，(0,3,1)，L(m,c)、R(m,c)分别表示船从左岸划到右岸，和船从右岸划到左岸。由于 m,c 取值的可能组合只有 5 个：10，20，11，01，02，所以总共有 10 个操作算子。可以画出渡河问题的状态空间的有向图。五、综合题（15 分）结合你自己的研究课题或亲身体会，浅谈一种你最熟悉的人工智能控制策略并写出其控制过程。答案分析：只要是与人工智能控制有关的控制方法或策略均可，比如智能 PID，神经网络，遗传算法、自适应控制、鲁棒控制、模式识别、机器视觉等。题思维可分为逻辑思维形象思维及顿悟思维等人工智能研究的基本内容包括知识表示机器感知机器思维机器学习及机 分为了刻画谓词与个体的关系在谓词逻辑中引入了两个量词全称量词和存在量词一般来说一个产生式系统通常由规则 论的途径来划分推理可分为演绎推理归纳推理默认推理谓词公式不可满足的充要条件是其子句集不可满足在不确定推