青岛科技大学2016-2017-1人工智能期末考试题
更新时间:2023-11-30 07:34:01 阅读量: 教育文库 文档下载
- 青岛科技大学人工智能专业推荐度:
- 相关推荐
一、谓词逻辑证明 1、设有前提:
(1)凡是大学生都学过计算机; (2)小王是大学生。 试问:小王学过计算机吗? 解:令S(x):x是大学生 M(x):x学过计算机; a:小王
上面命题用谓词公式表示为:
(1)?x(S(x)?M(x)) (2)S(a)
我们进行形式推理:
[前提]
(2)S(a)?M(a) [(1) US] (3)S(a) [前提] (4)M(a) [(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、假设有以下一段天气预报:“北京地区今天白天晴,偏北风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 由规则③得:CF(D)2=0.7×min{0.8,0.9)=0.7×0.8=0.56 从而 CF(D)=CF(D)1+CF(D)2-CF(D)1×CF(D)2
=0.576+0.56-0.576×0.56=0.32256 由规则④得:
CF(E)=0.6×max{0.72,0.32256}=0.6×0.72=0.432
2、P180:习题八-7题 设有如下一组规则: R1: if E1 then E2(0.6)
R2: if E2 and E3 then E4(0.8) R3: if E4 then H(0.7) R4: if E5 then H(0.9) 且已知 CF(E1)=0.5, CF(E3)=0.6, CF(E5)=0.4 用确定性理论求CF(H).
四、prolog语言
1、
predicates
student(integer,string,real) grade goal grade. clauses
student(1,”zhangsan”,90.2). student(2,”lisi”,95.5).
student(3,”wangwu”,96.4).
grade:-write(“please enter a name:”),readln(Name), student(_,Name,Score),
nl,write(name,”grade is:”,Score).
grade:-write(“sorry,cant find the student!”). 运行结果截图:
2、
domains X=symbol predicates r(X) q(X) p(X) goal
r(Y),write:(“Y=”,Y). clauses p(a). p(b). q(b).
r(X):-p(X),q(X). r(c).
程序运行结果截图:
3、
domains s=symbol predicates
p(s)p1(s)p2(s)p3(s)p4(s)p5(s,s)p11(s)p12(s)p31(s) goal
p(X),write(“rhe x is ”,X). clauses
p(a1):-p1(b),p2(c).
p(a2):-p1(b),p3(d),p4(e). p(a3):-p1(b),p5(f,g). p1(b):-p11(b1),p12(b2). p3(d):-p31(d1). p2(c1). p4(el). p5(f,g). p11(b1). p12(b2). P31(d11).
程序运行结果截图:
正在阅读:
青岛科技大学2016-2017-1人工智能期末考试题11-30
海参造假黑幕:淀粉加胶粉制成06-15
区科协工作总结及2022年工作规划08-01
浮管式水力发电机的社会经济效益06-12
八年级历史上册第19课中国近代民族工业的发展导学案新人教版(2)04-06
武汉市区域产业结构分析与研究 - 图文12-03
甘肃省景泰县第四中学北师大版九年级数学上册 2.3 用公式法求解04-25
《秘书工作》笔记--大手笔写文章必备--小编整理版09-11
牛顿第二习题11-17
- exercise2
- 铅锌矿详查地质设计 - 图文
- 厨余垃圾、餐厨垃圾堆肥系统设计方案
- 陈明珠开题报告
- 化工原理精选例题
- 政府形象宣传册营销案例
- 小学一至三年级语文阅读专项练习题
- 2014.民诉 期末考试 复习题
- 巅峰智业 - 做好顶层设计对建设城市的重要意义
- (三起)冀教版三年级英语上册Unit4 Lesson24练习题及答案
- 2017年实心轮胎现状及发展趋势分析(目录)
- 基于GIS的农用地定级技术研究定稿
- 2017-2022年中国医疗保健市场调查与市场前景预测报告(目录) - 图文
- 作业
- OFDM技术仿真(MATLAB代码) - 图文
- Android工程师笔试题及答案
- 生命密码联合密码
- 空间地上权若干法律问题探究
- 江苏学业水平测试《机械基础》模拟试题
- 选课走班实施方案
- 考试题
- 青岛
- 人工智能
- 期末
- 大学
- 科技
- 2016
- 2017
- 高功率半导体激光器的前沿技术、工业应用及发展前景 - 图文
- 浙江省高级人民法院关于当前办理集资类刑事案件适用法律若干问题会议纪要
- 仪表工-选择题454 -
- 薪酬体系附件3-员工晋升管理办法
- 现代交换原理试题库带答案版 -
- 一 企业组织和劳动定员
- 2015年兴农村支部书记在庆祝“七一”党员大会上的讲话
- 中级信号工题库
- 环冷机岗位技术操作规程
- 离散数学概念
- 数学建模--合理分配住房问题
- 食品专业英语习题集 -
- 关于进一步加强县直机关党的建设的实施意见改二
- 党章党规党纪知识竞赛试题及参考答案 - 图文
- 2018年济南市中考数学全真模拟试题(5) -
- 浙教版初中数学4.6《反证法》教案
- 主动安全配置 - 图文
- 泰州市专业技术人员继续教育网题库答案心理健康与心理调适
- 《时间序列分析》第二章 时间序列预处理习题解答
- (整理)大阳巧客电动四轮车常见故障处理方法 - 图文