基本概念
一阶谓词表示法
产生式表示法
框架表示法
语义网络表示法
剧本（脚本）表示法
过程表示法
面向对象表示法
Petri网表示法
信念网表示法
[1] Sowa, J. F. Knowledge Representation: Logical, Philosophical, and Computational Foundations. China Machine Press, 2003.
[2] 王永庆. 人工智能原理与方法. 西安交通大学出版社,
1998. （第3章 知识与知识表示）
[3] 陆汝钤. 人工智能. 科学出版社，2000. (上册：第一部分 知识表示)
[4] 蔡自兴等. 人工智能及其应用. 清华大学出版社, 1996.
（第二章 知识表示方法）
[5] Russell, S., Norvig, P. Artificial Intelligence: A Modern
Approach. Pearson Education, 人民邮电出版社, 2002.
（分散于该书中的相关章节，特别是该书中的信念网络（Belief Network）值得重点阅读）
