10、为1的充分必要条件是( 17.谓词公式 ) A.对任意y ， 使P(y)都取真值1 B.存在一个y ， 使P(y)取真值1 00C.存在某些y ， 使P(y)都取真值1 D.存在y ， 使P(y)取真值0 0018.设G?x?yP(x,y)?Q(z,w) ， 下面三个命题为真的是( ) A.G是前束范式 B.G不是前束范式 C.G不是一阶公式 D.G是永真式 19.与命题公式P（QR）等值的公式是( ) ? A.(PQ)R B.(PQ)R C.(PQ)R D. P(QR) ?20.命题公式(PQ)P是( ) ? 合取范式D. 可满足式C. 永假式B. 永真式A. 三、判断题 1.与/或图中结点的深度必大于其父辈的 。

11、深度 。
（ ） P,P?P,可以归结为与之等价的一组子问题：当且仅当这些子问题2.若问题Pn21全部可解时 ， 原问题P才可解 。
（ ） SSLL 。
（ ）的每个解释也满足3.目标公式 在逻辑上遵循 ， 那么满足?n?nh?gnf作为OPEN4.在图搜索算法中 ， 如果按估价函数表中的结点排序的*A算法 。
（ ） 依据 ， 则该算法就是5.在图搜索中 ， 若与结点的后继结点并非全部不可解 ， 则它是可解的 。
（ ） 6.任一表达式均可以转换成与/或形式 。
（ ） 7.。
（ ） ）8.专家系统的瓶颈是知识的获取 。
（9.对叶子结点进行静态估计后 ， 为了计算非叶子结点的估计值 ， 必须从叶子结点向上倒推计算 。
（ ） 10.人工智能所解决的 。

12、问题是一般的数值计算或数据处理问题 。
11.第一个人工智能程序设计语言是表处理语言 ， 它于1960年在美国设计实现 。
12.耦合性语言意为将具有规约语义的函数语言和具有归结语义的逻辑型语言组合在一起 ， 并在两者间提供接口 。
13.一旦推出空子句 ， 则说明子句集S是可满足的 。
、 14.公式的合一唯一 。
、 15.与或图通常称为状态图 。
16.归结原理除了能用于对已知结果的证明外 ， 还能用于对未知结果的求解 。
17.规则演绎系统 ， 是一种基于谓词逻辑的产生式系统 。
18.OPEN表的动态数据结构 ， 用于专门登记已经考查过的节点 。
19.在与或图中 ， 无子节点的节点称为端节点 。
20.解树的代价就是树根的代价 。
2 。

13、1.模糊集合与其隶属函数是等价的 。
标准型与原公式等值Skolem 公式的22.23.产生式就是逻辑蕴涵式 。
24.正向推理是自底向上的综合过程 ， 而反向推理则是自顶向下的分析过程 。
25.框架适合表达结构性的知识 。
26.语义网络是由节点和边组成的一种有向网 ， 可用于表示事物间的关系 。
27.确定性理论是一种精确推理模型 。
28.基本概率分配函数之值是概率 。
29.黑板模型适于求解那些大型复杂且可分解为一系列层次化的子问题的问题 。
30.自然语言理解包括语音理解和文字理解 。
31.在谓词逻辑中 ， 由于子句中含有变元 ， 所以不能直接消去互补文字 ， 需要用最一般合一对变元进行代换 ， 然后才能进行归结 四、名 。

14、词解释 1.可解结点 2.专家系统 3.状态空间 4.产生式系统 5.图灵测试（Turing Test） 6.盲目搜索 7.估价函数 8.人工智能 9.合适公式 10.W的差异集合 11.机器学习 12.产生式 13.启发式搜索 14.归结原理 15.原子集 五、论述题 简答题 1.规则演绎系统和产生式系统有哪几种推理方式？各自的特点为何？ 2.从概念结构而言 ， 专家系统有哪些部分构成？各部分的作用是什么？ 3.人工智能的基本技术有哪些？并简述各种技术 。
4.不确定性推理与通常的确定性推理有哪些差别？ 证明题 ?aRIIS?x?Rx,a,?y?,LyL 设有子句集：5. ?x?IRx是目标公式否 。

15、定后得到的子句 。
现要求用线性输入策略对子句集进行其中 归结 。
6 已知 (?x)(?y)(A(x,y)B(y)?(?y)(C(y)D(x,y) F: (?x)(C(x)?(?x)(?y)(A(x,y)?B(y) G: 求证：G是F的逻辑结论 7. 用海伯伦定理证明下列子句集不可满足 。
S?P?Q,?P?Q,P?Q,?P?Q 8 用归结方法证明下列公式为恒真 。
(H(x)?M(x)?H(a)?M(a) 计算题 9用一阶谓词逻辑表示下列的英语句子 （1） A computer system is intelligent if it can perform a task, which if perf 。

16、ormed 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 o 。

17、utput is FALL. 10设有一组规则 ， 推理网络如图所示 。
Rule1: IF EE THEN E=a, a CF=0.2, 0.6 232 11 Rule2: IF EE THEN E=b CF=0.8 458 Rule3: IF E THEN H=h, h, h CF=0.2, 0.5, 0.3 332 1 Rule4: IF E THEN H= h, h, h CF=0.3, 0.4, 0.1 3 142 Rule5: IF EE THEN E CF=0.8 876已知：CF(E)=0.7 1 CF(E)=0.8 2 CF(E)=0.6 5 CF(E)=0.4 6 CF(E)=0 。

来源：(未知)

【学习资料】网址：/a/2021/0322/0021748832.html

标题：人工智能|人工智能测试题答案( 二 )