人工智能习题和答案

AI习题及思考题福州大学数学与计算机学院陈昭炯10-Aug-23第一页，共二十二页。3.6(1)有的人喜欢梅花，有的人喜欢菊花，有的人既喜欢梅花又喜欢菊花典型错误：答案：第二页，共二十二页。3.6(2)他每天下午都去打篮球典型错误：答案：第三页，共二十二页。3.6(3)西安市的夏天既炎热又干燥错误：第四页，共二十二页。答案：第五页，共二十二页。3.6(4)并不是人人都喜欢吃臭豆腐错误：答案：第六页，共二十二页。3.6(5)喜欢读《三国演义》的人必读《水浒》错误：答案：第七页，共二十二页。3.6(6)欲穷千里目，更上一层楼错误：答案：第八页，共二十二页。关于一阶谓词逻辑的若干问题：分清蕴涵与合取的区别：1）蕴涵的前提可以不发生，且前提不为真时蕴涵式仍能成立2）合取表示的是已经发生或存在的事实3）蕴含通常与全称量词相关联，是它的自然联接符；蕴涵符若与存在量词合用易导致过弱表示，即未能充分表示有用的信息。4）合取符通常与存在量词相关联，是它的自然联接符；合取符若与全称量词合用易导致过强表示。5）逆否命题第九页，共二十二页。表达过程中能关联的谓词尽可能关联，便于后续的推理推理时应根据需要补充默认的事实适当设置谓词项的数目，不可太笼统，不便推理在一阶谓词逻辑中，谓词本身不可作为另一谓词的项区分函数与谓词的不同，谓词的值是“真”或“假”，函数是一个个体域到另一个体域一种映射，其值是某个个体域的个体充分利用函数进行表达，可简化。和可相互转化，和也可相互转化；尽管如此语句的可读性比精简更重要语义是什么？语气，情态的谓词表达？第十页，共二十二页。1.设F（x）表示x是火车，G（x）表示x是汽车，H（x，y）表示x比y快，命题“某些汽车比所有火车慢”的符号化公式是（）

A．（y）（G（y）→（x）（F（x）∧H（x，y）））

B．（y）（G（y）∧（x）（F（x）→H（x，y）））

C．（x）（y）（G（y）→（F（x）∧H（x，y）））

D．（y）（G（y）→（x）（F（x）→H（x，y）））用一阶谓词逻辑表示下列语句：1.有的实数不是有理数，但所有的有理数都是实数。

2.任意两个实数x和y之间必可找到另一个实数z。

3.除0之外，每个自然数有且仅有一个相继前元（论域已设定为自然数集）。4.条条大路通罗马

第十一页，共二十二页。3.13设有如下问题：（1）在一个3×3的方框内放有8个编号的小方块（2）紧邻空位的小方块可以移入到空位上（3）通过平移小方块可将某一布局变换为另一布局请用产生式规则表示移动小方块的操作2831647512384765冲突消解：顺序；搜索：深度，广度，启发等第十二页，共二十二页。3.14设有如下问题：（1）有5个相互可直达且距离已知的城市A，B，C，D，E（2）某人从A地出发，去其它4个城市各参观一次后回到A（3）找一条最短的旅行路线DB：按序存放行走路线；move(x):走向城市x请用产生式规则表示旅行过程第十三页，共二十二页。冲突消解，搜索策略：最邻近法，深度优先，排除法等最短路径：每产生出一条路径就对L进行比较第十四页，共二十二页。附加题1：计算机系课程的框架表示框架名：<计算机系课程>课程编号：课程名称：总学时：理论学时：实践学时：学分：＝[总学时/18]课程类型：授课专业：中文名：英文名：Value:缺省：36If-Needed:理论学时＋实践学时If-Added:学分＝[总学时/18]范围（公共基础课，专业基础课，专业课，专业选修课）缺省：公共基础课范围（计算机应用，软件，系统结构，网络，信息安全）缺省：计算机应用第十五页，共二十二页。考核方式：先修课程：教材：参考资料：课程内容：任课教师：开课学年：开课学期：周学时：范围（开卷，闭卷）缺省：闭卷范围（第一学期，第二学期）缺省：第一学期范围（第一～第四学年）缺省：第一学年第十六页，共二十二页。实例：框架名：<人工智能>继承：<计算机系课程>课程编号：@@10309课程名称：理论学时：30实践学时：6课程类型：专业必修课授课专业：计算机应用，软件，系统结构，网络，信息安全考核方式：开卷先修课程：<离散数学>,<高级语言程序设计>，<概率>教材：参考资料：课程内容：任课教师：<陈昭炯>中文名：人工智能英文名：ArtificialIntelligence开课学年：第三学年开课学期：第二学期周学时：3第十七页，共二十二页。4.16设已知（1）如果x是y的父亲，y是z的父亲，则x是z的祖父（2）每个人都有一个父亲试用归结演绎推理证明：对于某人u，一定存在一个人v，v是u的祖父。错误（1）第十八页，共二十二页。答案：{x/v,a/z}{f(w)/y,a/w}→{f(a)/y,a/w}{f(w)/x,f(a)/w}→{f(f(a))/x,f(a)/w}第十九页，共二十二页。4.20原题如下：（1）Whoevercanreadisliterate（2）Dolphinsarenotliterate（3）SomeDolphinsareintelligentProve:Somewhoareintelligen