2024年4月29日发(作者：伊璎)
第二章 知识表示 习题参考解答
2.3 练习题
2.1 什么是知识?它有哪些特性?有哪几种分类方法?
2.2 何谓知识表示? 陈述性知识表示法与过程性知识表示法的区别是什么?
2.3 在选择知识的表示方法时，应该考虑哪些主要因素?
2.4 一阶谓词逻辑表示法适合于表示哪种类型的知识?它有哪些特点?
2.5 请写出用一阶谓词逻辑表示法表示知识的步骤。
2.6 设有下列语句，请用相应的谓词公式把它们表示出来：
（1） 有的人喜欢梅花，有的人喜欢菊花，有的人既喜欢梅花又喜欢菊花。
（2） 他每天下午都去玩足球。
（3） 太原市的夏天既干燥又炎热。
（4） 所有人都有饭吃。
（5） 喜欢玩篮球的人必喜欢玩排球。
（6） 要想出国留学，必须通过外语考试。
2.7 房内有一只猴子、一个箱子，天花板上挂了一串香蕉，其位置关系如图2. 11所示，
猴子为了拿到香蕉，它必须把箱子推到香蕉下面，然后再爬到箱子上。请定义必要的谓词，
写出问题的初始状态（即图2.16所示的状态）、目标状态（猴子拿到了香蕉，站在箱子上，
箱子位于位置b）。
图2.11 猴子摘香蕉问题
2.8 对习题2.7中的猴子摘香蕉问题，利用一阶谓词逻辑表述一个行动规划，使问题
7
从初始状态变化到目标状态。
2.9 产生式的基本形式是什么？它与谓词逻辑中的蕴含式有什么共同处及不同处？
2.10 何谓产生式系统？它由哪几部分组成？
2.11 产生式系统中，推理机的推理方式有哪几种？在产生式推理过程中，如果发生策
略冲突，如何解决？
2.12 设有下列八数码难题：
在一个3×3的方框内放有8个编号的小方块，紧邻空位的小方块可以移入到空位上，
通过平移小方块可将某一布局变换为另一布局（如图2.12所示）。请用产生式规则表示移动
小方块的操作。
图2.12 习题2.12的图 图2.13 习题2.13的图
2.13 推销员旅行问题：
设有五个相互可直达且距离已知的城市A、B、C、D、E，如图2.13所示，推销员从城
市A出发，去其它四城市各旅行一次，最后再回到城市A，请找出一条最短的旅行路线。
用产生式规则表示旅行过程。
2.14 何谓语义网络？语义网络表示法的特点是什么？
2.15 语义网络表示法与产生式表示法、谓词逻辑表示法之间的关系如何？
2.16 用语义网络表示下列知识：
（1）所有的鸽子都是鸟；
（2）所有的鸽子都有翅膀；
（3）信鸽是一种鸽子，它有翅膀，能识途。
2
1
7
8
6
5
S
0
3
4
1
8
7
2
6
S
g
3
4
5
8
2024年4月29日发(作者：伊璎)
第二章 知识表示 习题参考解答
2.3 练习题
2.1 什么是知识?它有哪些特性?有哪几种分类方法?
2.2 何谓知识表示? 陈述性知识表示法与过程性知识表示法的区别是什么?
2.3 在选择知识的表示方法时，应该考虑哪些主要因素?
2.4 一阶谓词逻辑表示法适合于表示哪种类型的知识?它有哪些特点?
2.5 请写出用一阶谓词逻辑表示法表示知识的步骤。
2.6 设有下列语句，请用相应的谓词公式把它们表示出来：
（1） 有的人喜欢梅花，有的人喜欢菊花，有的人既喜欢梅花又喜欢菊花。
（2） 他每天下午都去玩足球。
（3） 太原市的夏天既干燥又炎热。
（4） 所有人都有饭吃。
（5） 喜欢玩篮球的人必喜欢玩排球。
（6） 要想出国留学，必须通过外语考试。
2.7 房内有一只猴子、一个箱子，天花板上挂了一串香蕉，其位置关系如图2. 11所示，
猴子为了拿到香蕉，它必须把箱子推到香蕉下面，然后再爬到箱子上。请定义必要的谓词，
写出问题的初始状态（即图2.16所示的状态）、目标状态（猴子拿到了香蕉，站在箱子上，
箱子位于位置b）。
图2.11 猴子摘香蕉问题
2.8 对习题2.7中的猴子摘香蕉问题，利用一阶谓词逻辑表述一个行动规划，使问题
7
从初始状态变化到目标状态。
2.9 产生式的基本形式是什么？它与谓词逻辑中的蕴含式有什么共同处及不同处？
2.10 何谓产生式系统？它由哪几部分组成？
2.11 产生式系统中，推理机的推理方式有哪几种？在产生式推理过程中，如果发生策
略冲突，如何解决？
2.12 设有下列八数码难题：
在一个3×3的方框内放有8个编号的小方块，紧邻空位的小方块可以移入到空位上，
通过平移小方块可将某一布局变换为另一布局（如图2.12所示）。请用产生式规则表示移动
小方块的操作。
图2.12 习题2.12的图 图2.13 习题2.13的图
2.13 推销员旅行问题：
设有五个相互可直达且距离已知的城市A、B、C、D、E，如图2.13所示，推销员从城
市A出发，去其它四城市各旅行一次，最后再回到城市A，请找出一条最短的旅行路线。
用产生式规则表示旅行过程。
2.14 何谓语义网络？语义网络表示法的特点是什么？
2.15 语义网络表示法与产生式表示法、谓词逻辑表示法之间的关系如何？
2.16 用语义网络表示下列知识：
（1）所有的鸽子都是鸟；
（2）所有的鸽子都有翅膀；
（3）信鸽是一种鸽子，它有翅膀，能识途。
2
1
7
8
6
5
S
0
3
4
1
8
7
2
6
S
g
3
4
5
8