10. 逻辑 (Logic)

作者: Henry Zhu

编辑: Peyrin Kao, Danial Toktarbayev, 和 Wesley Zheng

致谢: 部分章节改编自教材 Artificial Intelligence: A Modern Approach。

最后更新: 2024年9月

10.1 基于知识的智能体
10.2 逻辑语言
10.3 命题逻辑
10.4 命题逻辑推理
10.5 定理证明
10.6 前向链接
10.7 一阶逻辑
10.8 一阶逻辑推理
10.9 逻辑智能体
10.10 总结

* * * * [10.1 基于知识的智能体](/cs188/zh-cn/logic/knowledge.html) * [10.2 逻辑语言](/cs188/zh-cn/logic/language.html) * [10.3 命题逻辑](/cs188/zh-cn/logic/propositional.html) * [10.4 命题逻辑推理](/cs188/zh-cn/logic/inference.html) * [10.5 定理证明](/cs188/zh-cn/logic/theorem.html) * [10.6 前向链接](/cs188/zh-cn/logic/forward.html) * [10.7 一阶逻辑](/cs188/zh-cn/logic/first-order-logic.html) * [10.8 一阶逻辑推理](/cs188/zh-cn/logic/first-order-logical-inference.html) * [10.9 逻辑智能体](/cs188/zh-cn/logic/logical-agents.html) * [10.10 总结](/cs188/zh-cn/logic/summary.html)