逻辑与推理知识索引
方向概述
逻辑与推理研究形式化推理系统与证明机制。本方向涵盖一阶谓词逻辑、模态逻辑、非经典逻辑与自动定理证明，为人工智能的推理能力与知识表示提供形式化基础。
关键词汇总
| 一阶逻辑 | 谓词逻辑 | 模态逻辑 | 可能世界语义学 | 非经典逻辑 | 自动定理证明 | 推理系统 | 归结原理 | 时态逻辑 | 认知逻辑 |
文档列表
经典逻辑
- 一阶谓词逻辑深度指南 — 一阶谓词逻辑的形式系统与推理规则
模态逻辑
- 模态逻辑详解 — 模态逻辑理论与可能世界语义
非经典逻辑
- 非经典逻辑 — 直觉主义逻辑、多值逻辑、模糊逻辑
自动推理
- 自动定理证明 — 自动定理证明的算法与方法