您的当前位置是：第二章 知识表示方法>>自测与实践>>本章练习

一、填空题（每小题4分，共68分）

1．状态空间表示法中，问题的状态空间包括________、________和________。

2．谓词逻辑是一种表达能力很强的形式语言，其真值的特点和命题逻辑的区别是________。

3．谓词逻辑中，重言式（tautlogy）的值是________。

4．在谓词公式中，紧接于量词之后被量词作用的谓词公式称为该量词的________，而在一个量词的辖域中与该量词的指导变元相同的变元称为________，其他变元称为________。

5．目前所用的知识表示形式有________、________、谓词逻辑法________等。

6．已知初始问题的描述，通过一系列变换把此问题最终变为一个子问题集合；这些子问题的解可以直接得到，从而解决了初始问题。这是知识表示法叫________。

7．A∧（A∨B）<=>A称为________律，～（A∧B）<=>～A∨～B称为________律

8．仅个体变元被量化的谓词称为________阶谓词

9．在与或图中，没有后裔的非终叶节点为不可解节点，那么含有或后继节点且后裔中至少有一个为可解的非终叶节点是________，含有与后继节点且后裔中至少有一个为不可解的非终叶节点是________。

二、谓词描述题（每小题10分，共20分）

将下列自然语言转化为谓词表示形式：

1．所有的人都是要呼吸的。

2．凡是清洁的东西就有人喜欢。

三、简答题（本题12分）

试述状态空间法、问题归约法、谓词演算法的要点。