人工智能习题和答案

第第页人工智能习题和答案人工智能的习题和答案

AI习题及思索题

福州高校数学与计算机学院陈昭炯2022/12/27

人工智能的习题和答案

3.6(1)有的人喜爱梅花，有的人喜爱菊花，有的人既喜爱梅有的人喜爱梅花，有的人喜爱菊花，有的人喜爱梅花花又喜爱菊花典型错误：典型错误：*(Man(*)→Like(*,梅花))

*(Like(Man(*),梅花))

答案：答案：*(Person(*)∧Like(*,梅花))y(Person(y)∧Like(y,菊花))z(Person(z)∧Like(z,梅花)∧Like(z,菊花))

人工智能的习题和答案

3.6(2)他每天下午都去打篮球他每天下午都去打篮球典型错误：典型错误：

*Afternoon(*)→yPlay(He(y),basketball)

答案：答案：Plays(*,y,z):*在z时段playsyPlays(他，篮球，每天下午)Plays(*,y,z):*在z时段playsy;s(*):*的下午Plays(他，篮球，s(每天))

人工智能的习题和答案

3.6(3)西安市的夏天既酷热又干燥西安市的夏天既酷热又干燥错误：错误：

**iansummer(*)→Hot(*)∧Dry(*)Summer(*):*的夏天；City(*):*是城市；Dry(*):*天气干燥；Hot(*):*天气酷热*Summer(西安)∧City(西安)→Dry(西安)∧Hot(西安)Summer(y):y是夏天；City(*):*是城市；Dry(*):*天气干燥；Hot(*):*天气酷热ySummer(y)∧City(西安)→Dry(y)∧Hot(y)Time(*):*是夏天；Dry(*):*天气干燥；Hot(*):*天气酷热**ian(Time(*))→Dry(*)∧Hot(*)

人工智能的习题和答案

答案：答案：Summer(*):*地的夏天；Dry(*):*干燥；Hot(*):*酷热Dry(Summer(西安))∧Hot(Summer(西安))Have(*,y):*具有气候特征y;Summer(*):*地的夏天；Have(Summer(西安),dry)∧Have(Summer(西安),hot)

人工智能的习题和答案

3.6(4)并不是人人都喜爱吃臭豆腐并不是人人都喜爱吃臭豆腐错误：错误：

*(Man(*)∧Like(*))

(*)Like(人，臭豆腐)(*)(Man(*)→Like(*,臭豆腐))答案：答案：Person(*):*是人；Like(*,y):*喜爱吃y*(Person(*)→Like(*,臭豆腐))

人工智能的习题和答案

3.6(5)喜爱读《三国演义》的人必读《水浒》喜爱读《三国演义》的人必读《水浒》喜爱读错误：错误：

*(Man(*)∧Sanguo(*)→Shuihu(*))R(*):*读《水浒》;Like(*,P(*)):*喜爱P(*);P(*):*读《三国演义》*(Man(*)→Like(*,P(*))∧R(*)

*(Man(*)→L(*,三国演义))→L(*,水浒)Re答案：答案：Person(*):*是人；ad(*,y):*读y;*(Person(*)∧Read(*,三国演义)→Read(*,水浒))

Person(*):*是人；Enjoyread(*,y):*喜爱读y;ad(*,y):*读y;Re*(Person(*)∧Enjoyread(*,三国演义)→Read(*,水浒))*y(Enjoyread(*,y)→Read(*,y))

人工智能的习题和答案

3.6(6)欲穷千里目，更上一层楼欲穷千里目，欲穷千里目错误：错误：Climb(*,y):*爬上了y;N(*):*是人；More(*,y):y比*多；See(*,y):*看

到y*(N(*)∧Climb(*,hill)→See(*,thing)∧More(unclimb,climbed))

Look(*):*欲穷千里目；Step(*):*更上一层楼；Man(*):*是人；*Man(*)(Look(*)→Step(*))*Step(*)→Look(*)答案：答案：Look(*,y):*穷尽y;Go-upon(*,y):*更上y;Person(*):*是人；*(Person(*)∧Go-upon(*,一层楼)→Look(*,千里目))

人工智能的习题和答案

关于一阶谓词规律的假设干问题：关于一阶谓词规律的假设干问题：的区分：分清蕴涵→与合取∧的区分：1)蕴涵的前提可以不发生，且前提不为真时蕴涵式仍能成立)蕴涵的前提可以不发生，2)合取表示的是已经发生或存在的事实)3)蕴含通常与全称量词相关联，是它的自然联接符；蕴涵符)蕴含通常与全称量词相关联，是它的自然联接符；假设与存在量词合用易导致过弱表示，假设与存在量词合用易导致过弱表示，即未能充分表示有用的信息。信息。4)合取符通常与存在量词相关联，是它的自然联接符；合取)合取符通常与存在量词相关联，是它的自然联接符；符假设与全称量词合用易导致过强表示。符假设与全称量词合用易导致过强表示。5)逆否命题)

人工智能的习题和答案

表达过程中能关联的谓词尽可能关联，表达过程中能关联的谓词尽可能关联，便于后续的推理推理时应依据需要补充默认的事实适当设置谓词项的数目，不可太笼统，适当设置谓词项的数目，不可太笼统，不便推理在一阶谓词规律中，在一阶谓词规律中，谓词本身不可作为另一谓词的项区分函数与谓词的不同，谓词的值是“真”或“假”,区分函数与谓词的不同，谓词的值是“函数是一个个体域到另一个体域一种映射，函数是一个个体域到另一个体域一种映射，其值是某个个体域的个体充分利用函数进行表达，可简化。充分利用函数进行表达，可简化。∧和可相互转化，和∨也可相互转化；尽管如此语句可相互转化，也可相互转化；

的可读性比精简更重要语义是什么？语气，情态的谓词表达？语义是什么？语气，情态的谓词表达？

人工智能的习题和答案

1.设F(*)表示是火车，G(*)表示是汽车，H(*,是火车，()表示*是汽车是汽车，(,()表示*是火车y)表示比y快，命题“某些汽车比全部火车慢”的符号)表示*比快命题“某些汽车比全部火车慢”化公式是(化公式是()A.(y)((y)→(*)((*)∧H(*,y))))(G()()(.()((,))))(F()B.(y)((y)∧()(F(*)→H(*,y))).()(G()*)(()(,))))()(C.()(y)((y)→(F(*)∧H(*,y))))(G

()(().(*)()((,))))(F()D.(y)((y)→(*)((*)→H(*,y))))(G()()(.()((,)))用一阶谓词规律表示以下语句：用一阶谓词规律表示以下语句：以下语句1.有的实数不是有理数，但全部的有理数都是实数。有的实数不是有理数，但全部的有理数都是实数。2.任意两个实数和y之间必可找到另一个实数。任意两个实数*和之间必可找到另一个实数之间必可找到另一个实数z。3.除0之外，每个自然数有且仅有一个相继前元(论域已每个自然数有且仅有一个相继前元(之设定为自然数集)。设定为自然数集)。4.条条大路通罗马条条大路通罗马

人工智能的习题和答案

3.13设有如下问题：设有如下问题：设有如下问题的方框内放有8个编号的小方块(1)在一个3的方框内放有个编号的小方块)在一个3的方框内放有(2)紧邻空位的小方块可以移入到空位上)(3)通过平移小方块可将某一布局变换为另一布局)请用产生式规章表示移动小方块的操作冲突消解：顺次；搜寻：深度，广度，启发等冲突消解：顺次；搜寻：深度，广度，28316475

12384765

r1:IFaij=φ∧i≤2THENaijai+1,j,ai+1,jφ(上移)r2:IFaij=φ∧j≤2THENaijai,j+1,ai,j+1φ(左移)r3:IFaij=φ∧i≥2THENaijai1,j,ai1,jφ(下移)r4:IFaij=φ∧j≥2THENaijai,j1,ai,j1φ(右移)

人工智能的习题和答案

3.14设有如下问题：设有如下问题：设有如下问题个相互可直达且距离已知的城市A,,,,(1)有5个相互可直达且距离已知的城市，B,C,D,E)个相互可直达且距离已知的城市地出发，个城市各参观一次后回到A(2)某人从地出发，去其它个城市各参观一次后回到)某人从A地出发去其它4个城市各参观一次后回到(3)找一条最短的旅行路径请用产生式规章表示旅行过程)DB:按序存放行走路径；move(*):走向城市：按序存放行走路径；走向城市*走向城市T,当*未访问过T,当已遍历全部节点notvisit(*)=visitall()=F,elseF,当*已访问过

DB={A};i=1;visitall()=FS0:notvisit(B,C,D,E)=T;notvisit(A)=Fmove(*);notvisit(*)=F;DB=DBU{*}r1:notvisit(*)=Tii+1;i=5?visitall()=T;LL+LDB.i1,*

r2:visitall()=Tmove(A);LL+LDB.5,A;输出DB,L

人工智能的习题和答案

冲突消解，搜寻策略：最邻近法，深度优先，冲突消解，搜寻策略：最邻近法，深度优先，摒除法等最短路径：每产生出一条

路径就对L进行比较最短路径：每产生出一条路径就对进行比较

B107A1075C

101396D8

E

ABC

DE

0751013A071010B069C08D0E

人工智能的习题和答案

附加题1:附加题：计算机系课程的框架表示框架名：计算机系课程计算机系课程框架名：计算机系课程课程编号：课程编号：课程名称：中文名：课程名称：中文名：英文名：英文名：缺省：总学时：总学时：Value:缺省：36If-Needed:理论学时+实践学时理论学时+If-Added:学分=[总学时学分=总学时总学时/18]

理论学时：理论学时：实践学时：实践学时：学分：总学时总学时/18]学分：=[总学时课程类型：范围(公共基础课，专业基础课，专业课，专业选修课)课程类型：范围(公共基础课，专业基础课，专业课，专业选修课)缺省：缺省：公共基础课授课专业：范围(计算机应用，软件，系统结构，网络，信息安全)授课专业：范围(计算机应用，软件，系统结构，网络，信息安全)缺省：缺省：计算机应用

人工智能的习题和答案

考核方式：范围(开卷，闭卷)考核方式：范围(开卷，闭卷)缺省：缺省：闭卷

先修课程：先修课程：教材：教材：参考资料：参考资料：课程内容：课程内容：任课老师：任课老师：范围(第一~第四学年)范围(第一~第四学年)开课学年：缺省：第一学年开课学年：缺省：开课学期：范围(第一学期，第二学期)开课学期：范围(第一学期，第二学期)缺省：缺省：第一学期

周学时：周学时：

人工智能的习题和答案

实例：实例：框架名：人工智能人工智能框架名：人工智能继承：计算机系课程计算机系课程继承：计算机系课程课程编号：课程编号：@@10309课程名称：中文名：课程名称：中文名：人工智能理论学时：理论学时：30实践学时：实践学时：6课程类型：课程类型：专业必修课授课专业：计算机应用，软件，系统结构，网络，授课专业：计算机应用，软件，系统结构，网络，信息安全考核方式：考核方式：开卷先修课程：离散数学高级语言程序设计,概率离散数学,高级语言程序设计概率先修课程：离散数学高级语言程序设计，概率教材：教材：开课学年：开课学年：第三学年参考资料：参考资料：开课学期：开课学期：第二学期课程内容：课程内容：任课老师：陈昭炯陈昭炯任课老师：陈昭炯周学时：周学时：3英文名：英文名：ArtificialIntelligence

人工智能的习题和答案

4.16设已知设已知的父亲，是的父亲的父亲，(1)假如是y的父亲，y是z的父亲，那么*是z的祖父)假如*是的

父亲是的祖父(2)每个人都有一个父亲)试用归结演绎推理证明：对于某人u,肯定存在一个人v,是试用归结演绎推理证明：对于某人，肯定存在一个人，v是u的祖父。的祖父。的祖父错误()错误(1)y*z(F(*,y)∧F(y,z)→G(*,z))*y(F(*,y)∧F(y,z)→G(*,z))y*F(*,y)∧zyF(y,z)→z*F(*,z)

(2)*yF(*,y);*yF(*,y)子句

(3)uvG(v,u)

Father(y,*)*yFather(y,*)→Father(y,a)G(v,u)子句uvG(v,u)→G(v,f(v))G(g(v),u)

人工智能的习题和答案

答案：答案：(1)*yz(F(*,y)∧F(y,z)→G(*,z))F(*,y)∨F(y,z)∨G(*,z)化为→F(f(w),w)(2)wtF(t,w)

(3)uvG(v,u)uvG(v,u)化为→G(v,a)

F(*,y)∧F(y,z)∨G(*,z)

G(v,a){*/v,a/z}

F(*,y)∧F(y,a)

F(f(w),w){f(w)/y,a/w}→{f(a)/y,a/w}

F(*,f(a))Nil

F(f(w),w){f(w)/*,f(a)/w}→{f(f(a))/*,f(a)/w}

人工智能的习题和答案

4.20原题如下：原题如下：原题如下(1)Whoever