人工智能》题Word下载.docx

1、13.基于规则的演绎系统主要有、 和。14.D-S证据理论中函数 Bel定义为、而函数Pl定义为 。15.问题的状态空间，可以记为三元组,其中S为,F为 ，G为 。16.人工智能研究的主要内容有、17.知识表示的方法主要有18.世界上第一个专家系统是在 年由主持研制成功的；我国的第一个专家系统是在年研制成功的。19.神经网络可分为 、和广泛前向网络。20.在框架表示法中，用若干个描述对象的属性，用若干个描述属性的各个方面。21.产生式系统的三个基本组成部分是11.人工智能研究的主要领域有 22.知识表示方法按照控制性知识的组织方式可分为选择题过滤策略时，表示（ ）。A.A为真 B. 对al无所

2、知C. A为假 D. 对A为真有一定信任4.）。在主观Bayes方法中，专家给出的Ln和LS值，不能出现下两种情况（LS16.不完备的搜索过程是（C.有界深度优先搜索 D .代价树广度优先搜索7.在主观Bayes方法中，规则H,有LS=LN=1,这意味：（）A.E 对H没有影响 B. E 支持HC.七 支持H D. E 支持-H8.在可信度方法中，若证据 A的可信度CF（F） =0,这意味：A. 证据A不可信 B. 对证据L无所知C. 证据A可信 D. 没有意义9.人工智能研究的领域不包括（ ）。A. 自然语言理解 B. 自动程序设计C. 程序设计方法 D. 自动定理证明10.用归结反演证明定

3、理时，若当前归结式为（ ），则定理得证A. 永真式 B. 包孕式（ subsumed）C .原子谓词 D. 空子句11.在主观Bayes方法中，证据E支持结论H时，有（ ）。A. LS=0 B. LS12.在可信度方法中，证据E的出现增加结论H为真时，有（ ）。A. CF（ H，E） B. CF（ H， E） C. CF（ H，E） =0D. CF（ H， E） 13. 谓词公式x（P（x）yR（ y）Q（x） 中量词 x的辖域是 （ ）A x（P（x）B. P（x）C. P（x）yR（y） D. Q（x）14. 设个体域为整数集，下列公式中其值为 1 的是（ ）A. x y（x y 0） B

4、. y x（x y 0）C. x y（x y 0） D. x y（x y 0）15.设 L（x） ：x 是演员， J（x） ：x 是老师， A（x,y） ： x 佩服 y. 那么命题“所有演 员都佩服某些老师”符号化为 （ ）C. x y（L（x） J（y） A（x, y） D. x y（L（x） J（y） A（x,y）16.谓词公式 xA（x） xA（x） 的类型是（ ）A. 永真式 B. 矛盾式C.非永真式的可满足式 D. 不属于（A）,（B）,（C） 任何类型17.谓词公式yP（y）取真值为1的充分必要条件是（）A.对任意y，使P（y）都取真值1B.存在一个yo，使P（yo）取真值1C.

5、存在某些y，使P（y）都取真值1D.存在yo，使P（yo）取真值018.设 G x yP（x,y） Q（z,w） ，下面三个命题为真的是 （ ）A.G 是前束范式 B.G 不是前束范式C.G不是一阶公式 D.G 是永真式19.与命题公式P （ Q R）等值的公式是（）A.（P Q） R B.（P Q） R C.（P Q） R D. P （Q R）20.命题公式（P Q） P是（）A. 永真式 B. 永假式 C. 可满足式 D. 合取范式 三、判断题1.与/或图中结点的深度必大于其父辈的深度。（2.若问题P可以归结为与之等价的一组子问题： R,P2 Pn,当且仅当这些子问题全部可解时，原问题 P

6、才可解。3.目标公式L在逻辑上遵循S，那么满足S的每个解释也满足L o （）4.在图搜索算法中，如果按估价函数 f n g n h n作为OPEN表中的结点排序的依据，则该算法就是 A*算法。5.在图搜索中，若与结点的后继结点并非全部不可解，则它是可解的。（ ）6任一表达式均可以转换成与/或形式。7.尸）7。仁）工）尸7 WQ5 。8.专家系统的瓶颈是知识的获取。9.对叶子结点进行静态估计后， 为了计算非叶子结点的估计值， 必须从叶子结点向上倒推计算。10.人工智能所解决的问题是一般的数值计算或数据处理问题。11.第一个人工智能程序设计语言是表处理语言， 它于1960年在美国设计实现。12.耦

7、合性语言意为将具有规约语义的函数语言和具有归结语义的逻辑型语言 组合在一起，并在两者间提供接口。13.一旦推出空子句，则说明子句集 S是可满足的。14.公式的合一唯15.与或图通常称为状态图16.归结原理除了能用于对已知结果的证明外，还能用于对未知结果的求解。17.规则演绎系统，是一种基于谓词逻辑的产生式系统。18.0PEN表的动态数据结构，用于专门登记已经考查过的节点。19.在与或图中，无子节点的节点称为端节点。20.解树的代价就是树根的代价。21 .模糊集合与其隶属函数是等价的。22.公式的 Skolem 标准型与原公式等值23.产生式就是逻辑蕴涵式。24.正向推理是自底向上的综合过程，而

8、反向推理则是自顶向下的分析过程。25.框架适合表达结构性的知识。26.语义网络是由节点和边组成的一种有向网，可用于表示事物间的关系。27.确定性理论是一种精确推理模型。28.基本概率分配函数之值是概率。29.黑板模型适于求解那些大型复杂且可分解为一系列层次化的子问题的问题。30.自然语言理解包括语音理解和文字理解。31 .在谓词逻辑中，由于子句中含有变元，所以不能直接消去互补文字，需要用 最一般合一对变元进行代换，然后才能进行归结四、 名词解释1.可解结点2.专家系统3.状态空间4.产生式系统5.图灵测试（ Turing Test ）6.盲目搜索7.估价函数8.人工智能9.合适公式10.W的差

9、异集合1 1 .机器学习12. 产生式13.启发式搜索14.归结原理15.原子集五、论述题简答题1 .规则演绎系统和产生式系统有哪几种推理方式？各自的特点为何？2.从概念结构而言，专家系统有哪些部分构成？各部分的作用是什么？3.人工智能的基本技术有哪些？并简述各种技术。4.不确定性推理与通常的确定性推理有哪些差别？证明题5.设有子句集： S I x Rx,I a, R y L y,L a其中 I x R x 是目标公式否定后得到的子句。 现要求用线性输入策略对子句集 进行归结。6 已知F: （ x）（ y）（A（x,y） A B（y） （ y）（C（y） A D（x,y）G: （ x）（C（x

10、） （ x）（ y）（A（x,y） B（y） ）求证：G是F的逻辑结论7. 用海伯伦定理证明下列子句集不可满足。8 用归结方法证明下列公式为恒真。计算题9 用一阶谓词逻辑表示下列的英语句子（ 1） A computer system is intelligent if it can perform a task, whichif performed by a human, requires intelligence.（2） A formula whose main conn ective is a is a equivale nt to someformula whose main conne

11、ctive is a V .（ 3） If the input to unification algorithm is a set of unifiableexpressions, the output is the mgu; if the input is a set of non-unifiable expressions, the output is FALL.10设有一组规则，推理网络如图所示。Rule1:IFE1A E2THENE 3=a 1, a 2 CF=0.2, 0.6Rule2:5A E8E 4=b CF=0.8Rule3:3H=h 1, h 2, h 3 CF=0.2, 0

12、.5, 0.3Rule4:4H= h 1, h 2, h 3 CF=0.3, 0.4, 0.1Rule5:6V E7E 8 CF=0.8已知： CF（E1）=0.7CF（E 2）=0.8CF（E 5）=0.6CF（E 6）=0.4CF（E 7）=0.9试用 D-S 证据理论求出 CF（ H）。11 将下列谓词公式化成相应的子句集。（1） x y zP（x） xQ（x, y） R（z）R（x,z,w）（2） x y z u v w（P（x, y,z,u,v,w） Q（x, y,z,u,v,w）12. 将下列公式化为 skolem 子句形a）x P x x Q x x P x Q xb）x P x y z Q x,y z R y,xc）x P x x z Q x,z z R x, y,z