1 / 17
文档名称:

人工智能经典考试试题及答案.docx

格式:docx   大小:149KB   页数:17页
下载后只包含 1 个 DOCX 格式的文档,没有任何的图纸或源代码,查看文件列表

如果您已付费下载过本站文档,您可以点这里二次下载

分享

预览

人工智能经典考试试题及答案.docx

上传人:飞行的优优 2023/3/20 文件大小:149 KB

下载得到文件列表

人工智能经典考试试题及答案.docx

文档介绍

文档介绍:该【人工智能经典考试试题及答案 】是由【飞行的优优】上传分享,文档一共【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}
人工智能经典考试一试题及答案