人工智能习题和答案

AI习题及思考题福州大学数学与计算机学院陈昭炯22-Jan-233.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开课学年：第第三学年开课学期：第第二学期周学时：34.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