我们在生活中经常玩一些棋类游戏,证明一些数学定理,求解许多智力问题,如八数码问题、梵塔问题、旅行商问题、八皇后问题、农夫过河问题等,求解这些问题的规则、经验、问题的状态都已经保存在我们的记忆中了。现在让计算机来做这些事情,它怎么才能知道求解这些问题的规则、经验和问题的状态呢?这就需要对这些问题进行形式化表示,将它们表示成计算机能够接受的形式,本章将介绍三种基本的知识表示方法。