文档介绍:该【人工智能经典考试试题及答案 】是由【飞行的优优】上传分享,文档一共【17】页,该文档可以免费在线阅读,需要了解更多关于【人工智能经典考试试题及答案 】的内容,可以使用淘豆网的站内搜索功能,选择自己适合的文档,以下文字是截取该文章内的部分文字,如需要获得完整电子版,请下载此文档到您的设备,方便您编辑和打印。人工智能经典考试一试题及答案
人工智能经典考试一试题及答案
人工智能经典考试一试题及答案
一、选择题(每题1分,共15分)
1
、AI的英文缩写是
A)AutomaticIntelligence
B)ArtificalIntelligence
C)AutomaticeInformation
D)ArtificalInformation
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月,着名的“人机大战”,,这台
计算机被称为(
)
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年提出,而且同时提出一个机器智能的测试模型,请问这个科学家是
A)明斯基
B).扎德
C)图林
D)
,一定让机器拥有知识。所以,在人工智能中有一个研究领域,主要研究计算机怎样自动获
取知识和技术,实现自我完美,这门研究分支学科叫()。
A)专家系统
B)机器学****br/>C)神经网络
D)模式辨别
二、填空题(每空
,共30分)
1
、不确立性种类按性质分:
,
,
,
。
2
、在删除策略归纳的过程中删除以下子句:含有
的子句;含
有
的子句;子句集中被其余子句
的子句。
3
、对质据的可信度
CF(A)、CF(A1)、CF(A2)之间,规定以下关系:
CF(~A)=
、CF(A1∧A2)=
、
CF(A1∨A2)=
4、图:指由
和
构成的网络。按连结同一节点的各边的逻辑关系又可分为
和
。
5
、合一算法:求非空有限拥有相同谓词名的原子公式集的
6
、产生式系统的推理过程中,从可触发规则中选择一个规则来履行,被履行的规则称为
。
7
、P(B|A)表示在规则
中,凭证A为真的作用下结论
B为真的
。
8
、人工智能的远期目标是
,
近期目标是
。
三、简答及计算题(每题5分,共25
分)
1
、填写下边的三值逻辑表。
此中T,F,U分别表示真,假,不可以判断
2
、什么是产生式?产生式规则的语义是什么?
3
、谓词公式G经过8个步骤所得的子句会合
S,称为G的子句集。请写出这些步骤。
4
、已知S={P(f(x),y,g(y)),P(f(x),z,g(x))}
,求MGU
5
、证明G是不是F的逻辑结论;
四、应用题(共30分)
1
、用语义网络表示以下信息:
(1)
胡途是思源企业的经理,他
35岁,住在飞天胡同68
号
(2)
清华大学与北京大学进行蓝球竞赛,最后以
89:102
的比分结束。
答:
2、图示博弈树,此中末一行的数字为假定的估值,请利用α-β剪枝技术剪去不用要的分枝。(在节点及边上直接加
说明)
3、设有以下关系:(1)假如x是y的父亲,y又是z的父亲,则x是z的祖父;(2)老李是大李的父亲;(3)大
李是小李的父亲;问上述人员中谁和谁是祖孙关系?
答案:
人工智能经典考试一试题及答案
人工智能经典考试一试题及答案
人工智能经典考试一试题及答案
一、1、
B
2、C
3、A
4、C
5、C
人工智能经典考试一试题及答案
人工智能经典考试一试题及答案
人工智能经典考试一试题及答案
6、D
11、A
7、A
12、D
8、A
13、B
9、A
14、C
10、D
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或许IFPTHENQ
是产生式的前提(前件),用于指出该产生式能否可用的条件
是一组结论或操作(后件),用于指出目前提P所指示的条件知足时,应当得出的结论或应当履行的操作
人工智能经典考试一试题及答案
人工智能经典考试一试题及答案
人工智能经典考试一试题及答案
产生式规则的语义:假如前提P被知足,则可推出结论
Q或履行Q所规定的操作
人工智能经典考试一试题及答案
人工智能经典考试一试题及答案
人工智能经典考试一试题及答案
3、
1)消去包含式和等价式→,
<->
人工智能经典考试一试题及答案
人工智能经典考试一试题及答案
人工智能经典考试一试题及答案
2)减小否认词的作用范围,直到其作用于原子公式
:
人工智能经典考试一试题及答案
人工智能经典考试一试题及答案
人工智能经典考试一试题及答案
3)适合更名,使量词间不含同名指导变元和拘束变元。
4.)消去存在量词(形成Skolem标准型)
人工智能经典考试一试题及答案
人工智能经典考试一试题及答案
人工智能经典考试一试题及答案
5)消去全部全称量词
6)化成合取范式
7).适合更名,使子句间无同名变元
8).消去合取词∧,用逗号取代,以子句为元素构成一个会合
4、解:k=0;S0=S;δ0=ε;S0不是单元素集,求得差别集D0={y,z},
S
此中
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}
得证。
四、
2、
人工智能经典考试一试题及答案
人工智能经典考试一试题及答案
人工智能经典考试一试题及答案
3、解:现定义以下谓词
F(x,y)------x是y的父亲
G(x,z)------x是y的祖父
;
;
人工智能经典考试一试题及答案
人工智能经典考试一试题及答案
人工智能经典考试一试题及答案
用谓词逻辑表示已知与求解:
F(x,y)∧F(y,z)→G(x,z)
F(L,D)
F(D,X)
G(u,v),u=?,v=?
此中,L表示老李,D表示大李,X表示小李。
先证存在祖孙关系
①
┓F(x,y)∨┓F(y,z)∨G(x,z)...从(1)变换
②
F(L,D)
...从(2)变换
③
F(D,X)
...从(3)变换
④
┓G(u,v)
...结论的否认
⑤
┓F(D,z)∨G(L,z)
...①②归纳,置换{L/x,D/y}
⑥
G(L,X)
...③⑤归纳,置换{X/z}
⑦
□
...④⑥归纳,置换{L/u,X/v
}
得证,说明存在祖孙关系。
为了求解用一个重言式④
④
┓G(u,v)∨G(u,v)
...用重言式取代结论的否认,重言式恒为真
⑤
┓F(D,z)∨G(L,z)
...①②归纳,置换{L/x,D/y}
⑥
G(L,X)
...③⑤归纳,置换{X/z}
⑦
G(L,X)
...④⑥归纳,置换{L/u,X/v
}
得结果:L是X的祖父,即老李是小李的祖父。
三、简答及计算题(每题5分,共25分)
1、解说以下模糊性知识:
张三,体型,(胖,))。
(患者,症状,(头疼,))∧(患者,症状,(发热,))→(患者,疾病,(感冒,))
答:
2、简单论述产生式系统的构成:
答:
3、补齐产生式系统与图搜寻的对照表
人工智能经典考试一试题及答案
人工智能经典考试一试题及答案
人工智能经典考试一试题及答案
答:
4、已知W={P(f(x,g(A,y)),z),P(f(x,z),z)},求MGU
解:
5、证明G是不是F1、F2的逻辑结论;
四、应用题(共30分)
1、将命题:“某个学生读过三国演义”分别用谓词公式和语义网络表示
2、图示博弈树,此中末一行的数字为假定的估值,请利用α-β剪枝技术剪去不用要的分枝。(在节点及边上直接加
说明)
3、利用谓词逻辑表示以下知识(包含已知和结论),而后化成子句集:
1)凡是洁净的东西就有人喜爱;
2)人们都不喜爱苍蝇求证:苍蝇是不洁净的。
一、1、D2、C
3、C
4、D
5、A
6、A
7、D
8、C
9、D
10、B
11、A
12、B
13、A.
14、D
15、B
二、1、图林
2、正向推理
3、ArtificalIntelligence
4
、随机性,模糊性,不完整性,不一致性
5
、纯文字,永真式,类含
6
、-CF(A),min{CF(A1),CF(A2)}
,max{CF(A1),CF(A2)})
7
、节点和有向边,或图,与或图
8、最一般合一(
MGU)
9
、深蓝
10、制造智能机器,实现机器智能
三、1、答:1)表示:命题“张三比较胖”2)解说为:假如患者有些头疼而且发高烧,则他患了重感冒。
2、答:1)产生式规则库:描绘相应领域知识的产生式规则集
2)数据库:(事实的会合)寄存问题求解过程中目前信息的数据构造(初始事实、外面数据库输入的事实、中间结果
事实和最后结果事实)
3)推理机:(控制系统)是一个程序,控制协调规则库与数据库的运转,包含推理方式和控制策略。
3、答:
4、解:k=0;S0=S;δ0=ε;S0
不是单元素集,求得差别集
D0={g(A,y)},z},此中z是变元,g(A,y)
是项,且
z不在
g(A,y)中出现。k=k+1=1
有δ1=δ0·{g(A,y)/z
}=ε·{g(A,y)/z}={g(A,y)/z
},
S1=S0·{g(A,y)/z}={P(f(x,g(A,y)),
g(A,y)
)},S1是单元素集。
依据求MGU算法,MGU=δ1={g(A,y)/z
}
5、证:①┓P(x)∨Q(x)
...从F1变换
②┓P(y)
∨R(y)
`
...从F1变换
③P(a)
...从F2变换
④S(a)
...从F2变换
⑤┓S(z)
∨┓R(z)
...结论的否认
⑥R(a)
...②③归纳{
a/y}
⑦┓R(a)
...④⑤归纳{a/z}
⑧□
...⑥⑦归纳
得证.
人工智能经典考试一试题及答案
人工智能经典考试一试题及答案
人工智能经典考试一试题及答案
四、1、答:谓词公式表示:
x(student(x)∧read(x,三国演义))
语义网络表示如图:
2、
3、证:现定义以下谓词
L(x,y)------
某人x喜爱某物y;
P(y)------
某物y是洁净的东西
(1)
yx(P(y)
→L(x,y))==>
┓P(y)∨L(f(y),y)
(2)
x(┓L(x,Fly))==>
┓L(x,Fly)
(3)
P(Fly)
...结论的反
(4)
L(f(Fly),Fly)
...(1)(3)
归纳,置换{Fly/y}
(5)
□
...(2)(4)
归纳,{f(Fly)/x}
得证。
试题部分:
一、选择题(
15小题,共
15分)
1、97年5月,着名的“人机大战”,,这台计
算机被称为()
A)深蓝
B)IBM
C)沉思
D)蓝天
2
、以下不在人工智能系统的知识包含的
4个因素中
A)事实
B)规则
C)控制和元知识
D)关系
3
、谓词逻辑下,子句
,C1=L∨C1‘,C2=?L∨C2‘,?若σ是互补文字的(最一般)合一置换,则其归纳式
C=(
)
A)C1’σ∨C2’σ
B)C1’∨C2’
C)C1’σ∧C2’σ
D)C1’∧C2’
4
、或图往常称为
A)框架网络
B)语义图
C)博亦图
D)状态图
5
、不属于人工智能的学派是
A)符号主义
B)时机主义
C)行为主义
D)连结主义。
6
、人工智能的含义最早由一位科学家于
1950年提出,而且同时提出一个机器智能的测试模型,请问这个科学家是
A)明斯基
B).扎德
C)图林
D)
7、要想让机器拥有智能,一定让机器拥有知识。所以,在人工智能中有一个研究领域,主要研究计算机怎样自动获
取知识和技术,实现自我完美,这门研究分支学科叫()。
人工智能经典考试一试题及答案
人工智能经典考试一试题及答案
人工智能经典考试一试题及答案
A)专家系统B)机器学****br/>
C)神经网络
D)模式辨别
人工智能经典考试一试题及答案
人工智能经典考试一试题及答案
人工智能经典考试一试题及答案
8、以下哪部分不是专家系统的构成部分(
)
人工智能经典考试一试题及答案
人工智能经典考试一试题及答案
人工智能经典考试一试题及答案
A.)用户B)综合数据库
C)推理机
D)知识库
人工智能经典考试一试题及答案
人工智能经典考试一试题及答案
人工智能经典考试一试题及答案
9、产生式系统的推理不包含()
A)正向推理
B)逆向推理
C)双向推理
D)简单推理
10、C(B|A)
表示在规则A->B中,凭证A为真的作用下结论B为真的
A)可信度
B)信度
C)相信增添度
D)概率
11、AI的英文缩写是
A)AutomaticIntelligence
B)ArtificalIntelligence
C)AutomaticeInformation
D)ArtificalInformation
12、反演归纳(消解)证明定理时,若目前归纳式是(
)时,则定理得证。
A)永真式
B)包孕式(subsumed)
C)空子句
13、在公式中
yxp(x,y)),存在量词是在全称量词的辖域内,我们同意所存在的
x可能依靠于
y值。令这种依靠关系
显然地由函数所定义,它把每个
y值映照到存在的那个
x。这种函数叫做(
)
依靠函数
Skolem函数
14、子句~PQ和P经过消解此后,获取()
P
人工智能经典考试一试题及答案
人工智能经典考试一试题及答案
人工智能经典考试一试题及答案
Q
~P
15、假如问题存在最优解,则下边几种搜寻算法中,()必定能够获取该最优解。
广度优先搜寻
深度优先搜寻
有界深度优先搜寻
启迪式搜寻
二、填空题(共30分):
人工智能经典考试一试题及答案
人工智能经典考试一试题及答案
人工智能经典考试一试题及答案
,紧接于量词以后被量词作用的谓词公式称为该量词的
词的指导变元相同的变元称为,其余变元称为
,而在一个量词的辖域中与该量
人工智能经典考试一试题及答案
人工智能经典考试一试题及答案
人工智能经典考试一试题及答案
2、假言推理(AB)A
3、几种常用的归纳策略:
,假言三段论(AB)(BC)
、支持集策略、线形归纳策略、输入归纳策略、单元归纳策略
人工智能经典考试一试题及答案
人工智能经典考试一试题及答案
人工智能经典考试一试题及答案
4、在诸如走迷宫、下棋、八数码游戏等游戏中,常用到的一种人工智能的核心技术称为
技术,解这种问题时,常把在迷宫的地点、棋的布局、八数码所排成的局势用图来表,这种图称为
人工智能经典考试一试题及答案
人工智能经典考试一试题及答案
人工智能经典考试一试题及答案
,往常用
来表示启迪性信息。
人工智能经典考试一试题及答案
人工智能经典考试一试题及答案
人工智能经典考试一试题及答案
,最常用的一种剖析技术是
,这种方法的思想是先生成一棵博弈树,而后再计算其
人工智能经典考试一试题及答案
人工智能经典考试一试题及答案
人工智能经典考试一试题及答案
倒推值。但它的效率较低,所以人们在此基础上,又提出了
人工智能经典考试一试题及答案
人工智能经典考试一试题及答案
人工智能经典考试一试题及答案
7、不确立性种类按性质分:
,
,
人工智能经典考试一试题及答案
人工智能经典考试一试题及答案
人工智能经典考试一试题及答案
,
。
人工智能经典考试一试题及答案
人工智能经典考试一试题及答案
人工智能经典考试一试题及答案
8、在删除策略归纳的过程中删除以下子句:含有
子句集中被其余子句的子句。
的子句
;含有
的子句
;
人工智能经典考试一试题及答案
人工智能经典考试一试题及答案
人工智能经典考试一试题及答案
9、对质据的可信度
CF(A)、CF(A1)、CF(A2)之间,规定以下关系:
人工智能经典考试一试题及答案
人工智能经典考试一试题及答案
人工智能经典考试一试题及答案
CF(~A)=
、CF(A1∧A2
)=
、
人工智能经典考试一试题及答案
人工智能经典考试一试题及答案
人工智能经典考试一试题及答案
CF(A1∨A2)=
10、图:指由
。
构成的网络。按连结同一节点的各边的逻辑关系又可分为
人工智能经典考试一试题及答案
人工智能经典考试一试题及答案
人工智能经典考试一试题及答案
和
。
人工智能经典考试一试题及答案
人工智能经典考试一试题及答案
人工智能经典考试一试题及答案
11、合一算法:求非空有限拥有相同谓词名的原子公式集的
。
人工智能经典考试一试题及答案
人工智能经典考试一试题及答案
人工智能经典考试一试题及答案
12、开发专家系统所要解决的基本问题有三个,那就是知识的获取、知识的表示和
有,,和语义网络等,在语义网络表告知识时,所使用的推理方法有
,知识表示的方法主要
和
人工智能经典考试一试题及答案
人工智能经典考试一试题及答案
人工智能经典考试一试题及答案
三、简答与应用题
1、谓词逻辑形式化以下描绘
“不存在最大的整数”(4分)
α-β剪枝的条件是什么?
3、某问题由以下公式描绘:
、试用归纳法证明(x)R(x);
人工智能经典考试一试题及答案
人工智能经典考试一试题及答案
人工智能经典考试一试题及答案
?专家系统的开发与一般的软件系统开发对比较,有哪些共同点和特色?(
7分)
人工智能经典考试一试题及答案
人工智能经典考试一试题及答案
人工智能经典考试一试题及答案
“图灵实验”?简单描绘之(
5分)
人工智能经典考试一试题及答案
人工智能经典考试一试题及答案
人工智能经典考试一试题及答案
6、设有以下关系:(1)假如x是y的父亲,
李是小李的父亲;问上述人员中谁和谁是祖孙关系?
y又是
z的父亲,则(10分)
x是
z的祖父;(
2)老李是大李的父亲;(
3)大
人工智能经典考试一试题及答案
人工智能经典考试一试题及答案
人工智能经典考试一试题及答案
~9九个数字排一个序列,使得该序列的前
n(n=1,...,9)
个数字构成的整数能被
n整除。
人工智能经典考试一试题及答案
人工智能经典考试一试题及答案
人工智能经典考试一试题及答案
、议论哪些知识能够帮助该问题的求解。
(2)、用产生式系统描绘该问题
.(15分)
答案部分
一、选择题
ADADBCBADBBCBBA
二、填空题
人工智能经典考试一试题及答案
人工智能经典考试一试题及答案
人工智能经典考试一试题及答案
1
、辖域
拘束变元
自由变元
2
、B
AC
3
、删除策略
4
、图搜寻
状态空间图(或状态图)
5
、启迪函数
6
、极大极小剖析法
-剪枝技术
7
、随机性
模糊性
不一致性
不确立性
8
、纯文字
永真
类含
9
、~CF(A)min{CF(A1),CF(A2)}
max{CF(A1),CF(A2)}
人工智能经典考试一试题及答案
人工智能经典考试一试题及答案
人工智能经典考试一试题及答案
10、或图与或图
11、最一般合一
12、知识的运用逻辑表示法(谓词表示法)
框架
产生式AKOISA
人工智能经典考试一试题及答案
人工智能经典考试一试题及答案
人工智能经典考试一试题及答案
三、简答及应用题
人工智能经典考试一试题及答案
人工智能经典考试一试题及答案
人工智能经典考试一试题及答案
1、定义谓词G(x):x为整数
D(x,y):x大于y
形式化为:
或许xG(x)yG(y)D(y,x)
人工智能经典考试一试题及答案
人工智能经典考试一试题及答案
人工智能经典考试一试题及答案
2、回答:α剪枝:若任一极小值层节点的
(后继层),则可中断该极小值层中这个MIN
β值小于或等于它任一前辈极大值节点的α值,即α(前辈层)≥β节点以下的搜寻过程。这个MIN节点最后的倒推值就确立为这个
人工智能经典考试一试题及答案
人工智能经典考试一试题及答案
人工智能经典考试一试题及答案
β值。
人工智能经典考试一试题及答案
人工智能经典考试一试题及答案
人工智能经典考试一试题及答案
β剪枝:若任一极大值层节点的层),则能够中断该极大值层中这个
α值大于或等于它任一前辈极小值层节点的
MAX节点以下的搜寻过程。这个MAX
β值,即α(后继层)≥β(前辈
节点的最后倒推值就确立为这个α
人工智能经典考试一试题及答案
人工智能经典考试一试题及答案
人工智能经典考试一试题及答案
值。
人工智能经典考试一试题及答案
人工智能经典考试一试题及答案
人工智能经典考试一试题及答案
3、化子句集以下:
4、答:(1)专家系统与一般的软件系统开发无异,其开发过程相同要依据软件工程的步骤和原则,即也要进行系统
剖析、系统设计等几个阶段的工作。
(2)但因为它是专家系统,而不是一般的软件系统,所以,又有其独到的地方,主要包含以下几个步骤:
1)系统整体剖析与设计;
2)知识获取;
3)知识表示与知识描绘语言设计;
4)知识库设计、知识库管理系统设计;
5)推理机与解说模块设计;
6)总控与界面设计
7)编程与调试
8)测试与评论
9)运转与保护
(3)能够看出它有以下特色:
1)知识获取和知识表示设计是全部工作的起点;
知识表示与知识描绘语言确立后,其余设计可同时进行;
5、答:所谓“图灵实验”,是为了判断一台机器能否具备智能的实验。实验由三个关闭的房间构成,分别搁置主持人、参加人和机器。主持人向参加人和机器发问,经过发问的结果来判断谁是人,谁是机器。假如主持人没法判断谁
是人,谁是机器,则这台机用具备智能,即所谓的“智能机器”。
6、解:现定义以下谓词
人工智能经典考试一试题及答案
人工智能经典考试一试题及答案
人工智能经典考试一试题及答案
F(x,y)------x
是y的父亲
;
人工智能经典考试一试题及答案
人工智能经典考试一试题及答案
人工智能经典考试一试题及答案
G(x,z)------x
是y的祖父
;
人工智能经典考试一试题及答案
人工智能经典考试一试题及答案
人工智能经典考试一试题及答案
用谓词逻辑表示已知与求解:
(1)F(x,y)∧F(y,z)→G(x,z)
人工智能经典考试一试题及答案
人工智能经典考试一试题及答案
人工智能经典考试一试题及答案
F(L,D)
F(D,X)
G(u,v),u=?,v=?
此中,L表示老李,D表示大李,X表示小李。
先证存在祖孙关系
①
~F(x,y)∨~F(y,z)∨G(x,z)...从(1)变换
②
F(L,D)
...从(2)变换
③
F(D,X)
...从(3)变换
④
~G(u,v)
...结论的否认
⑤
~F(D,z)∨G(L,z)
...①②归纳,置换{L/x,D/y}
⑥
G(L,X)
...③⑤归纳,置换{X/z}
⑦
□
...④⑥归纳,置换{L/u,X/v
}
得证,说明存在祖孙关系。
为了求解用一个重言式④
④
~G(u,v)∨G(u,v)
...用重言式取代结论的否认,重言式恒为真
⑤
~F(D,z)∨G(L,z)
...①②归纳,置换{L/x,D/y}
⑥
G(L,X)
...③⑤归纳,置换{X/z}
⑦
G(L,X)
...④⑥归纳,置换{L/u,X/v
}
得结果:L是X的祖父,即老李是小李的祖父。
7、以下的知识能够帮助求解该问题:
1)序列中,偶数在偶数地点,奇数在奇数地点;
2)第五个数为5。
综合数据库:
用一个1到9的序列表示:N={x},此中x为1到9的数字之一。
规则集:
r1:IFlen(N)=4THEN{x}∪{5}
人工智能经典考试一试题及答案
人工智能经典考试一试题及答案
人工智能经典考试一试题及答案
r2:IFlen(N)为偶数andn=In(1,3,7,9)THEN{x}
∪{n}
人工智能经典考试一试题及答案