MENTAL MODEL · M13294
自动推理
Automated Reasoning
更新于 2026-09-10
CORE DEFINITION · 核心定义
推理是作出推断的能力，自动推理研究如何建造把这一过程自动化的计算系统。它主要与数学和形式逻辑中的有效演绎推理相连，因而十分接近机械定理证明。
SCAFFOLDING EFFECT · 脚手架效应
psychology
降低认知负荷
- 形式化准备：把论证转成符号与规则，交机器检验有效性并搜索证明。 - 效力边界：明确结论只在形式规则内成立，别把机械证明当作实质洞见。
anchor
锚定快速决策
形式演算把“什么算一个合法证明”用无歧义的规则固定下来，推理因此成为对符号的机械操作。算法的任务是在庞大的证明搜索空间中，用归结之类的策略有方向地推进，避免盲目穷举。其前提是：结论的有效性完全由形式规则决定。
MINIMUM ACTION · 最小行动
进行中 0/3在一个真实场景中练习这个模型：
勾选记录你的进度（本机暂存）
掌握进度0%
account_tree知识谱系 Genealogyexpand_more
menu_book信源参考 Sourcesexpand_more
来源明确性: 明确
- plato.stanford.eduhttps://plato.stanford.edu/entries/reasoning-automated/verified
PRIVATE NOTES · 仅自己可见
已保存问答
ENTRY Q&A · 可保存至我的笔记
在清晰边界内提问
thinkingmodels 仅基于已发布的条目上下文回答。
你的问题会发送给 thinkingmodels；回答仅使用公开词条上下文。
RELATED MODELS · 相关模型