第一节 基本概念

  第二节 一阶谓词逻辑表示法  
  第三节 产生式表示法  
  第四节 框架表示法  
  第五节 语义网络表示法  
 

第六节 脚本表示法

 
  第七节 过程表示法  
第八节 Petri网表示法
第九节 面向对象表示法