- 1、本文档共5页,可阅读全部内容。
- 2、有哪些信誉好的足球投注网站(book118)网站文档一经付费(服务费),不意味着购买了该文档的版权,仅供个人/单位学习、研究之用,不得用于商业用途,未经授权,严禁复制、发行、汇编、翻译或者网络传播等,侵权必究。
- 3、本站所有内容均由合作方或网友上传,本站不对文档的完整性、权威性及其观点立场正确性做任何保证或承诺!文档内容仅供研究参考,付费前请自行鉴别。如您付费,意味着您自己接受本站规则且自行承担风险,本站不退款、不进行额外附加服务;查看《如何避免下载的几个坑》。如果您已付费下载过本站文档,您可以点击 这里二次下载。
- 4、如文档侵犯商业秘密、侵犯著作权、侵犯人身权等,请点击“版权申诉”(推荐),也可以打举报电话:400-050-0827(电话支持时间:9:00-18:30)。
查看更多
一、选择题(每题1分,共15分)
一、选择题(每题1分,共15分)
1、AI的英文缩写是
A)Automatic Intelligence B)Artifical Intelligence
C)Automatice Information D)Artifical Information
2、反演归结(消解)证明定理时,若当前归结式是( )时,则定理得证。
A)永真式 B)包孕式(subsumed) C)空子句
3、从已知事实出发,通过规则库求得结论的产生式系统的推理方式是
A)正向推理 B)反向推理 C)双向推理
4、语义网络表达知识时,有向弧AKO 链、ISA 链是用来表达节点知识的( )。
A)无悖性 B)可扩充性 C)继承性
5、(A→B)∧A = B是
A)附加律 B)拒收律 C)假言推理 D)US
6、命题是可以判断真假的
A)祈使句 B)疑问句 C)感叹句 D)陈述句
7、仅个体变元被量化的谓词称为
A)一阶谓词 B)原子公式 C)二阶谓词 D)全称量词
8、MGU是
A)最一般合一 B)最一般替换 C)最一般谓词 D)基替换
9、1997年5月,著名的“人机大战”,最终计算机以3.5比2.5的总比分将世界国际象棋棋王卡斯帕罗夫击败,这台计算机被称为( )
A)深蓝 B)IBM C)深思 D)蓝天
10、下列不在人工智能系统的知识包含的4个要素中
A)事实 B)规则 C)控制和元知识 D)关系
11、谓词逻辑下,子句, C1=L∨C1‘, C2= ? L∨C2‘,?若σ是互补文字的(最一般)合一置换,则其归结式C=( )
A) C1’σ∨C2’σ B)C1’∨C2’ C)C1’σ∧C2’σ D)C1’ ∧C2’
12、或图通常称为
A)框架网络 B)语义图 C)博亦图 D)状态图
13、不属于人工智能的学派是
A)符号主义 B)机会主义 C)行为主义 D)连接主义。
14、人工智能的含义最早由一位科学家于1950年提出,并且同时提出一个机器智能的测试模型,请问这个科学家是
4、已知S={P(f(x),y,g(y)),P(f(x),z,g(x))},求MGU
解:
5、证明G是否是F的逻辑结论;
四、应用题(共30分)
1、用语义网络表示下列信息:
胡途是思源公司的经理,他35岁,住在飞天胡同68号答案:
一、
1、 B 2、C 3、A 4、C 5、C
6、 D 7、A 8、A 9、A 10、D
11、A 12、D 13、B 14、C 15、B
二、
1、随机性,模糊性,不完全性,不一致性
2、纯文字,永真式,类含
3、-CF(A),min{CF(A1),CF(A2)},max{CF(A1),CF(A2)}
4、节点,有向边,或图,与或图
5、最一般合一(MGU)
6、被触发规则
7、A→B,概率
8、制造智能机器,实现机器智能
三、
1、
2、产生式规则基本形式:P→Q 或者 IF P THEN Q
P 是产生式的前提(前件),用于指出该产生式是否可用的条件
Q 是一组结论或操作(后件),用于指出当前提 P 所指示的条件满足时,应该得出的结论或应该执行的操作
产生式规则的语义:如果前提P被满足,则可推出结论 Q 或执行 Q 所规定的操作
3、 1)消去蕴含式和等价式→,-
2)缩小否定词的作用范围,直到其作用于原子公式:
3)适当改名,使量词间不含同名指导变元和约束变元。
4.)消去存在量词(形成Skolem标准型)
5)消去所有全称量词
6) 化成合取范式
7). 适当改名,使子句间无同名变元
8). 消去合取词∧,用逗号代替,以子句为元素组成一个集合S
4、解:k=0;S0=S;δ0=ε;S0不是单元素集,求得差异集D0={y,z},其中y是变元,z是项,且y不在z中出现。k=k+1=1
有δ1=δ0·{z/y}=ε·{z/y}={z/y},
S1=S0·{z/y}={P(f(x),z,g(z)),P(f(x),z,g(x))},S1不是单元素集,
求得差异集D1={z,x},k=k+1=2;δ2=δ1·{z/x}={z/y,z/x},
S2=S1·{z/x}={P(f(z),z,g(z))}是单元素集。
根据求MGU算法,MGU=δ2={z/y,z/x}
5、证:①P(x) ...从F变换
②Q(a)∨Q(x) ...从F变换
③┓P(y)∨┓Q(y) ...结论的否定
④┓Q(x) ...①③归结,{x/y}
⑤□ ...②④归结,置换{a/x}
得证。
四、
1、
2、
3、解:现定义如下谓词
F(x,y)------ x是y的
文档评论(0)