chpt3人工智能原理逻辑系统ppt课件

- 本章内容 3.1 命题逻辑和一阶谓词逻辑 3.2 逻辑系统的语法和语义 3.3 逻辑推理举例 3.4 逻辑智能体的推理策略 参考书目 附录 形式系统简介