青岛科技大学2016-2017-1人工智能期末考试题.docxVIP

一、谓词逻辑证明1、设有前提： （1）凡是大学生都学过计算机； （2）小王是大学生。 试问：小王学过计算机吗？解：令S（x）：x是大学生M（x）：x学过计算机；a：小王上面命题用谓词公式表示为：我们进行形式推理： [前提] [(1) US] [前提] [(2) (3) I3]M(a),即小王学过计算机。2、用谓词公式表示下述命题。已知前提：（1）自然数都是大于零的整数。（2）所有整数不是偶数就是奇数。（3）偶数除以2是整数。结论：所有自然数不是奇数就是一半为整数的数。化F1 ? F2 ? F3 ? ?G的子句集。 F1: ?x (N(x)?GZ(x) ? I(x)) F2: ?x (I(x)?(E(x) ?O(x))) F3: ? x (E(x) ? I(s(x))) G: ?x (N(x)?(I(s(x)) ?O(x)))解：F1 ? F2 ? F3 ? ?G的子句集为（1） ?N(x) ? GZ(x)（2） ?N(y) ? I(y)（3） ?I(z) ? E(z) ?O(z)（4） ?E(u) ? I(s(u))（5）N(a)（6） ?O(a) （7） ?I(s(a)3、设已知： （1）能阅读者是识字的； （2）海豚不识字； （3）有些海豚是很聪明的。 试证明：有些聪明者并不能阅读。证 首先定义如下谓词： R(x):x能阅读。 L(x):x能识字。 I(x):x是聪明的。 D(x):x是海豚。将上述各语句翻译成谓词公式： (1) (?x)(R(x)?L(x)) (2) (?x)(D(x)??L(x)) 已知条件 (3) (?x) (D(x) ? I(x)) (4) (?x) (I(x) ? ? R(x)) 需证结论用归结反演法来证明，求题设与结论否定的子句集，得： (1) ? R(x) ? L(x) (2) ? D(y) ? ?L(y) （改名） (3) D(a) (4) I(a) (5) ? I(z) ? R(z)归结得： (6)R(a) [(5), (4),{a/z}] (7)L(a) [(6), (1),{a/x}] (8)?D(a) [(7), (2),{a/y}] (9)Nil [(8), (3)]框架语义网络显示1、试实现一个“大学教师”的框架，大学教师类属于教师，包括以下属性：学历（学士、硕士、博士）、专业（计算机、电子、自动化、……）、职称（助教、讲师、副教授、教授）解：框架名：大学教师?类属：教师?学历：(学士、硕士、博士)?专业：(计算机、电子、自动化、….. )??职称：(助教、讲师、副教授、教授)?2、【虚拟新华社3月16日电】昨日，沙尘暴袭击韩国汉城，机场与高速公路被迫关闭，造成的损失不详。韩国官方示，如果需要直接损失情况，可待一周后的官方公布的字。此次沙尘暴起因中日韩专家认为是由于中国内蒙古区过分垦牧破坏植被所致。解：框架名：沙尘暴?时间：3月15日?地点：韩国汉城?损失：不详?起因：中国内蒙古区假设有以下一段天气预报：“北京地区今天白天晴，偏北风3级，最高气温12o，最低气温-2o，降水概率15%。”请用框架表示这一知识。解：Frame天气预报? 地域：北京 时段：今天白天 天气：晴 风向：偏北 风力：3级 气温：最高：12度 最低：-2度 降水概率：15%?确定性理论求解1、设有如下一组产生式规则和证据事实，试用确定性理论求出由每一个规则推出的结论及其可信度。 规则: ① if A then B(0.9) ② if B and C then D(0.8) ③ if A and C then D(0.7) ④ if B or D then E(0.6)事实: A，CF(A)=0.8;C，CF(C)=0.9 解： 规则①得:CF(B)＝0.9×0.8＝0.72 由规则②得:CF(D)1＝0.8×min{0.72，0.9)＝0.8×0.72＝0.576