摘要： 表推演方法作为一种经典逻辑和各种非经典逻辑统一的推理框架，近年来受到人们的普遍关注，并已用于实际推理系统中。本文旨在介绍经典逻辑的表推演方法，给出了表推演方法在经典逻辑中的几种基本形式，并指出它可以作为一种模型生成方法，用于知识库的一致性验证。

关键词: 表推演 推理框架 人工智能 知识库 归结推理