MENTAL MODEL · M13251
非单调逻辑
Non-monotonic Logic
更新于 2026-09-10
CORE DEFINITION · 核心定义
非单调逻辑是一族为可废止推理建模并加深理解的形式逻辑。所谓可废止，指推理者下结论时保留在获得进一步信息后撤回该推断的权利，归纳概括、最佳说明推理、依据专家意见的推断都属此类。
SCAFFOLDING EFFECT · 脚手架效应
psychology
降低认知负荷
- 缺省跳跃：在信息不足时按常态先得出结论，避免停滞 - 例外撤回：预设结论可被反例废止，始终保留修正空间 - 优先级排序：冲突时按信息可靠程度决定保留哪条推断
anchor
锚定快速决策
经典逻辑是单调的：前提增加，结论只会增多不会减少。常识推理却不然——由“鸟会飞”推出某个体会飞，一旦得知它是企鹅就必须撤回。非单调逻辑用缺省规则、例外条件与优先序编码这种跳跃：先按缺省得出结论，出现更高优先级的相反信息时再废止它。
MINIMUM ACTION · 最小行动
进行中 0/4在一个真实场景中练习这个模型：
勾选记录你的进度（本机暂存）
掌握进度0%
account_tree知识谱系 Genealogyexpand_more
menu_book信源参考 Sourcesexpand_more
来源明确性: 明确
- plato.stanford.eduhttps://plato.stanford.edu/entries/logic-nonmonotonic/verified
PRIVATE NOTES · 仅自己可见
已保存问答
ENTRY Q&A · 可保存至我的笔记
在清晰边界内提问
thinkingmodels 仅基于已发布的条目上下文回答。
你的问题会发送给 thinkingmodels；回答仅使用公开词条上下文。
RELATED MODELS · 相关模型