人们几乎天天使用常识推理, 但用形式化的方式来表示却非常困难。人工智能是研究解决某些通常被认为要用智能才能解决的问题的计算机技术, 人工智能研究计算机刻画主体如何获得知识和处理知识的能力, 人工智能逻辑就是用逻辑方法和成果研究主体如何处理知识的理论。本书分8章, 从人工智能的角度来建立逻辑理论系统, 系统全面地介绍了人工智能逻辑的基本理论与方法。