人工智能考博真题.pdfVIP

合肥工业大学博士研究生入学考试试题 人工智能考博真题集 （2010-2017） 简答题 1.将下列自然语言转化为谓词表示形式： (1) 所有的人都是要呼吸的。 (2) 每个学生都要参加考试。 (3) 任何整数或是正的或是负的。 解：设 M(x)：x 是人,H(x)：x 要呼吸。 P(x)：x 是学生， Q(x)：x 要参加考试。 J(x)：x 是整数， R(x)：x 是正数，N(x)：x 是负数。 则上述三题就记为： (1)V-x(M(x)→H(x)) (2)V-x(P(x)→Q(x)) (3)V-x(I(x)→R(x)∨N(x))) 2.何谓 “图灵实验”？简单描述之 答：所谓“图灵实验”，是为了判断一台机器是否具备智能的实验。实验由三个封闭 的房间组成，分别放置主持人、参与人和机器。主持人向参与人和机器提问，通过 提问的结果来判断谁是人，谁是机器。如果主持人无法判断谁是人，谁是机器，则 这台机器具备智能，即所谓的 “智能机器”。 3.写出图中树的结点两个访问序列，要求分别满足以下两个搜索策略： (1) 深度优先搜索 1 (2) 广度优先搜索 2 3 4 5 6 7 9 8 10 11 12 13 解：（１）深度优先搜索： １－２－５－６－１０－１１－３－７－１２－１３－４－８－９ （２）广度优先搜索： １－２－３－４－５－６－７－８－９－１０－１１－１２－１３－１４ 4.试实现一个“大学教师”的框架，大学教师类属于教师，包括以下属性：学历 （学 士、硕士、博士）、专业 （计算机、电子、自动化、……）、职称 （助教、讲师、副 教授、教授） 解：框架名：大学教师 类属：教师 学历：(学士、硕士、博士) 专业：（计算机、电子、自动化、…..） 职称：（助教、讲师、副教授、教授） 5.用谓词逻辑形式化下列描述 “不存在最大的整数” 解：定义谓词G(x)：x 为整数 D(x,y)：x 大于y 形式化为：    ┐x G(x) y G(y)  D(x,y) 或者    x G(x)  y G(y)D(y,x) 6.用语义网络表示 “苹果”知识。 7. 什么是产生式？产生式规则的语义是什么？ 答：产生式规则基本形式：P→Q 或者 IF P THEN Q P 是产生式的前提 （前件），用于指出该产生式是否可用的条件 Q 是一组结论或操作 （后件），用于指出当前提 P 所指示的条件满足时，应该得出 的结论或应该执行的操作 产生式规则的语义：如果前提P 被满足，则可推出结论 Q 或执行 Q 所规定的操作 8. 谓词公式G通过８个步骤所得的子句集合S，称为G 的子句集。请写出这些步骤。 答：(1）消去蕴含式和等价式→，- (2）缩小否定词的作用范围，直到其作用于 原子公式: (3）适当改名，使量词间不含同名指导变元和约束变元。(4.）消去存在 量词（形成Skolem 标准型）(5）消去所有全称量词(6) 化成合取范式(7).适当改名， 使子句间无同名变元(8). 消去合取词∧，用逗号代替，以子句为元素组成一个集 合S 9. （1）已知S {P(f(x),y,g(y)),P(f(x),z,g(x))}，求MGU （2）已知W {P(f(x,g(A,y)),z),P(f(x,z),z)}，求MGU 解：（1）k 0;S0 S;δ0 ε;S0不是单元素集，求得差异集D0 {y,z},其中y是变元， z是项，且y不在z中出现。k k+1 1 有δ1 δ0·｛z/y｝ ε·｛z/y｝ ｛z/y｝， S1 S0·｛z/y｝ {P(f(x),z,g(z)),P(f(x),z,g(x))},S1不是单元素集， 求得差异集D1 ｛z,x｝,k k+1 2;δ2 δ1·｛z/x