计科0801-4(人工智能--期中试卷)(答案)1.pptVIP

* 一、单项选择与填空题。 1. 一个典型的产生式系统由三个部分组成，分别是________、_________ 和 。 2. 语义网络是通过概念及其语义关系来表示知识的一种网络图。这种网络图是 由 和 构成一个图的。 3. 试问在下列归结策略中，哪两种方法采用的是删除策略 和 ； 而哪两种方法采用的是限制策略 和 。 ①纯文字策略 ②线性输入策略 ③包孕策略 ④祖先过滤性策略 4. 在与/或形正向演绎推理中的F规则的表示形式为：L→W。问L是 ， W是 。 ①单文字 ②或/与表达式 ③与/或表达式 ④多文字 二、请判断下列陈述是否正确。 1．在用谓词表示客观事物时，谓词的语义是由计算机自动设定的。 （ ） 2. 产生式系统适用于描述事物之间的因果关系。 （ ） 3. 一个公式集的合一是唯一的。 （ ） 4. 框架比较适合表达具有结构性的知识，像概念、对象等。 （ ） 5. 在问题求解中，常将有关的知识存储在计算机的知识库中，其中隐式存储是指 只存储与问题求解有关的部分知识。 （ ） 6. 语义网络表示法的优点包括结构性、联想性和自然性。 （ ） 7. 空子句是可满足的。 （ ） 8. 归结原理采用的基本策略是反证法。 （ ） 三、用一阶谓词公式表示如下知识。 1.人人爱劳动。 2. 所有整数不是偶数就是奇数。 3.自然数都是大于零的整数。 解：1）定义谓词： man(x): 表示x是人； Love(x,y): 表示x爱y； I(x): 表示x是整数； E(x): 表示x是偶数； O(x): 表示x是奇数； N(x): 表示x是自然数； GZ(x): 表示x大于零。 解：2）知识表示： (1). 人人爱劳动。 （?x）（ man(x) ? Love(x,labour) ) (2). 所有整数不是偶数就是奇数。 （?x）（ I(x) ? E(x) ∨ O(x) ) (3). 自然数都是大于零的整数。 （?x）（ N(x) ? GZ(x) ∧ I(x) ) 四、将下列谓词公式化为子句集。 (? x) ( (? y) P (x，y ) → ? (? y ) (Q (x, y ) →R（x，y）) ) 解：化为的子句集为： (?P (x，f(x) ) ? Q (x, g(x)) (?P (x，f(x) ) ? ? R (x, g(x))) 五、用归结原理求证G是F1和F2的逻辑结论。 F1：（ ? x）（P（x）→（ ? y）（Q（y）→ ? L（x，y））） F2：（ ? x）（P（x） ∧ （ ? y）（R（y）→L（x，y））） G：（ ? x）（R（x）→ ? Q（x）） 五、 解：将上述已知事实F1与F2以及目标的否定化为子句集 F1的子句集为： ? P（x） ∨ ? Q（y） ∨ ? L（x，y） F2的子句集为： P（a） 与 ? R（y） ∨ L（x，y） ? G的子句集为： R（x） 与 Q（x） 五、 解：对子句集进行归结 （1） ? P（x） ∨ ? Q（y） ∨ ? L（x，y）