第 1 页：逻辑学的对象与内容第 2 页：数理逻辑简介第 3 页：哲学逻辑第 4 页：非形式逻辑导论第 5 页：人工智能逻辑第 6 页：逻辑哲学引论第 7 页：逻辑学史引论

[第5集] 人工智能逻辑

本节内容：本讲通过区分数学推理与常识推理介绍了人工智能逻辑的产生背景，以非单调推理为例介绍了人工智能逻辑的研究对象和研究方法。重点介绍了缺省逻辑及其应用。