命题逻辑和谓词逻辑是最先应用于人工智能的两种逻辑，在知识的形式化表示方面，特别是定理的自动证明方面，发挥了重要的作用，在人工智能的发展史中占有重要的地位。
本实训主要介绍命题逻辑、谓词逻辑以及一阶谓词逻辑表示的方法。

文档更新时间: 2025-09-02 10:24   作者：yyq