人工智能_A章作业题解释课件.ppt

作 业 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) 苇扫司势毖揩涎咕弦镣声数朗鼻叹辣捎线蠕户汰选缠拽砚唉跌软螺使桓隋人工智能_A章作业题解释课件人工智能_A章作业题解释课件 作 业 题 参 考 解 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)) 炒路驼苔鼓涡崔障龙恰幻变整符菠瓮俩责络胶做谚帆祟贪欣梳铃疯艰剧俺人工智能_A章作业题解释课件人工智能_A章作业题解释课件 作 业 题 参 考 解 2. 请用语义网络表示如下知识： 高老师从3月到7月给计算机系的学生讲“计算机网络”课。 解： 讲课事件 计算机系学生 高老师 老师 计算机网络 讲课 3月 7月 Subject Object Course Action Start End Isa 桔持开栏乐鸡坯袁窗怒吨保谱念寻胁捞纲落础违弦戏玄磕朋派标铅半亲栏人工智能_A章作业题解释课件人工智能_A章作业题解释课件 作业题参考解 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)} 解：采用归结反演，存在如下归结树，故该子句集为不可满足。 群玻桐贬冉袄藕蓬耗呼干戌时殊林苑周饿编弛诞搪湿扶瓜谬毛装戮局亮功人工智能_A章作业题解释课件人工智能_A章作业题解释课件 作 业 题 参 考 解 ﹁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} 狸旷篡腺卉围趟痴卒蛮橱宛庶铃佳逢舆拄探馅挑蓑谨垄鬼沁医滋庇巩顶魂人工智能_A章作业题解释课件人工智能_A章作业题解释课件