文档摘要

源文件：chapter5/code-for-logic/README.md 实验 5-2：用代码生成工具提升逻辑思考能力 《深入理解 AI Agent》配套代码。 本实验评估 Agent 通过约束求解代码来辅助逻辑思考的能力：为同一个 LLM 配备一个预装 的 Code Interpreter，让它把「骑士与无赖」(Knights & Knaves) 逻辑谜题 转化为形式化的约束满足问题(CSP)——识别变量(每个岛民是骑士还是无赖)、定义约束 (“骑士说真话、无赖说假话”)，再调用求解器搜索满足所有约束的解。 我们用一组 12 道 K&K 谜题(25 人，均带唯一真值解)对比三种模式： 纯思考(pure)：LLM 只用自然语言链式推理，直接给答案；

---