A I 习 题 及 思 考 题
福州大学数学与计算机学院
陈昭炯
14-Apr-21
(1)有的人喜欢梅花，有的人喜欢菊花，有的人既喜欢梅
花又喜欢菊花
典型错误：
答案：
(2)他每天下午都去打篮球
典型错误：
答案：
(3)西安市的夏天既炎热又干燥
错误：
答案：
(4)并不是人人都喜欢吃臭豆腐
错误：
答案：
(5)喜欢读《三国演义》的人必读《水浒》
错误：
答案：
(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.条条大路通罗马
设有如下问题：
（1）在一个3×3的方框内放有8个编号的小方块
（2）紧邻空位的小方块可以移入到空位上
（3）通过平移小方块可将某一布局变换为另一布局
请用产生式规则表示移动小方块的操作
2 8 3
1 6 4
7 5
1 2 3
8 4
7 6 5冲突消解：顺序；搜索：深度，广度，启发等
设有如下问题：
（1）有5个相互可直达且距离已知的城市A，B，C，D，
E（2）某人从A地出发，去其它4个城市各参观一次后回到
A（3）找一条最短的旅行路线
DB：按序存放行走路线；move(x):走向城市x
请用产生式规则表示旅行过程
冲突消解，搜索策略：最邻近法，深度优先，排除法等
最短路径：每产生出一条路径就对L进行比较
附加题1：计算机系课程的框架表示
框架名：<计算机系课程> 课
程编号： 课
程名称：
总学时：
理论学时：
实践学时：
学分：＝[总学时/18]
课程类型：
授课专业：
中文名：
英文名：
Value: 缺省：36
If-Needed: 理论学时＋实践学时
If-Added: 学分＝[总学时/18]
范围（公共基础课，专业基础课，专业课，专业选修课）
缺省：公共基础课
范围（计算机应用，软件，系统结构，网络，信息安全）
缺省：计算机应用
考核方式：
先修课程：
教材：
参考资料：
课程内容：
任课教师：
开课学年：
开课学期：
周学时：
范围（开卷，闭卷）
缺省：闭卷
范围（第一学期，第二学期）
缺省：第一学期
范围（第一～第四学年）
缺省：第一学年
实例：
框架名：<人工智能> 继
承： <计算机系课程> 课程
编号：@@10309 课
程名称：
理论学时：30
实践学时：6
课程类型：专业必修课
授课专业：计算机应用，软件，系统结构，网络，信息安全
考核方式：开卷
先修课程：<离散数学>,<高级语言程序设计>，<概率> 教
材： 参
考资料： 课
程内容： 任
课教师：<陈昭炯>
中文名：人工智能
英文名：Artificial Intelligence
开课学年：第三学年
开课学期：第二学期
周学时：3
设已知
（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}
原题如下：
（1）Whoever can read is literate
（2）Dolphins are not literate
（3）Some Dolphins are intelligent
Prove:Some who are intelligent cannot read
