古典人工智能 古典人工智能研究基于符号推理与搜索的智能方法,是现代AI的重要理论基石。 本章内容: 古典人工智能介绍 — AI发展历史与基本概念 搜索与元启发 — BFS、DFS、A*、遗传算法 对抗搜索与博弈 — Minimax、Alpha-Beta剪枝 约束满足问题 — CSP建模与求解策略 命题逻辑 — 逻辑推理、SAT问题 一阶逻辑 — 谓词逻辑、统一与归结 评论 #