《人工智能》测试题答案终版.pdf

此文档为 Word格式，下载后可以任意编辑修改！ ）试卷装订封面学年第学期课程名称：课程代码学生系别专业班级任课教师阅卷教师考试方式开卷闭卷考试日期考试时间阅卷日期装订教师装订日期缺卷学生姓名及原因：无附：课程考试试卷分析表、期末考核成绩登记表人工智能原理一、填空题1.人工智能作为一门学科，它研究的对象是_，而研究的近期目标是_ _；远期目标是 _2.人工智能应用的主要领域有_， _，_，_，_和_3.知识表示的方法主要有_，_，_，_和_4.产生式系统由三个部分所组成，即_，_和_5.用归结反演方法进行定理证明时，可采取的归结策略有_、_、_、 _、_和_6. 宽 度 优 先 搜 索 对 应 的 数 据 结 构 是 _ ； 深 度 优 先 搜 索 是_7.不确定知识处理的基本方法有_、_、_和_8.AI 研究的主要途径有三大学派，它们是_学派、 _学派和 _学派9. 专 家 系 统 的 瓶 颈 是 _ ； 它 来 自 于 两 个 阶 段 ， 第 一 阶 段是，第二阶段是10. 确定因子法中函数MB是描述_ 、而函数MD是描述_11.人工智能研究的主要领域有_、_、_、_、_和_12.一阶谓词逻辑可以使用的连接词有_、_、_和_。

13.基于规则的演绎系统主要有_、_和_14.D-S证据理论中函数Bel 定义为 _ 、而函数Pl 定义为_15.问题的状态空间，可以记为三元组，其中 S 为_，F 为_，G为_16.人工智能研究的主要内容有_ _、_ _、 _ _、_和_17.知识表示的方法主要有_、 _、_、_和 _18.世界上第一个专家系统是在年由主持研制成功的；我国的第一个专家系统是在年研制成功的19.神经网络可分为_、_、_和广泛前向网络20.在框架表示法中，用若干个_描述对象的属性，用若干个_描述属性的各个方面21. 产生式系统的三个基本组成部分是_， _，_22. 知识表示方法按照控制性知识的组织方式可分为_ 和_二、选择题1. 非结构化的知识的表示法是（）A. 语义网络表示 B. 谓词逻辑表示C. 框架表示法中 D. 面向对象表示2. 归结策略中，（）是完备的 线性输入策略. 支持集策略. 单文字策略. 祖先过滤策略A. , B. , C. , D. , 3. 在证据理论中，信任函数与似然函数对（Bel （A）， Pl （A）的值为（ 0， 0）时，表示（）A. A 为真 B. 对A一无所知C. A 为假 D. 对A为真有一定信任4. 在主观 Bayes方法中，专家给出的Ln和LS值，不能出现下两种情况（）。

LN1, LS1 . LN1 . LN1, LS1, LS1 A. , B. , C. , D. , 5. 在证据理论中，信任函数与似然函数的关系为（）A. Bel （A） Pl（ A） B. Bel（A） Pl （A）C. Bel （A） Pl（ A） D. Bel（A） Pl （A） 6.不完备的搜索过程是（）A广度优先搜索 B深度优先搜索C有界深度优先搜索 D代价树广度优先搜索7. 在主观 Bayes方法中，规则EH,有LS=LN=1,这意味：（） A.E对H 没有影响 B. E支持 H C. -E支持 H D. E支持 -H 8. 在可信度方法中，若证据A的可信度 CF（F）=0, 这意味：（） A. 证据 A不可信 B. 对证据 A一无所知 C. 证据 A可信 D.没有意义9. 人工智能研究的领域不包括（）A. 自然语言理解 B. 自动程序设计C. 程序设计方法 D. 自动定理证明 10.用归结反演证明定理时，若当前归结式为（），则定理得证A.永真式B.包孕式（ subsumed）C.原子谓词 D.空子句11. 在主观 Bayes 方法中，证据 E支持结论 H时，有（）A. LS=0 B. LS1 12. 在可信度方法中，证据E的出现增加结论H为真时，有（）。

A. CF （H， E）1 B. CF（H ， E）0 C. CF（H， E）=0 D. CF（H ， E）0 13. 谓词公式)()()(xQyyRxPx中量词x 的辖域是 ( ) A )()(yyRxPx B. P(x) C.)()(yyRxP D.)(xQ14. 设个体域为整数集，下列公式中其值为1 的是 ( ) A.)0(yxyx B.)0(yxxyC.)0(yxyx D.)0(yxyx15. 设 L(x) ：x 是演员， J(x) ：x 是老师， A(x,y) ：x 佩服 y. 那么命题“所有演员都佩服某些老师”符号化为( ) A.),()(yxAxxL B.),()()(yxAyJyxLxC.),()()(yxAyJxLyx D.),()()(yxAyJxLyx16. 谓词公式xA(x)xA(x) 的类型是（）A.永真式 B.矛盾式C.非永真式的可满足式 D.不属于 (A),(B),(C)任何类型17. 谓词公式)(yyP取真值为1 的充分必要条件是( ) A.对任意 y，使 P(y)都取真值 1 B.存在一个y0，使 P(y0)取真值 1 C.存在某些y，使 P(y)都取真值1 D.存在 y0，使 P(y0)取真值 018. 设 Gx yP(x,y)Q(z,w)，下面三个命题为真的是( ) A.G 是前束范式B.G 不是前束范式C.G 不是一阶公式D.G 是永真式19.与命题公式P（QR）等值的公式是( ) A.(P Q)R B.(P Q)R C.(PQ)R D. P(Q R) 20.命题公式 (P Q)P是 ( ) A.永真式B.永假式C.可满足式D.合取范式三、判断题1. 与/ 或图中结点的深度必大于其父辈的深度。

2. 若问题 P可以归结为与之等价的一组子问题：nPPP21, 当且仅当这些子问题全部可解时，原问题P才可解3. 目标公式L在逻辑上遵循S，那么满足S的每个解释也满足L4. 在图搜索算法中，如果按估价函数nhngnf作为 OPEN 表中的结点排序的依据，则该算法就是*A算法5. 在图搜索中，若与结点的后继结点并非全部不可解，则它是可解的6. 任一表达式均可以转换成与/ 或形式8. 专家系统的瓶颈是知识的获取9. 对叶子结点进行静态估计后，为了计算非叶子结点的估计值，必须从叶子结点向上倒推计算 10.人工智能所解决的问题是一般的数值计算或数据处理问题11. 第一个人工智能程序设计语言是表处理语言，它于1960 年在美国设计实现12. 耦合性语言意为将具有规约语义的函数语言和具有归结语义的逻辑型语言组合在一起，并在两者间提供接口13. 一旦推出空子句，则说明子句集S是可满足的 、14. 公式的合一唯一 、15. 与或图通常称为状态图16. 归结原理除了能用于对已知结果的证明外，还能用于对未知结果的求解17. 规则演绎系统，是一种基于谓词逻辑的产生式系统18.OPEN表的动态数据结构，用于专门登记已经考查过的节点。

19. 在与或图中，无子节点的节点称为端节点20. 解树的代价就是树根的代价21. 模糊集合与其隶属函数是等价的22. 公式的 Skolem 标准型与原公式等值23. 产生式就是逻辑蕴涵式24. 正向推理是自底向上的综合过程，而反向推理则是自顶向下的分析过程25. 框架适合表达结构性的知识26. 语义网络是由节点和边组成的一种有向网，可用于表示事物间的关系27. 确定性理论是一种精确推理模型28. 基本概率分配函数之值是概率29. 黑板模型适于求解那些大型复杂且可分解为一系列层次化的子问题的问题30. 自然语言理解包括语音理解和文字理解31.在谓词逻辑中，由于子句中含有变元，所以不能直接消去互补文字，需要用最一般合一对变元进行代换，然后才能进行归结四、名词解释1. 可解结点2. 专家系统3. 状态空间4. 产生式系统5. 图灵测试（ Turing Test）6. 盲目搜索7. 估价函数8. 人工智能9. 合适公式10.W的差异集合11. 机器学习12. 产生式13. 启发式搜索14. 归结原理15. 原子集五、论述题简答题1.规则演绎系统和产生式系统有哪几种推理方式？各自的特点为何？2.从概念结构而言，专家系统有哪些部分构成？各部分的作用是什么？3.人工智能的基本技术有哪些？并简述各种技术。

4.不确定性推理与通常的确定性推理有哪些差别？证明题5. 设有子句集：aLyLyRaIxRxIS,其中xRxI是目标公式否定后得到的子句现要求用线性输入策略对子句集进行归结6 已知F: ),()()(yxAyx)()()(yCyyB),(yxDG: )(),()()()()(yByxAyxxCx)求证： G 是 F的逻辑结论7. 用海伯伦定理证明下列子句集不可满足QPQPQPQPS8 用归结方法证明下列公式为恒真)()()()(aMaHxMxH计算题9用一阶谓词逻辑表示下列的英语句子（ 1） A computer system is intelligent if it can perform a task, which if performed by a human, requires intelligence. （ 2） A formula whose main connective is a is a equivalent to some formula whose main connective is a . （ 3） If the input to unification algorithm is a set of unifiable expressions, the output is the mgu; if the input is a set of non-unifiable expressions, the output is FALL. 10设有一组规则，推理网络如图所示。

Rule1: IF E1E2 THEN E3=a1, a2 CF=0.2, 0.6 Rule2: IF E5E8 THEN E4=b CF=0.8 Rule3: IF E3 THEN H=h1, h2, h3 CF=0.2, 0.5, 0.3 Rule4: IF E4 THEN H= h1, h2, h3 CF=0.3, 0.4, 0.1 Rule5: IF E6E7 THEN E8CF=0.8 已知： CF(E1)=0.7 CF(E2)=0.8 CF(E5)=0.6 CF(E6)=0.4 CF(E7)=0.9 20UH=h1,h2,h3 E1E2E5E6E7E8E3=a1,a2 E4=b 试用 D-S 证据理论求出CF（H） 11将下列谓词公式化成相应的子句集1）)(),()(zRyxQxxPzyx（2）),(),(),(wzxRwvuzyxQwvuzyxPwvuzyx12. 将下列公式化为skolem 子句形a) xQxPxxQxxPxb) xyRzyxQzyxPx,c) zyxRzzxQzxxPx,测 试 题 答 案人工智能原理一、填空题1.知识研究模拟智能程序研制智能计算2.模式识别问题求解定理证明专家系统机器视觉和机器学习3.一阶谓词逻辑框架语义网络脚本和 Petri 网络4.规则库综合数据库控制系统5.删除策略支持集策略线性输入策略单文字子句策略祖先过滤策略6.队列堆栈7.确定因子法主观 Bayes 法D-S 证据理论可能性理论8.符号主义联想主义行为主义9.知识获取人类领域专家获取知识系统运行过程中的知识获取10.信任程度的增长不信任程度的增长11.模式识别定理证明程序自动设计专家系统机器学习自然语言理解12.否定合取析取蕴涵13.正向演绎逆向演绎双向演绎14.AbbmABel)()()(1)(ABelAPl15. 初始状态集合算符集合目标状态集合16. 机器感知机器思维机器行为智能机构造技术机器学习17.一阶谓词逻辑语义网络框架脚本产生式18.。