人工智能A章节作业题解析.ppt

作 业 作 业 题 参 考 解 作 业 题 参 考 解 2. 请用语义网络表示如下知识： 高老师从3月到7月给计算机系的学生讲“计算机网络”课。 解： 作业题参考解 作 业 题 参 考 解 * 1. 用谓词逻辑知识表示方法表示如下知识： (1) 有人喜欢梅花，有人喜欢菊花，有人既喜欢梅花又喜欢菊花。 (2) 不是每个计算机系的学生都喜欢在计算机上编程序。 2. 请用语义网络表示如下知识： 高老师从3月到7月给计算机系的学生讲“计算机网络”课。 3. 什么是产生式系统？它由哪几个主要部分组成？ 4. 判断以下子句集是否为不可满足 {P(x)∨Q(x )∨R(x), ﹁P(y)∨R(y), ﹁ Q(a), ﹁R(b)} 5. 证明G是F的逻辑结论 F: (?x)(?y)(P(f(x))∧(Q(f(y))) G: P(f(a))∧P(y)∧Q(y) 1. 用谓词逻辑知识表示方法表示如下知识： (1) 有人喜欢梅花，有人喜欢菊花，有人既喜欢梅花又喜欢菊花。 (2) 不是每个计算机系的学生都喜欢在计算机上编程序。 解：(1) 定义谓词 P(x)：x是人 L(x,y)：x喜欢y 其中，y的个体域是{梅花，菊花}。 将知识用谓词表示为： (?x)(P(x)→L(x, 梅花)∨L(x, 菊花)∨L(x, 梅花)∧L(x, 菊花)) 解：(2) 定义谓词 S(x)：x是计算机系学生 L(x, pragramming)：x喜欢编程序 U(x,computer)：x使用计算机 将知识用谓词表示为： ? (?x) (S(x)→L(x, pragramming)∧U(x,computer)) 讲课事件 计算机系学生 高老师 老师 计算机网络 讲课 3月 7月 Subject Object Course Action Start End Isa P(x)∨Q(x )∨R(x) ﹁P(y)∨R(y) Q(x)∨R(x) ﹁ Q(a) R(a) ﹁ R(b) NIL {x/y} {a/x} {a/b} 4. 判断以下子句集是否为不可满足 {P(x)∨Q(x )∨R(x), ﹁P(y)∨R(y), ﹁ Q(a), ﹁R(b)} 解：采用归结反演，存在如下归结树，故该子句集为不可满足。 ﹁P(f(a)) ∨﹁Q(f(a)) NIL {a/w} 5、证明G是F的逻辑结论 F: (?x)(?y)(P(f(x))∧(Q(f(y))) G: P(f(a))∧P(y)∧Q(y) 证：先转化成子句集 对F，进行存在固化，有 P(f(v))∧(Q(f(w))) 得以下两个子句 P(f(v))，Q(f(w)) 对﹁G，有 ﹁ P(f(a))∨﹁P(y) ∨﹁Q(y) 先进行内部合一，设合一{f(a)/y}，则有因子 ﹁ P(f(a)) ∨﹁Q(f(a)) 再对上述子句集进行归结演绎推理。其归结树如右图所示，即存在一个到空子句的归结过程。 因此G为真。 P(f(v)) ﹁Q(f(a)) Q(f(w)) {a/v} *