工智复题汇总（附答案）
选择题
1誉工智父〞科学家〔 C 〕
A 明斯基 B 图灵
C 麦卡锡
2 AI英文缩写( B )
A Automatic Intelligence B Artificial Intelligence
C Automatic Information D Artificial Information
3 子句特点〔 D 〕
A子句间没合取词(∧) B子句通合取词连接句子(∧)
C子句中析取词(∨) D子句间没析取词(∨)
4 命题〔 C 〕
A工智课 B 存素数
C请勿便 D 次考试101分
5 搜索分盲目搜索〔 A 〕
A启发式搜索 B模糊搜索
C准确搜索 D数搜索
6 全称判断推导出特称判断单称判断程般性知识推出合适某详细情况结推理〔 B 〕
A 结推理 B 演绎推理
C 默认推理 D 单调推理
7 面属工智研究根容〔 C 〕
A 机器感知 B 机器学
C 动化 D 机器思维
8 S{P∨Q∨R ┑Q∨R Q ┑R}中 P 纯文字子句〔 A 〕 S中删
A P∨Q∨R B ┑Q∨R
C Q D ┑R
9 属框架中设置常见槽〔 B 〕
A ISA槽 B ifthen槽
C AKO槽 D Instance槽
10 常见语意网络〔 D 〕
A AMember of联络 B Composed–of联络
C have 联络 D 全
1深度优先搜索策略中open表〔 B 〕数构造
A 先进先出 B 先进出
C 根估价函数值重排 D 机出
〔 B 〕推理
A 般 B 般
C D 般般
3 想机器具智必须机器具知识工智中研究领域研究计算机动获取知识技实现完善门研究分支学科〔 B 〕
A专家系统 B机器学
C神网络 D形式识
4 工智研究领域〔 D 〕
A机器证明 B形式识
C工生命 D编译原理
6 观Bayes方法中率O(x)取值范围〔 D 〕
A [1 1] B [0 1]
C [1 ∞〕 D [0 ∞〕
7 仅体变元量化谓词称 ( A )
A 阶谓词 B 原子公式
C 二阶谓词 D 全称量词
8 信度方法中CF〔HE〕取值〔 C 〕时前提E真支持结H真
A 1 B 0
C <0 D >0
9 机器学新研究领域〔 A〕
A 数挖掘 B 神网络
C 类学 D 学
10语义网络表达知识时弧AKO链ISA链表达节点知识〔 C 〕
A 悖性 B 扩性
C 继承性
3工智系统知识包含4素中〔 D 〕
A 事实 B 规
C 控制元知识 D 关系
5部分专家系统组成部分〔 A 〕
A 户 B 综合数库
C 推理机 D 知识库
7 谓确定性推理( )初始证出发通运( )知识终推出具定程度确定性合理者合理结思维程 ( A )
A 确定性 确定性 B 确定性 确定性
C 确定性 确定性 D 确定性 确定性
10 C(B|A) 表示规A>B中证A真作结B真 ( B )
A 信度 B 信度
C 信增长度 D 概率
11设离散型机变量XY结合概率分布 a b值( A )
A a29 b19 B a19 b29
C a16 b16 D a518 b118
3 典逻辑推理方法包括〔 D 〕
A然演绎推理 B结演绎推理
C形演绎推理 D假设推理
6 盲目搜索策略包括〔 D 〕
A 广度优先搜索 B 深度优先搜索
C 界深度优先搜索 D 全局择优搜索
结：
盲目搜索：广度优先搜索深度优先搜索界深度优先搜索代价树广度优先搜索代价树深度优先搜索
启发式搜索：全局择优搜索部分择优搜索
7种搜索方式必然找解〔 C 〕
A 深度优先 B 堆栈搜索
C 广度优先 D 混合搜索
7．推理正确选项〔 A 〕
A 假雨湿 没雨 湿
B 假x金属x导电铜金属 铜导电
C 假雨湿湿 没雨
D 贝喜欢意东西哈士奇意贝喜欢哈士奇
9项没发生突〔D〕
A事实知识库中知识匹配成功
B事实知识库中知识匹配成功
C事实知识库中知识匹配成功
D事实知识库中知识匹配成功
10 选项中种情况发生突〔 BC 〕
A 事实知识库中知识匹配成功
B 事实知识库中知识匹配成功
C 事实恰知识库中知识匹配成功
D 事实知识库中知识匹配成功者〔组〕事实知识库中知识匹配成功者〔组〕事实知识库中知识匹配成功
1工智中假〞关联起知识称〔 B 〕
A 产生式 B 规
C 关系式 D 形式
2项知识标识方法〔 C 〕
A 阶谓词表示法 B 状态空间法
C 关系式表示法 D 框架表示法
〔 B 〕槽逆关系
A ISA B AKO
C SUBCLASS D MEMBEROF
4图代表关系〔 B 〕
A 分类关系 B 聚集关系
C 推关系 D 时间位置关系
5 关推理观点：〔 D 〕
(1) 假行星系统太阳中心金星会显示出位相变化
(2) 金星显出位相变化
(3) 行星系统太阳中心
A 符合然演绎推理规
B 否认前件推理
C 典逻辑推理组真事实出发直接运典逻辑推理规推出结程题符合特征
D 肯定件推理
6确定推理中初始证值户出推理证值〔 C 〕
A 确定性匹配算法计算
B 确定性阈值选择算法
C 确定性传递算法计算
D 确定性合成算法计算
9反演结〔消解〕证明定理时假设前结式〔 C 〕时定理证
A 永真式 B 包孕式
C 空子句 D 永假式
事实出发通规库求结产生式系统推理方式〔 A 〕
A 正推理 B 反推理
C 双推理 D 混合推理
1．工智知识智力综合中智特征〔A〕
A 具推理 B 具感知
C 具记忆思维 D 具学适应
2 谓词表示法特点〔B〕
A 然性 B 简易性
C 严密性 D 描绘性
3确定性推理方法〔C〕
A 观Bayes方法 B 信度方法
C 理推理法 D 模糊推理法
4观Bayes方法中证E支持结H时〔C〕
ALS<1 BLS1
CLS>1 DLS<0
5 系统属新型专家系统〔D)
A媒体专家系统 B实时专家系统
C军事专家系统
6．工智研究重广泛两领域〔B〕
A 专家系统 动规划 B专家系统 机器学
C机器学 动规划 D机器学 然语言理解
8．语义网络组成部分〔C〕
A 框架弧线 B状态算符
C 结点链
9．设代换：q {f(y)x zy} l {ax by yz} q o l ( A )
A{f(b)xyz}
B{f(b)x zy}
C{f(y)x yz }
D{f(b)x zb}
10说法正确选项 B
A 空子句永假满足
B 谓词逻辑中谓词公式通应等价关系推理规化成相应子句集
C 文字析取式称子句
D 结演绎定理证明质前提P结Q证明P>Q永真性
1工智研究根容包括〔B〕
A机器行 B机器动作
C机器思维 D机器感知
2说法正确选项 〔C〕
A永真性：假谓词公式P体域D解释获真值T称PD永真
B满足性：谓词公式P假少存解释公式P解释真值T称公式P满足
C永真性：假谓词公式P体域D存解释获真值T称PD永真
D满足性：假谓词公式P体域D解释获真值F称PD永久假假P非空体域均永假称P永假
3符合著名Bayes公式〔A〕
AP(AiB)P(Ai)×P(BAi)∑(P(Aj)×P(BAj))
BP(AiB)P(Ai)×P(AiB)∑(P(Aj)×P(BAj))
CP(AiB)P(B)×P(BAi)∑(P(Aj)×P(BAj))
DP(AiB)P(Ai)×P(BAi)∑(P(Bj)×P(ABj))
6框架表示法特点〔C〕
A构造化深层知识表示 B易附加程信息
C层次间互相独立 D组织构造化
10演绎推理三段式包括〔A〕
A推理 B结
C前提 D前提
2智力具 B 记忆思维学适应行
A进步 B感知
C改变 D认知
3结策略致分两类： 〔D〕
A递策略 循环策略 B限制策略 循环策略
C删策略 递策略 D删策略 限制策略
4太阳东边升起＿A＿
A必然事件 B确定事件
C事件 D事件
5公式正确〔Ｂ〕
Ａ P ∧(P ∧ R) ←→P
Ｂ
Ｃ P∨(Q∧R) ←→ (P∧Q)∨ (P∧ R)
Ｄ P∨(P∧R) ←→R
6数字表示模糊〔B〕
Ａ 08 Ｂ 05
Ｃ 0 Ｄ 1
7掷二枚骰子事件A出现点数等3概率 〔 B 〕
A 111 B 118 C 16 D
8市场某商品两工厂市场占率分60％40％两 买件 买工厂概率 〔 C 〕
B C 048 D
9形式匹配分 〔D〕
A模糊匹配 准确匹配
B复杂匹配 进件匹配
C相似匹配 准确匹配
D确定匹配 确定性匹配
10设甲乙丙三中说真话说假话某着三分提出问题：谁说谎者？
甲答：BC说谎者〞
乙答：AC说谎者〞
丙答：AB少说谎者〞
谁老实谁说谎者？〔C〕
A甲老实乙说谎者
B甲老实丙说谎者
C丙老实甲说谎者
D丙老实乙说谎者
二判断题
1 工智智计算机系统类智慧机器模拟者说机器具类似智慧〔语言理解学推理〕 〔 T 〕
2 典命题逻辑谓词逻辑语义解释两：真假01 〔 T 〕
3 海伯伦定理计算机实现证明程〔 F 〕
4 鲁宾逊结原理中空子句满足假设子句集包含空子句集子句集定满足〔 T 〕
5 逆推理缺点假设提出假设目符合事实会降低系统效率〔 F 〕
6 确定性推理指推理知识推出结确定谓确定性真值
假〔 T 〕
7 鲁宾逊结原理中设C1C2子句集S中两子句C12结式假设C12参加S中新子句集S2SS2等价〔F〕
8 产生式规表达具构造性知识效率较高〔 F 〕
9 框架描绘具固定静态象通数构造描绘某简单动态象〔 F 〕
10 语义网络系统两部分组成：语义网络组成知识库 求解问题解释程序推理机〔 T 〕
1 工智计算机科学分支智计算机系统类智慧机器模拟者说机器具类似智慧〔语言理解学推理〕 〔√ 〕
2 01…910数字中次取两抽5数字概率01〔× 〕
3 工智研究途径张通运计算机科学方法进展研究实现工智计算机模拟〔√ 〕
4 〔x〕{P(x)àP(x)}消蕴含符号：〔x〕{ØP(x)ÚP(x)} 〔× 〕
5 工智研究长期目现电子计算机更聪明更仅做般数值计算非数值信息数处理运知识处理问题模拟类部分智行〔 ×〕
6命题判断真假语句〔× 〕
7 单谓词谓词公式〔√ 〕
8 产生式系统构成规库综合数库两部分〔× 〕
9 天午篮球〞相应谓词公式表示：
TIME(X) X午 PLAY〔XY〕：XY
〔X〕TIME〔X〕 PLAY〔HEBASKETBALL〕〔√ 〕
10．规演绎系统产生式系统正推理逆推理双推理三种推理方式逆推理户提供初始事实出发知识库KB中找出前适知识构成适知识集KS然某种突消解策略KS中选出条知识进展推理推出新事实参加数库中作步推理事实知识库中选取适知识进展推理重复直求求解者知识库中适知识止 〔× 〕
1假搜索接起始节点程序次扩展节点种搜索深度搜索〔×〕
2启发式搜索定盲目式搜索(×)
3语义网络框架等知识表示方法均知识事实种静止表示方法〔√〕
4 反推理事实作出发点定策略运知识库中知识推断出结程〔× 〕
构造选择需根系统应环境执行务特点确定〔×〕
6图搜索算法中CLOSE表登记考察节点〔×〕
7 框架合适表达构造性知识概念象等知识适框架表示〔√〕
8 条规条件部分前数库相匹配时需决定首先条规称突解决(√)
9命题逻辑法描绘客观事物构造逻辑特征反映出事物间特征表述出 〔√ 〕
1根历事物现象真相信程度称信度〔√〕
2信度带较观性历性准确性难握〔√〕
3CF模型基信度表示确定性推理根方法〔√〕
5命题取值两〔×〕
命题取值三：真假意义
6工智机器具类似智慧〔语言理解学推理〕〔√〕
7命题判断真假陈述句〔√〕
8认工智元年〞时间1956年 〔√〕
9模糊集模糊度[01]数 〔√〕
10明天会雨真命题〔×〕
1美丽祖国〞命题〔T〕
根底开展起命题逻辑成逻辑种特殊形式〔F〕
3模糊集A正规模糊集核集空〔F〕
描绘具固定静态象通数构造该象象属性属性值〞表示〔T〕
5框架表示知识系统中问题求解通匹配扩展实现〔F〕
6语义网络三元组中表示类属关系时箭头指节点代表层概念箭尾节点代表层节点〔T〕
7代换形{t1x1t2x2…tnxn}限集合中t1t2…tn项x1x2…xn样变元 〔F〕
根底种推理确定性知识运处理〔F〕
9目前专家系统中知识确定性般领域专家出通常数值表示相应知识确定性程度称知识动态强度〔F〕
构造序中分析计算出规律问题〔F〕
3命题逻辑局限性法描绘客观事物构造逻辑特征反映出事物间特征表述出 T
4 谓词公式指命题逻辑谓词逻辑利连接词简单命题连接起构成合命题表示拟复杂含义 T
5 模糊性指客观事物性态类属方面清楚性根源类似事物间存系列渡状态互相浸透互相贯穿彼间没明显分界限 T
6 λ程度截集模糊集合特殊〔普通〕集合转化重概念F
理中积累起客观世界认识历理中获信息关联起获知识 T
根务：种判断推出种判断 T
9 OPEN表存放扩展者已扩展节点 F
10深度优先搜索总解途径短解 F
1观 Bayes 方法利新信息先验概率P(H)更新验概率P(H|E)种计算方法〔T〕
2谓词体常量变元元〔F〕
3样条件重复进展某种试验时试验结果定完全样预知现象称机现象〔T〕
4仅体变元量化谓词称二介谓词〔F〕
5A凸模糊集意λ∈[01]Aλ程度截集闭区间〔T〕
6谓词逻辑表示规 〔T〕
7蕴含式表示知识范围产生式表示范围广〔F〕
8模糊推理确定性推理中种〔T〕
9子句间合取词析取词〔F〕
10结策略中限制策略减结盲目性快结出空子句〔T〕
2 工智长期研究目 电子计算机更聪明更仅做般数值计算非数值信息数处理运知识处理问题模拟类部分智行 〔×〕
3吃饱命题〞命题〔√〕
4假设d(A)A模糊度假模糊度0越模糊等0时模糊〔×〕
5雪白色〞工智中种知识称规〞〔×〕
6 产生式系统般控制系统规库综合数构成〔√〕
7 结推理种形式常三段式〔×〕
8参加结子句部含合文字进展结前应文字先进展合 〔√〕
9close表：存放扩展者已扩展节点谓节点进展扩展〞指：适宜算符该节点进展操作生成组子节点〔√〕
10CF(E)06 表示证 E 信度 〔√〕
三简答题
1什推理？
事实出发通运已掌握知识找出中蕴含事实结出新事实程称推理
2什语意网络语义网络组成？
语义网络通概念语义关系表示知识种网络图
语义网络节点节点间弧组成中节点表示种事物概念情况属性动作状况等弧表示种语义联络指明连接节点间种语义联络
3 谓产生式系统？部分组成？
组产生式放起互相配合协作产生式生成结供产生式作事实求问题解样系统称产生式系统
产生式系统般三根部分组成：规库综合数库推理机
4演义推理定义常形式
演绎推理：全称判断推导出特称判断单称判断程般性知识推出合适某详细情况结包括：1前提般性知识假设2前提关研究详细情况事实判断3结前提推出合适前提示情况新判断
5 框架系统中求解问题般程？
(1) 首先问题框架表示出
(2) 然通知识库中已框架进展匹配找出匹配预选框架作初步假设初步假设引导搜集进步信息
(3) 某种评价方法预选框架进展评价便决定否承受
目工智研究途径
(1) 工智研究长期目
工智长期研究目：构造实现类智智计算机智系统
(2)工智期研究目：
现电子计算机更聪明更仅做般数值计算非数值信息数处理运知识处理问题模拟类部分智行
着工智研究断深化开展期目断变化逐步远期目
(3)研究途径：
符号处理核心方法——张通运计算机科学方法进展研究实现工智计算机模拟
网络连接连接机制方法——张生物学方法进展研究搞清楚类智质
2什谓词公式
答：单谓词谓词公式
假A谓词公式┐A谓词公式
假设AB谓词公式A∧BA∨BA→BA←→B谓词公式
假设A谓词公式X体变元包含全称量词存量词谓词公式
3选择知识表示模型时应该考虑素？
答：充分表示领域知识
利知识利
便知识组织维护理
便理解实现
4什突？
答：推理程中系统断前事实知识库中知识进展匹配时发生三种情况：
Ⅰ 事实知识库中知识匹配成功
Ⅱ 事实恰知识库中知识匹配成功
Ⅲ 事实知识库中知识匹配成功者〔组〕事实知识库中知识匹配成功者〔组〕事实知识库中知识匹配成功
第三种突
1 工智定义
工智——计算机科学分支智计算机系统类智慧机器模拟者说机器具类似智慧〔语言理解学推理〕
2 爱劳动〔labour〕
〔定义谓词：PEOPLE(x)表示x〞LOVE(xy)表示x爱y〞〕
3高教师7月8月计算机系学生讲计算机网络课语义网络表示
5设两模糊关系
请写出R1°R2
R(11)(03∧02)∨(07∧06)∨(02∧09) 02∨06∨0206
R(12)(03∧08)∨(07∧04)∨(02∧01) 03∨04∨0104
R(21)(1∧02)∨(0∧06)∨(04∧09) 02∨0∨0404
R(22)(1∧08)∨(0∧04)∨(04∧01) 08∨0∨0108
R(31)(0∧02)∨(05∧06)∨(1∧09) 02∨06∨0909
R(32)(0∧08)∨(05∧04)∨(1∧01) 0∨04∨0104
1某校计科系年级100名学生中男生80名昆明20名学生中 男生12名选修数学建模课40名学生中男生32名求碰男生情况昆明学生概率：
2
3甲袋中6红球4白球乙袋中8红球6白球求事件概率：
5语义网络表示信息
胡途思源公司理35岁住飞天胡68号
6清华学北京学进展篮球赛89：89分完毕
7命题：某学生读三国演义〞谓词公式表示
8命题：某学生读三国演义〞语义网络表示
9十字路口交通信号灯分钟红灯亮30秒绿灯亮25秒黄灯亮5秒抬头信号灯时黄灯概率_______________
112
106件产品中2件次品取两件次品概率
115
1命题公式解释什含义？求解命题公式真值指派
答：命题公式中命题变元次真值指派称命题公式解释
2什研究模糊理？
答：概率解决问题机事件发生性仅仅现实世界中种确定性事件身明确发生定条件模糊理研究形态属性确定性事件身确定
事实：
张某盗公安局派五侦察员调查研究案情时侦察员Ａ说：赵钱中少作案〞侦察员Ｄ说：钱孙少作案〞侦察员Ｃ说：孙李中少作案〞侦察员Ｄ说赵孙少案关〞侦察员Ｅ说钱李中少案关〞假五侦察员话信试消解原理推理求出谁盗窃犯
五侦察员话真
P〔z〕Ú p〔q〕 〔1〕
P〔q〕Ú p〔s〕 〔2〕
P〔s〕Ú p〔l〕 〔3〕
Øp〔z〕Ú Øp〔s〕〔4〕
Øp〔q〕Ú Øp〔l〕〔5〕
结否认参加结否认否认子句中：
Øp〔x〕v ØP〔x〕〔6〕
全子句化子句集步骤省略
〔1〕〔4〕结：
p〔q〕Ú Øp〔s〕〔7〕
〔2〕〔7〕结：
p〔q〕 〔8〕
：钱盗窃犯
〔5〕〔8〕结：Øp〔l〕〔9〕
李盗窃犯
〔3〕〔9〕结：p(s) (10)
孙盗窃犯
〔4〕〔10〕结：Øp〔z〕
赵盗窃犯
钱孙盗窃犯
1) 框架进展构造化深层知识表示：
框架实体属性关系默认值等提供显示表示中提供默认值相 历预测合适表示常识性知识
表示实体固果模型便知识解释
(2) 容易附加程信息框架描绘静态知识 if_neededif_addedif_removed侧面进展附加
3框架间层次构造提供继承特性框架属性附加程高层次框架继承
构造化框架组织成层状框架形成独立知识单元利系统扩展模块化
1〔1〕__核集___(2)__程度截集___(3)__支集___
〔1〕
〔3〕
〔2〕
2假设推出结途径划分推理分：演绎推理纳推理 默认推理
3知识特性？
相正确性确定性表示性利性
谓词逻辑表示：喜欢篮球
定义谓词：MAN(x)x
LIKE(xy)x喜欢y
┐〔〔X〕MAN〔X〕→LIKE〔X篮球〕〕
6Open表Closed表作
Open表存放刚生成节点Closed表存放扩展者已扩展节点
？
根历事物者现象真相信程度称信度
四计算题
1 设F域U模糊集RU×V模糊关系FR分：
求模糊变换F·R
解：
∨∨∨∨∨∨0 }
{06 06 06}
2 某公司招聘工作员ABC三应试面试公司表示想法：
(1) 三中少录取
(2) 假录取A录取B 定录取C
(3) 假录取B定录取C
求证：公司定录取C
(1) P(A) Ú P(B) Ú P(C)
(2) Ø P(A) Ú P(B) Ú P(C)
(3) Ø P(B) Ú P(C)
(4) Ø P(C)
应结原理进展结
(5) P(B) Ú P(C) (1)(2)结
(6) P(C) (3)(5)结
(7) NIL (4) 6)结
＼ 公司定录取C
3 写出学生框架描绘
4 设组知识：
R1 IF E1 THEN H (08)
R2 IF E2 THEN H (06)
R3 IF E3 THEN H (05)
R4 IF E4 AND (E5 OR E6) THEN E1 (07)
R5 IF E7 AND E8 THEN E3 (09)
求：CF(H)？
解：
R4：
CF(E1)07×max{0CF[E4 AND (E5 OR E6)]}
07×max{0min{CF(E4)CF(E5 OR E6)}}
R5：
CF(E3)09×max{0CF[E7 AND E8]}
09 ´
r1 ：
CF1( H ) 08 ´ max { 0 CF ( E1 ) }
08 ´ 035
028
r2 ：
CF2( H ) 06 ´ max { 0 CF ( E2 ) }
06 ´ 08
r3 ：
CF3( H ) 05 ´ max { 0 CF ( E3 ) }
05 ´ 054
结确定性合成算法
CF12( H ) CF1 ( H ) + CF2 ( H ) – CF1 ( H ) ´ CF2 ( H )
028 + 048 – 028 ´
049
：CF( H ) 049
合：132：CF( H ) 04872231：CF( H )
5 P(A)1 P(B 1 )004 P(B 2 )002
R1 A →B1
R2 B1 → B2
求计算P(B2|A)
解：规R2 时证B 1 确定发生
P(B 1 ) ≠1采插值方法
先A 必然发生定义R1：
然P(B 1 |A)0454 P(B 1 ) 假设P(B 1 |A)1计算：
进展插值：
：
(1)假xy父亲yz父亲xz祖父
(2)父亲
结演绎推理证明：某u定存vvu祖父
解：先定义谓词
F(x y)：xy父亲
GF(x z)：xz祖父
P(x)：x
谓词问题描绘出：
F1：(x) (y) (z)( F(x y)∧F(y z))→GF(x z))
F2：(y)(P(x)→F(x y))
求证结G：(u) (v)( P(u)→GF(v u))
然F1F2¬G化成子句集：
① ¬F(x y)∨¬F(y z)∨GF(x z)
② ¬P(r)∨F(s r)
③ P(u)
④ ¬GF(v u))
述扩子句集结推理程：
3〔10分〕：
假xy父亲yz父亲xz祖父
利结演绎推理证明：某u定存vvu祖父
定义谓词：
F(xy)：yx父亲
G(xy)yx祖父
F(xy)∧F(yz)→G(xz)：假xy父亲yz父亲xz祖父
G(uv)：假u存v祖父
字句集合：
1F(xy)
2F〔yz〕
3Ø F(xy)∨ØF〔yz〕∨G〔xz〕
4ØG(uv)
5 ØF〔yz〕∨G〔xz〕1+3结
6 G〔xz〕2+5结
7nil 4+6{uxvy}
命题成立
2 设H1H2H3分三结E支持结证：
P(EH2) P(EH3)
求： P(H1E) P(H2E) P(H3E)
解：根公式
3 请命题分写出语义网络：
(1) 学生台计算机
2写出面棵树广度优先深度优先
深度优先：12561011371213489
广度优先：12345678910111213
四
1谓词逻辑形式化描绘 存整数
2状态空间法点什？
状态空间法状态算符根底表示求解问题三点：状态算符问题状态空间
3语义网络点什？
类属关系包含关系属性关系时间关系位置关系相关系推关系
4然语言转化谓词表示形式：
(1) 呼吸
(2) 学生参加考试
(3) 整数正负
(1) Vx(M(x)→H(x)) (2) Vx(P(x)→Q(x))
3U{u1 u2 u3u4u5} 设ABU两模糊集 A09
B06u3+08u4+1u5
求A∪B A∩B﹁A
解：A∩B (09∧0) u1+(07∧0) u2+(05∧06)u3+(03∧08)u4+(0∧1)u5
0 u1+0 u2+05u3+03u4+0u5
A∪B(09∨0) u1+(07∨0) u2+(05∨06)u3+(03∨08)u4+(0∨1)u5
09 u1+07 u2+06u3+08u4+1u5
﹁A) u1+(107) u2+(105)u3+(103)u4+(10)u5
01 u1+03 u2+05u3+07u4+1u5
1F1：张先生王司〔boss〕
F2：王刘事〔workmate〕
F3：假XY事X司Y司
求：刘司谁？
解
谓词定义：boss〔XY〕：YX司
workmate(XY)：XY事
前提带求解问题表示成谓词公式：
F1：boss(wang zhang)
F2：workmate(liuwang)
F3：
G：
述公式化子句集：
9步：
〔〕
2非移仅谓词位置
3重新命名变元名
4消存
5全称量词左
〔合取形式〕
7全称量词
8变元更名子句中变元名
9消合取词
终子句集：
〔1〕boss(wang zhang)
〔2〕workmate(liuwang)
〔3〕
〔4〕
应结原理进展结
（5） 〔1〕〔3〕结
终结：
（6） 〔4〕〔5〕结
终结：
〔7〕〔2〕〔6〕结
终结：
ANSWER(zhang)出：刘司张先生
2．：阅读识字海豚识字海豚聪明
结策略证明：聪明识字
解：
证明：首先定义谓词常量：〔2 分〕
Read(x)表示x 阅读
Know(y)表示y 识字
Wise(z)表示z 聪 明
r 表示类h 表示海豚
然事实目否认谓词公式表示出化成子句集：〔2 分〕
(1) ～Read(r)∨Know(r)
(2) ～Know(h)
(3) Wise(a)
(4) ～Wise(r)∨Know(r) 子句集进展结〔4 分〕
(5) Know(a) (3)(4)结σ＝｛ar｝
(6) NIL (2)(5)结σ＝｛ah｝ 命题证
3：
F1：王〔Wang〕先生李〔Li〕教师
F2：李张〔Zhang〕班学
F3：假 x y 班学 x 教师 y 教师
求：张教师谁？
解 首先定义谓词：
T(x y)：x y 教师
C(x y)：x y 班学
前提求解问题表示成谓词公式：
F1 T(Wang Li)
F2 C(Li Zhang)
F3 (x)(y)(z)(C(xy)ÙT(zx)®T(zy))
G Ø(x)T(xZhang)Ú ANSWER(x)
述公式化子句集：
(1) T(WangLi〕
(2) C(LiZhang)
(3) ØC(xy)ÚØT(zx)ÚT(zy)
(4) ØT(uZhang)ÚANSWER(u)
结原理进展结：
(5) ØC(Li y) Ú T(Wang y) (1)(3)结
(6) ØC(Li Zhang) Ú ANSWER(Wang) (4)(5)结〔wangu〕
(7) ANSWER(Wang) (2)(6)结
ANSWER(Wang) 知张教师王教师
2设规
r1 IF E1 THEN (2 00001) H1
r2 IF E1 AND E2 THEN (100 0001) H1
r3 IF H1 THEN (50 001) H2
：
求P(H2|S1S2)
解：(1) r1计算O(H1| S1)
先H1先验概率更新E1验概率P(H1| E1)
P(H1| E1)(LS1 × P(H1)) ((LS11) × P(H1)+1)
(2 × 0091) ((2 1) × 0091 +1)
P(E1|S1)084 > P(E1)P(H | S)公式半部分前观察S1验概率P(H1| S1)验率O(H1| S1)
P(H1| S1) P(H1) + ((P(H1| E1) – P(H1)) (1 P(E1))) × (P(E1| S1) – P(E1))
0091 + (016682 –0091) (1 – 06)) × (084 – 06)
0091 + 018955 ×
O(H1| S1) P(H1| S1) (1 P(H1| S1))
(2) r2计算O(H1| S2)
先H1先验概率更新E2验概率P(H1| E2)
P(H1| E2)(LS2 × P(H1)) ((LS21) × P(H1)+1)
(100 × 0091) ((100 1) × 0091 +1)
P(E2|S2)068 > P(E2)P(H | S)公式半部分前观察S2验概率P(H1| S2)验率O(H1| S2)
P(H1| S2) P(H1) + ((P(H1| E2) – P(H1)) (1 P(E2))) × (P(E2| S2) – P(E2))
0091 + (090918 –0091) (1 – 06)) × (068 – 06)
O(H1| S2) P(H1| S2) (1 P(H1| S2))
(3) 计算O(H1| S1S2)P(H1| S1S2)
先H1先验概率转换先验率
O(H1) P(H1) (1 P(H1
根合成公式计算H1验率
O(H1| S1S2) (O(H1| S1) O(H1)) × (O(H1| S2) O(H1)) × O(H1)
(015807 010011) × (034163) 010011) ×
该验率转换验概率
P(H1| S1S2) O(H1| S1S2) (1+ O(H1| S1S2))
(4) r3计算O(H2| H1)
先H2先验概率更新H1验概率P(H2| H1)
P(H2| H1)(LS3 × P(H2)) ((LS31) × P(H2)+1)
(50 × 001) ((50 1) × 001 +1)
P(H1| S1S2)035040 > P(H1)P(H | S)公式半部分前观察S1S2H2验概率P(H2| S1S2)验率O(H2| S1S2)
P(H2| S1S2) P(H2) + ((P(H2| H1) – P(H2)) (1 P(H1))) × (P(H1| S1S2) – P(H1))
001 + (033557 –001) (1 – 0091)) × (035040 – 0091)
O(H2| S1S2) P(H2| S1 S2) (1 P(H2| S1 S2))
见H2原概率001述推理验概率010291相先验概率10倍
5设知识：
r1 if E1 then (2 0001) H1
r2 if E2 then (100 0001) H1
r3 if H1 then (200 001) H2
： P(H1)009 P(H2)001 C(E1S1)2
C(E2S3)1
求： P(H2S1S2)
CP公式：
解：
7设知识
r1IF E1(06) and E2(04) then E6(08075)
r2IF E3(05) and E4(03) and E5(02) then E7(0706)
r3IF E6(07) and E7(03) then H(07506)
：
求CF(H)
解：
r1：CF(r1) 规１证信度
CF(E1(06) and E2(04))
＋
r2：CF(r2) 规２证信度
CF( E3(05) and E4(03) and E5(02) )
E1
E2
E3
E4
E5
E6
E7
H
w3×CF(E3)+w4×CF(E4)+ w5×CF(E5)
＋＋
CF(r1)> l1 CF(r2)> l2 l1075 l2
CF(r1)> CF(r2)
＝
r3CF(r3)
CF(E6(07) and E7(03))
＋
CF(r3)> l3
+13
+12
求：3左右+2左右？
解：
9设A域U模糊集RU×V模糊关系AR分：
求模糊变换AR
解：
10 设模糊矩阵
1〔10分〕班级里王李杜讨零食喜欢程度
爱种零食爱程度列成张表格
爆米花
绿豆糕
猫耳朵
辣条
王
06
李
0
杜
0
请表示关系R1进展合成
答案：
关系：R0
06 02 05 08
03 08 01 0
06
R0*R1
2〔10分〕设三独立结H1H2H3 两独立证E1E2 先验概率条件概率分：
P〔H1〕04 P〔H2〕03 P〔H3〕
P〔E1H1〕05 P〔E1 H2〕03 P〔E1H3〕
P〔E2H1〕07 P〔E2H2〕09 P〔E2H3〕
利概率方法分求出：
〔1〕证E1 出现时P〔H1 E1〕P〔H2 E1〕P〔H3 E1〕值说明E1出现证H1H2H3影响
〔2〕E1E2时出现时P〔H1 E1 E2〕P〔H2 E1 E2〕P〔H3 E1 E2〕值
答案：〔1〕P〔H1 E1〕
P〔H2 E1〕
P〔H3 E1〕
〔2〕P〔H1 E1 E2〕
P〔H2 E1 E2〕
P〔H3 E1 E2〕
2重排九宫问题3X3方格棋盘放置分标数字12345678八张牌初始状态S0目状态S图示
2 8 3
1 4
7 6 5
1 2 3
8 4
7 6 5
算符：
空格左移空格移空格右移空格移允许位空格左右边牌移入空格求寻找初始状态目状态途径
解途径 S0®3 ®8 ®16 ®26 (Sg)
3 设事实：
赵云学生
东方学修计算机课程
入校时间1990年
求解问题： 赵云修什课程？
解： 事实语义网络表示出放知识库中
学生
赵云
教育
教育1
计算机
科学
学
东方学
1990
时间
ISA
ISA
ISA
ISA
ISA
Agent
Begin
Recipient
Major
文档香网(httpswwwxiangdangnet)户传
《香当网》用户分享的内容，不代表《香当网》观点或立场，请自行判断内容的真实性和可靠性！
该内容是文档的文本内容，更好的格式请下载文档
选择题
1誉工智父〞科学家〔 C 〕
A 明斯基 B 图灵
C 麦卡锡
2 AI英文缩写( B )
A Automatic Intelligence B Artificial Intelligence
C Automatic Information D Artificial Information
3 子句特点〔 D 〕
A子句间没合取词(∧) B子句通合取词连接句子(∧)
C子句中析取词(∨) D子句间没析取词(∨)
4 命题〔 C 〕
A工智课 B 存素数
C请勿便 D 次考试101分
5 搜索分盲目搜索〔 A 〕
A启发式搜索 B模糊搜索
C准确搜索 D数搜索
6 全称判断推导出特称判断单称判断程般性知识推出合适某详细情况结推理〔 B 〕
A 结推理 B 演绎推理
C 默认推理 D 单调推理
7 面属工智研究根容〔 C 〕
A 机器感知 B 机器学
C 动化 D 机器思维
8 S{P∨Q∨R ┑Q∨R Q ┑R}中 P 纯文字子句〔 A 〕 S中删
A P∨Q∨R B ┑Q∨R
C Q D ┑R
9 属框架中设置常见槽〔 B 〕
A ISA槽 B ifthen槽
C AKO槽 D Instance槽
10 常见语意网络〔 D 〕
A AMember of联络 B Composed–of联络
C have 联络 D 全
1深度优先搜索策略中open表〔 B 〕数构造
A 先进先出 B 先进出
C 根估价函数值重排 D 机出
〔 B 〕推理
A 般 B 般
C D 般般
3 想机器具智必须机器具知识工智中研究领域研究计算机动获取知识技实现完善门研究分支学科〔 B 〕
A专家系统 B机器学
C神网络 D形式识
4 工智研究领域〔 D 〕
A机器证明 B形式识
C工生命 D编译原理
6 观Bayes方法中率O(x)取值范围〔 D 〕
A [1 1] B [0 1]
C [1 ∞〕 D [0 ∞〕
7 仅体变元量化谓词称 ( A )
A 阶谓词 B 原子公式
C 二阶谓词 D 全称量词
8 信度方法中CF〔HE〕取值〔 C 〕时前提E真支持结H真
A 1 B 0
C <0 D >0
9 机器学新研究领域〔 A〕
A 数挖掘 B 神网络
C 类学 D 学
10语义网络表达知识时弧AKO链ISA链表达节点知识〔 C 〕
A 悖性 B 扩性
C 继承性
3工智系统知识包含4素中〔 D 〕
A 事实 B 规
C 控制元知识 D 关系
5部分专家系统组成部分〔 A 〕
A 户 B 综合数库
C 推理机 D 知识库
7 谓确定性推理( )初始证出发通运( )知识终推出具定程度确定性合理者合理结思维程 ( A )
A 确定性 确定性 B 确定性 确定性
C 确定性 确定性 D 确定性 确定性
10 C(B|A) 表示规A>B中证A真作结B真 ( B )
A 信度 B 信度
C 信增长度 D 概率
11设离散型机变量XY结合概率分布 a b值( A )
A a29 b19 B a19 b29
C a16 b16 D a518 b118
3 典逻辑推理方法包括〔 D 〕
A然演绎推理 B结演绎推理
C形演绎推理 D假设推理
6 盲目搜索策略包括〔 D 〕
A 广度优先搜索 B 深度优先搜索
C 界深度优先搜索 D 全局择优搜索
结：
盲目搜索：广度优先搜索深度优先搜索界深度优先搜索代价树广度优先搜索代价树深度优先搜索
启发式搜索：全局择优搜索部分择优搜索
7种搜索方式必然找解〔 C 〕
A 深度优先 B 堆栈搜索
C 广度优先 D 混合搜索
7．推理正确选项〔 A 〕
A 假雨湿 没雨 湿
B 假x金属x导电铜金属 铜导电
C 假雨湿湿 没雨
D 贝喜欢意东西哈士奇意贝喜欢哈士奇
9项没发生突〔D〕
A事实知识库中知识匹配成功
B事实知识库中知识匹配成功
C事实知识库中知识匹配成功
D事实知识库中知识匹配成功
10 选项中种情况发生突〔 BC 〕
A 事实知识库中知识匹配成功
B 事实知识库中知识匹配成功
C 事实恰知识库中知识匹配成功
D 事实知识库中知识匹配成功者〔组〕事实知识库中知识匹配成功者〔组〕事实知识库中知识匹配成功
1工智中假〞关联起知识称〔 B 〕
A 产生式 B 规
C 关系式 D 形式
2项知识标识方法〔 C 〕
A 阶谓词表示法 B 状态空间法
C 关系式表示法 D 框架表示法
〔 B 〕槽逆关系
A ISA B AKO
C SUBCLASS D MEMBEROF
4图代表关系〔 B 〕
A 分类关系 B 聚集关系
C 推关系 D 时间位置关系
5 关推理观点：〔 D 〕
(1) 假行星系统太阳中心金星会显示出位相变化
(2) 金星显出位相变化
(3) 行星系统太阳中心
A 符合然演绎推理规
B 否认前件推理
C 典逻辑推理组真事实出发直接运典逻辑推理规推出结程题符合特征
D 肯定件推理
6确定推理中初始证值户出推理证值〔 C 〕
A 确定性匹配算法计算
B 确定性阈值选择算法
C 确定性传递算法计算
D 确定性合成算法计算
9反演结〔消解〕证明定理时假设前结式〔 C 〕时定理证
A 永真式 B 包孕式
C 空子句 D 永假式
事实出发通规库求结产生式系统推理方式〔 A 〕
A 正推理 B 反推理
C 双推理 D 混合推理
1．工智知识智力综合中智特征〔A〕
A 具推理 B 具感知
C 具记忆思维 D 具学适应
2 谓词表示法特点〔B〕
A 然性 B 简易性
C 严密性 D 描绘性
3确定性推理方法〔C〕
A 观Bayes方法 B 信度方法
C 理推理法 D 模糊推理法
4观Bayes方法中证E支持结H时〔C〕
ALS<1 BLS1
CLS>1 DLS<0
5 系统属新型专家系统〔D)
A媒体专家系统 B实时专家系统
C军事专家系统
6．工智研究重广泛两领域〔B〕
A 专家系统 动规划 B专家系统 机器学
C机器学 动规划 D机器学 然语言理解
8．语义网络组成部分〔C〕
A 框架弧线 B状态算符
C 结点链
9．设代换：q {f(y)x zy} l {ax by yz} q o l ( A )
A{f(b)xyz}
B{f(b)x zy}
C{f(y)x yz }
D{f(b)x zb}
10说法正确选项 B
A 空子句永假满足
B 谓词逻辑中谓词公式通应等价关系推理规化成相应子句集
C 文字析取式称子句
D 结演绎定理证明质前提P结Q证明P>Q永真性
1工智研究根容包括〔B〕
A机器行 B机器动作
C机器思维 D机器感知
2说法正确选项 〔C〕
A永真性：假谓词公式P体域D解释获真值T称PD永真
B满足性：谓词公式P假少存解释公式P解释真值T称公式P满足
C永真性：假谓词公式P体域D存解释获真值T称PD永真
D满足性：假谓词公式P体域D解释获真值F称PD永久假假P非空体域均永假称P永假
3符合著名Bayes公式〔A〕
AP(AiB)P(Ai)×P(BAi)∑(P(Aj)×P(BAj))
BP(AiB)P(Ai)×P(AiB)∑(P(Aj)×P(BAj))
CP(AiB)P(B)×P(BAi)∑(P(Aj)×P(BAj))
DP(AiB)P(Ai)×P(BAi)∑(P(Bj)×P(ABj))
6框架表示法特点〔C〕
A构造化深层知识表示 B易附加程信息
C层次间互相独立 D组织构造化
10演绎推理三段式包括〔A〕
A推理 B结
C前提 D前提
2智力具 B 记忆思维学适应行
A进步 B感知
C改变 D认知
3结策略致分两类： 〔D〕
A递策略 循环策略 B限制策略 循环策略
C删策略 递策略 D删策略 限制策略
4太阳东边升起＿A＿
A必然事件 B确定事件
C事件 D事件
5公式正确〔Ｂ〕
Ａ P ∧(P ∧ R) ←→P
Ｂ
Ｃ P∨(Q∧R) ←→ (P∧Q)∨ (P∧ R)
Ｄ P∨(P∧R) ←→R
6数字表示模糊〔B〕
Ａ 08 Ｂ 05
Ｃ 0 Ｄ 1
7掷二枚骰子事件A出现点数等3概率 〔 B 〕
A 111 B 118 C 16 D
8市场某商品两工厂市场占率分60％40％两 买件 买工厂概率 〔 C 〕
B C 048 D
9形式匹配分 〔D〕
A模糊匹配 准确匹配
B复杂匹配 进件匹配
C相似匹配 准确匹配
D确定匹配 确定性匹配
10设甲乙丙三中说真话说假话某着三分提出问题：谁说谎者？
甲答：BC说谎者〞
乙答：AC说谎者〞
丙答：AB少说谎者〞
谁老实谁说谎者？〔C〕
A甲老实乙说谎者
B甲老实丙说谎者
C丙老实甲说谎者
D丙老实乙说谎者
二判断题
1 工智智计算机系统类智慧机器模拟者说机器具类似智慧〔语言理解学推理〕 〔 T 〕
2 典命题逻辑谓词逻辑语义解释两：真假01 〔 T 〕
3 海伯伦定理计算机实现证明程〔 F 〕
4 鲁宾逊结原理中空子句满足假设子句集包含空子句集子句集定满足〔 T 〕
5 逆推理缺点假设提出假设目符合事实会降低系统效率〔 F 〕
6 确定性推理指推理知识推出结确定谓确定性真值
假〔 T 〕
7 鲁宾逊结原理中设C1C2子句集S中两子句C12结式假设C12参加S中新子句集S2SS2等价〔F〕
8 产生式规表达具构造性知识效率较高〔 F 〕
9 框架描绘具固定静态象通数构造描绘某简单动态象〔 F 〕
10 语义网络系统两部分组成：语义网络组成知识库 求解问题解释程序推理机〔 T 〕
1 工智计算机科学分支智计算机系统类智慧机器模拟者说机器具类似智慧〔语言理解学推理〕 〔√ 〕
2 01…910数字中次取两抽5数字概率01〔× 〕
3 工智研究途径张通运计算机科学方法进展研究实现工智计算机模拟〔√ 〕
4 〔x〕{P(x)àP(x)}消蕴含符号：〔x〕{ØP(x)ÚP(x)} 〔× 〕
5 工智研究长期目现电子计算机更聪明更仅做般数值计算非数值信息数处理运知识处理问题模拟类部分智行〔 ×〕
6命题判断真假语句〔× 〕
7 单谓词谓词公式〔√ 〕
8 产生式系统构成规库综合数库两部分〔× 〕
9 天午篮球〞相应谓词公式表示：
TIME(X) X午 PLAY〔XY〕：XY
〔X〕TIME〔X〕 PLAY〔HEBASKETBALL〕〔√ 〕
10．规演绎系统产生式系统正推理逆推理双推理三种推理方式逆推理户提供初始事实出发知识库KB中找出前适知识构成适知识集KS然某种突消解策略KS中选出条知识进展推理推出新事实参加数库中作步推理事实知识库中选取适知识进展推理重复直求求解者知识库中适知识止 〔× 〕
1假搜索接起始节点程序次扩展节点种搜索深度搜索〔×〕
2启发式搜索定盲目式搜索(×)
3语义网络框架等知识表示方法均知识事实种静止表示方法〔√〕
4 反推理事实作出发点定策略运知识库中知识推断出结程〔× 〕
构造选择需根系统应环境执行务特点确定〔×〕
6图搜索算法中CLOSE表登记考察节点〔×〕
7 框架合适表达构造性知识概念象等知识适框架表示〔√〕
8 条规条件部分前数库相匹配时需决定首先条规称突解决(√)
9命题逻辑法描绘客观事物构造逻辑特征反映出事物间特征表述出 〔√ 〕
1根历事物现象真相信程度称信度〔√〕
2信度带较观性历性准确性难握〔√〕
3CF模型基信度表示确定性推理根方法〔√〕
5命题取值两〔×〕
命题取值三：真假意义
6工智机器具类似智慧〔语言理解学推理〕〔√〕
7命题判断真假陈述句〔√〕
8认工智元年〞时间1956年 〔√〕
9模糊集模糊度[01]数 〔√〕
10明天会雨真命题〔×〕
1美丽祖国〞命题〔T〕
根底开展起命题逻辑成逻辑种特殊形式〔F〕
3模糊集A正规模糊集核集空〔F〕
描绘具固定静态象通数构造该象象属性属性值〞表示〔T〕
5框架表示知识系统中问题求解通匹配扩展实现〔F〕
6语义网络三元组中表示类属关系时箭头指节点代表层概念箭尾节点代表层节点〔T〕
7代换形{t1x1t2x2…tnxn}限集合中t1t2…tn项x1x2…xn样变元 〔F〕
根底种推理确定性知识运处理〔F〕
9目前专家系统中知识确定性般领域专家出通常数值表示相应知识确定性程度称知识动态强度〔F〕
构造序中分析计算出规律问题〔F〕
3命题逻辑局限性法描绘客观事物构造逻辑特征反映出事物间特征表述出 T
4 谓词公式指命题逻辑谓词逻辑利连接词简单命题连接起构成合命题表示拟复杂含义 T
5 模糊性指客观事物性态类属方面清楚性根源类似事物间存系列渡状态互相浸透互相贯穿彼间没明显分界限 T
6 λ程度截集模糊集合特殊〔普通〕集合转化重概念F
理中积累起客观世界认识历理中获信息关联起获知识 T
根务：种判断推出种判断 T
9 OPEN表存放扩展者已扩展节点 F
10深度优先搜索总解途径短解 F
1观 Bayes 方法利新信息先验概率P(H)更新验概率P(H|E)种计算方法〔T〕
2谓词体常量变元元〔F〕
3样条件重复进展某种试验时试验结果定完全样预知现象称机现象〔T〕
4仅体变元量化谓词称二介谓词〔F〕
5A凸模糊集意λ∈[01]Aλ程度截集闭区间〔T〕
6谓词逻辑表示规 〔T〕
7蕴含式表示知识范围产生式表示范围广〔F〕
8模糊推理确定性推理中种〔T〕
9子句间合取词析取词〔F〕
10结策略中限制策略减结盲目性快结出空子句〔T〕
2 工智长期研究目 电子计算机更聪明更仅做般数值计算非数值信息数处理运知识处理问题模拟类部分智行 〔×〕
3吃饱命题〞命题〔√〕
4假设d(A)A模糊度假模糊度0越模糊等0时模糊〔×〕
5雪白色〞工智中种知识称规〞〔×〕
6 产生式系统般控制系统规库综合数构成〔√〕
7 结推理种形式常三段式〔×〕
8参加结子句部含合文字进展结前应文字先进展合 〔√〕
9close表：存放扩展者已扩展节点谓节点进展扩展〞指：适宜算符该节点进展操作生成组子节点〔√〕
10CF(E)06 表示证 E 信度 〔√〕
三简答题
1什推理？
事实出发通运已掌握知识找出中蕴含事实结出新事实程称推理
2什语意网络语义网络组成？
语义网络通概念语义关系表示知识种网络图
语义网络节点节点间弧组成中节点表示种事物概念情况属性动作状况等弧表示种语义联络指明连接节点间种语义联络
3 谓产生式系统？部分组成？
组产生式放起互相配合协作产生式生成结供产生式作事实求问题解样系统称产生式系统
产生式系统般三根部分组成：规库综合数库推理机
4演义推理定义常形式
演绎推理：全称判断推导出特称判断单称判断程般性知识推出合适某详细情况结包括：1前提般性知识假设2前提关研究详细情况事实判断3结前提推出合适前提示情况新判断
5 框架系统中求解问题般程？
(1) 首先问题框架表示出
(2) 然通知识库中已框架进展匹配找出匹配预选框架作初步假设初步假设引导搜集进步信息
(3) 某种评价方法预选框架进展评价便决定否承受
目工智研究途径
(1) 工智研究长期目
工智长期研究目：构造实现类智智计算机智系统
(2)工智期研究目：
现电子计算机更聪明更仅做般数值计算非数值信息数处理运知识处理问题模拟类部分智行
着工智研究断深化开展期目断变化逐步远期目
(3)研究途径：
符号处理核心方法——张通运计算机科学方法进展研究实现工智计算机模拟
网络连接连接机制方法——张生物学方法进展研究搞清楚类智质
2什谓词公式
答：单谓词谓词公式
假A谓词公式┐A谓词公式
假设AB谓词公式A∧BA∨BA→BA←→B谓词公式
假设A谓词公式X体变元包含全称量词存量词谓词公式
3选择知识表示模型时应该考虑素？
答：充分表示领域知识
利知识利
便知识组织维护理
便理解实现
4什突？
答：推理程中系统断前事实知识库中知识进展匹配时发生三种情况：
Ⅰ 事实知识库中知识匹配成功
Ⅱ 事实恰知识库中知识匹配成功
Ⅲ 事实知识库中知识匹配成功者〔组〕事实知识库中知识匹配成功者〔组〕事实知识库中知识匹配成功
第三种突
1 工智定义
工智——计算机科学分支智计算机系统类智慧机器模拟者说机器具类似智慧〔语言理解学推理〕
2 爱劳动〔labour〕
〔定义谓词：PEOPLE(x)表示x〞LOVE(xy)表示x爱y〞〕
3高教师7月8月计算机系学生讲计算机网络课语义网络表示
5设两模糊关系
请写出R1°R2
R(11)(03∧02)∨(07∧06)∨(02∧09) 02∨06∨0206
R(12)(03∧08)∨(07∧04)∨(02∧01) 03∨04∨0104
R(21)(1∧02)∨(0∧06)∨(04∧09) 02∨0∨0404
R(22)(1∧08)∨(0∧04)∨(04∧01) 08∨0∨0108
R(31)(0∧02)∨(05∧06)∨(1∧09) 02∨06∨0909
R(32)(0∧08)∨(05∧04)∨(1∧01) 0∨04∨0104
1某校计科系年级100名学生中男生80名昆明20名学生中 男生12名选修数学建模课40名学生中男生32名求碰男生情况昆明学生概率：
2
3甲袋中6红球4白球乙袋中8红球6白球求事件概率：
5语义网络表示信息
胡途思源公司理35岁住飞天胡68号
6清华学北京学进展篮球赛89：89分完毕
7命题：某学生读三国演义〞谓词公式表示
8命题：某学生读三国演义〞语义网络表示
9十字路口交通信号灯分钟红灯亮30秒绿灯亮25秒黄灯亮5秒抬头信号灯时黄灯概率_______________
112
106件产品中2件次品取两件次品概率
115
1命题公式解释什含义？求解命题公式真值指派
答：命题公式中命题变元次真值指派称命题公式解释
2什研究模糊理？
答：概率解决问题机事件发生性仅仅现实世界中种确定性事件身明确发生定条件模糊理研究形态属性确定性事件身确定
事实：
张某盗公安局派五侦察员调查研究案情时侦察员Ａ说：赵钱中少作案〞侦察员Ｄ说：钱孙少作案〞侦察员Ｃ说：孙李中少作案〞侦察员Ｄ说赵孙少案关〞侦察员Ｅ说钱李中少案关〞假五侦察员话信试消解原理推理求出谁盗窃犯
五侦察员话真
P〔z〕Ú p〔q〕 〔1〕
P〔q〕Ú p〔s〕 〔2〕
P〔s〕Ú p〔l〕 〔3〕
Øp〔z〕Ú Øp〔s〕〔4〕
Øp〔q〕Ú Øp〔l〕〔5〕
结否认参加结否认否认子句中：
Øp〔x〕v ØP〔x〕〔6〕
全子句化子句集步骤省略
〔1〕〔4〕结：
p〔q〕Ú Øp〔s〕〔7〕
〔2〕〔7〕结：
p〔q〕 〔8〕
：钱盗窃犯
〔5〕〔8〕结：Øp〔l〕〔9〕
李盗窃犯
〔3〕〔9〕结：p(s) (10)
孙盗窃犯
〔4〕〔10〕结：Øp〔z〕
赵盗窃犯
钱孙盗窃犯
1) 框架进展构造化深层知识表示：
框架实体属性关系默认值等提供显示表示中提供默认值相 历预测合适表示常识性知识
表示实体固果模型便知识解释
(2) 容易附加程信息框架描绘静态知识 if_neededif_addedif_removed侧面进展附加
3框架间层次构造提供继承特性框架属性附加程高层次框架继承
构造化框架组织成层状框架形成独立知识单元利系统扩展模块化
1〔1〕__核集___(2)__程度截集___(3)__支集___
〔1〕
〔3〕
〔2〕
2假设推出结途径划分推理分：演绎推理纳推理 默认推理
3知识特性？
相正确性确定性表示性利性
谓词逻辑表示：喜欢篮球
定义谓词：MAN(x)x
LIKE(xy)x喜欢y
┐〔〔X〕MAN〔X〕→LIKE〔X篮球〕〕
6Open表Closed表作
Open表存放刚生成节点Closed表存放扩展者已扩展节点
？
根历事物者现象真相信程度称信度
四计算题
1 设F域U模糊集RU×V模糊关系FR分：
求模糊变换F·R
解：
∨∨∨∨∨∨0 }
{06 06 06}
2 某公司招聘工作员ABC三应试面试公司表示想法：
(1) 三中少录取
(2) 假录取A录取B 定录取C
(3) 假录取B定录取C
求证：公司定录取C
(1) P(A) Ú P(B) Ú P(C)
(2) Ø P(A) Ú P(B) Ú P(C)
(3) Ø P(B) Ú P(C)
(4) Ø P(C)
应结原理进展结
(5) P(B) Ú P(C) (1)(2)结
(6) P(C) (3)(5)结
(7) NIL (4) 6)结
＼ 公司定录取C
3 写出学生框架描绘
4 设组知识：
R1 IF E1 THEN H (08)
R2 IF E2 THEN H (06)
R3 IF E3 THEN H (05)
R4 IF E4 AND (E5 OR E6) THEN E1 (07)
R5 IF E7 AND E8 THEN E3 (09)
求：CF(H)？
解：
R4：
CF(E1)07×max{0CF[E4 AND (E5 OR E6)]}
07×max{0min{CF(E4)CF(E5 OR E6)}}
R5：
CF(E3)09×max{0CF[E7 AND E8]}
09 ´
r1 ：
CF1( H ) 08 ´ max { 0 CF ( E1 ) }
08 ´ 035
028
r2 ：
CF2( H ) 06 ´ max { 0 CF ( E2 ) }
06 ´ 08
r3 ：
CF3( H ) 05 ´ max { 0 CF ( E3 ) }
05 ´ 054
结确定性合成算法
CF12( H ) CF1 ( H ) + CF2 ( H ) – CF1 ( H ) ´ CF2 ( H )
028 + 048 – 028 ´
049
：CF( H ) 049
合：132：CF( H ) 04872231：CF( H )
5 P(A)1 P(B 1 )004 P(B 2 )002
R1 A →B1
R2 B1 → B2
求计算P(B2|A)
解：规R2 时证B 1 确定发生
P(B 1 ) ≠1采插值方法
先A 必然发生定义R1：
然P(B 1 |A)0454 P(B 1 ) 假设P(B 1 |A)1计算：
进展插值：
：
(1)假xy父亲yz父亲xz祖父
(2)父亲
结演绎推理证明：某u定存vvu祖父
解：先定义谓词
F(x y)：xy父亲
GF(x z)：xz祖父
P(x)：x
谓词问题描绘出：
F1：(x) (y) (z)( F(x y)∧F(y z))→GF(x z))
F2：(y)(P(x)→F(x y))
求证结G：(u) (v)( P(u)→GF(v u))
然F1F2¬G化成子句集：
① ¬F(x y)∨¬F(y z)∨GF(x z)
② ¬P(r)∨F(s r)
③ P(u)
④ ¬GF(v u))
述扩子句集结推理程：
3〔10分〕：
假xy父亲yz父亲xz祖父
利结演绎推理证明：某u定存vvu祖父
定义谓词：
F(xy)：yx父亲
G(xy)yx祖父
F(xy)∧F(yz)→G(xz)：假xy父亲yz父亲xz祖父
G(uv)：假u存v祖父
字句集合：
1F(xy)
2F〔yz〕
3Ø F(xy)∨ØF〔yz〕∨G〔xz〕
4ØG(uv)
5 ØF〔yz〕∨G〔xz〕1+3结
6 G〔xz〕2+5结
7nil 4+6{uxvy}
命题成立
2 设H1H2H3分三结E支持结证：
P(EH2) P(EH3)
求： P(H1E) P(H2E) P(H3E)
解：根公式
3 请命题分写出语义网络：
(1) 学生台计算机
2写出面棵树广度优先深度优先
深度优先：12561011371213489
广度优先：12345678910111213
四
1谓词逻辑形式化描绘 存整数
2状态空间法点什？
状态空间法状态算符根底表示求解问题三点：状态算符问题状态空间
3语义网络点什？
类属关系包含关系属性关系时间关系位置关系相关系推关系
4然语言转化谓词表示形式：
(1) 呼吸
(2) 学生参加考试
(3) 整数正负
(1) Vx(M(x)→H(x)) (2) Vx(P(x)→Q(x))
3U{u1 u2 u3u4u5} 设ABU两模糊集 A09
B06u3+08u4+1u5
求A∪B A∩B﹁A
解：A∩B (09∧0) u1+(07∧0) u2+(05∧06)u3+(03∧08)u4+(0∧1)u5
0 u1+0 u2+05u3+03u4+0u5
A∪B(09∨0) u1+(07∨0) u2+(05∨06)u3+(03∨08)u4+(0∨1)u5
09 u1+07 u2+06u3+08u4+1u5
﹁A) u1+(107) u2+(105)u3+(103)u4+(10)u5
01 u1+03 u2+05u3+07u4+1u5
1F1：张先生王司〔boss〕
F2：王刘事〔workmate〕
F3：假XY事X司Y司
求：刘司谁？
解
谓词定义：boss〔XY〕：YX司
workmate(XY)：XY事
前提带求解问题表示成谓词公式：
F1：boss(wang zhang)
F2：workmate(liuwang)
F3：
G：
述公式化子句集：
9步：
〔〕
2非移仅谓词位置
3重新命名变元名
4消存
5全称量词左
〔合取形式〕
7全称量词
8变元更名子句中变元名
9消合取词
终子句集：
〔1〕boss(wang zhang)
〔2〕workmate(liuwang)
〔3〕
〔4〕
应结原理进展结
（5） 〔1〕〔3〕结
终结：
（6） 〔4〕〔5〕结
终结：
〔7〕〔2〕〔6〕结
终结：
ANSWER(zhang)出：刘司张先生
2．：阅读识字海豚识字海豚聪明
结策略证明：聪明识字
解：
证明：首先定义谓词常量：〔2 分〕
Read(x)表示x 阅读
Know(y)表示y 识字
Wise(z)表示z 聪 明
r 表示类h 表示海豚
然事实目否认谓词公式表示出化成子句集：〔2 分〕
(1) ～Read(r)∨Know(r)
(2) ～Know(h)
(3) Wise(a)
(4) ～Wise(r)∨Know(r) 子句集进展结〔4 分〕
(5) Know(a) (3)(4)结σ＝｛ar｝
(6) NIL (2)(5)结σ＝｛ah｝ 命题证
3：
F1：王〔Wang〕先生李〔Li〕教师
F2：李张〔Zhang〕班学
F3：假 x y 班学 x 教师 y 教师
求：张教师谁？
解 首先定义谓词：
T(x y)：x y 教师
C(x y)：x y 班学
前提求解问题表示成谓词公式：
F1 T(Wang Li)
F2 C(Li Zhang)
F3 (x)(y)(z)(C(xy)ÙT(zx)®T(zy))
G Ø(x)T(xZhang)Ú ANSWER(x)
述公式化子句集：
(1) T(WangLi〕
(2) C(LiZhang)
(3) ØC(xy)ÚØT(zx)ÚT(zy)
(4) ØT(uZhang)ÚANSWER(u)
结原理进展结：
(5) ØC(Li y) Ú T(Wang y) (1)(3)结
(6) ØC(Li Zhang) Ú ANSWER(Wang) (4)(5)结〔wangu〕
(7) ANSWER(Wang) (2)(6)结
ANSWER(Wang) 知张教师王教师
2设规
r1 IF E1 THEN (2 00001) H1
r2 IF E1 AND E2 THEN (100 0001) H1
r3 IF H1 THEN (50 001) H2
：
求P(H2|S1S2)
解：(1) r1计算O(H1| S1)
先H1先验概率更新E1验概率P(H1| E1)
P(H1| E1)(LS1 × P(H1)) ((LS11) × P(H1)+1)
(2 × 0091) ((2 1) × 0091 +1)
P(E1|S1)084 > P(E1)P(H | S)公式半部分前观察S1验概率P(H1| S1)验率O(H1| S1)
P(H1| S1) P(H1) + ((P(H1| E1) – P(H1)) (1 P(E1))) × (P(E1| S1) – P(E1))
0091 + (016682 –0091) (1 – 06)) × (084 – 06)
0091 + 018955 ×
O(H1| S1) P(H1| S1) (1 P(H1| S1))
(2) r2计算O(H1| S2)
先H1先验概率更新E2验概率P(H1| E2)
P(H1| E2)(LS2 × P(H1)) ((LS21) × P(H1)+1)
(100 × 0091) ((100 1) × 0091 +1)
P(E2|S2)068 > P(E2)P(H | S)公式半部分前观察S2验概率P(H1| S2)验率O(H1| S2)
P(H1| S2) P(H1) + ((P(H1| E2) – P(H1)) (1 P(E2))) × (P(E2| S2) – P(E2))
0091 + (090918 –0091) (1 – 06)) × (068 – 06)
O(H1| S2) P(H1| S2) (1 P(H1| S2))
(3) 计算O(H1| S1S2)P(H1| S1S2)
先H1先验概率转换先验率
O(H1) P(H1) (1 P(H1
根合成公式计算H1验率
O(H1| S1S2) (O(H1| S1) O(H1)) × (O(H1| S2) O(H1)) × O(H1)
(015807 010011) × (034163) 010011) ×
该验率转换验概率
P(H1| S1S2) O(H1| S1S2) (1+ O(H1| S1S2))
(4) r3计算O(H2| H1)
先H2先验概率更新H1验概率P(H2| H1)
P(H2| H1)(LS3 × P(H2)) ((LS31) × P(H2)+1)
(50 × 001) ((50 1) × 001 +1)
P(H1| S1S2)035040 > P(H1)P(H | S)公式半部分前观察S1S2H2验概率P(H2| S1S2)验率O(H2| S1S2)
P(H2| S1S2) P(H2) + ((P(H2| H1) – P(H2)) (1 P(H1))) × (P(H1| S1S2) – P(H1))
001 + (033557 –001) (1 – 0091)) × (035040 – 0091)
O(H2| S1S2) P(H2| S1 S2) (1 P(H2| S1 S2))
见H2原概率001述推理验概率010291相先验概率10倍
5设知识：
r1 if E1 then (2 0001) H1
r2 if E2 then (100 0001) H1
r3 if H1 then (200 001) H2
： P(H1)009 P(H2)001 C(E1S1)2
C(E2S3)1
求： P(H2S1S2)
CP公式：
解：
7设知识
r1IF E1(06) and E2(04) then E6(08075)
r2IF E3(05) and E4(03) and E5(02) then E7(0706)
r3IF E6(07) and E7(03) then H(07506)
：
求CF(H)
解：
r1：CF(r1) 规１证信度
CF(E1(06) and E2(04))
＋
r2：CF(r2) 规２证信度
CF( E3(05) and E4(03) and E5(02) )
E1
E2
E3
E4
E5
E6
E7
H
w3×CF(E3)+w4×CF(E4)+ w5×CF(E5)
＋＋
CF(r1)> l1 CF(r2)> l2 l1075 l2
CF(r1)> CF(r2)
＝
r3CF(r3)
CF(E6(07) and E7(03))
＋
CF(r3)> l3
+13
+12
求：3左右+2左右？
解：
9设A域U模糊集RU×V模糊关系AR分：
求模糊变换AR
解：
10 设模糊矩阵
1〔10分〕班级里王李杜讨零食喜欢程度
爱种零食爱程度列成张表格
爆米花
绿豆糕
猫耳朵
辣条
王
06
李
0
杜
0
请表示关系R1进展合成
答案：
关系：R0
06 02 05 08
03 08 01 0
06
R0*R1
2〔10分〕设三独立结H1H2H3 两独立证E1E2 先验概率条件概率分：
P〔H1〕04 P〔H2〕03 P〔H3〕
P〔E1H1〕05 P〔E1 H2〕03 P〔E1H3〕
P〔E2H1〕07 P〔E2H2〕09 P〔E2H3〕
利概率方法分求出：
〔1〕证E1 出现时P〔H1 E1〕P〔H2 E1〕P〔H3 E1〕值说明E1出现证H1H2H3影响
〔2〕E1E2时出现时P〔H1 E1 E2〕P〔H2 E1 E2〕P〔H3 E1 E2〕值
答案：〔1〕P〔H1 E1〕
P〔H2 E1〕
P〔H3 E1〕
〔2〕P〔H1 E1 E2〕
P〔H2 E1 E2〕
P〔H3 E1 E2〕
2重排九宫问题3X3方格棋盘放置分标数字12345678八张牌初始状态S0目状态S图示
2 8 3
1 4
7 6 5
1 2 3
8 4
7 6 5
算符：
空格左移空格移空格右移空格移允许位空格左右边牌移入空格求寻找初始状态目状态途径
解途径 S0®3 ®8 ®16 ®26 (Sg)
3 设事实：
赵云学生
东方学修计算机课程
入校时间1990年
求解问题： 赵云修什课程？
解： 事实语义网络表示出放知识库中
学生
赵云
教育
教育1
计算机
科学
学
东方学
1990
时间
ISA
ISA
ISA
ISA
ISA
Agent
Begin
Recipient
Major
文档香网(httpswwwxiangdangnet)户传
《香当网》用户分享的内容，不代表《香当网》观点或立场，请自行判断内容的真实性和可靠性！
该内容是文档的文本内容，更好的格式请下载文档
