AT-134-037 · 完整条目稿 0.57.0
可撤销推理（defeasible inference）
分析概念独立认识贡献
定义
在通常假设下成立、但可能因补充信息而被撤回的推理。
深入理解
可撤销推理是在现有信息和通常条件下有根据、却允许被相关新证据推翻的推断。它既不是保证结论必真的演绎，也不是没有依据的猜测。关键在于撤回有规则：新材料有时只降低把握，有时使原结论失去支持。分析应明确哪些通常假定在起作用、什么属于例外，以及修改结论后还有哪些根据成立。承认这种可修订性，使暂时判断与理性纠错能够并存。
思考如何推进
- 从事实与通常规则形成暂时结论。
- 把隐含的正常条件明确列出。
- 主动寻找例外和反向证据。
- 判断新信息要求降低把握还是撤回结论。
- 记录失效的前提及仍然成立的根据。
例子
根据办公室已经熄灯和通常的工作时间，有人推断里面没人了。夜班安排记录推翻了这个合理预设，却不使原来的概括在任何情况下都毫无价值。
反例与界限
有人随意改变看法，并不使一项推理成为可撤销推理。最初结论须得到可识别的正常情形假设支持；修订须回应相关新信息或已识别的例外。
与相近概念的区别
可撤销推理不同于演绎、任意猜测与单纯概率值；新证据依规则改变根据。
研究与应用
论证研究、法律推理与人工智能可分别标注通常规则、例外优先级和撤回条件，避免把临时结论写成必然事实。
作用与限制
让信息不完整时的行动具有根据，同时保留有规则的纠错途径。
共鸣
新证据能够让思路退回先前的岔口，重新选择有根据的路径。
为什么收录这个概念
本条揭示结论如何在保持根据的同时接受修订，是理解日常推理与论证可靠性的独立分析工具。
从中文阅读出发
将“通常如此”的中文理由明确写出，能够看见合理判断何时必须修订，而不把改口等同于不理性。
历史背景与来源范围
本条依据现有德英条目建立中文分析用法；概念史、词的历史和译名传播史仍是不同问题。本轮没有确立中文专业名称的最早用例，也不以编辑来源链代替词源。
实践、术语命名与中文译名的历史须分别核对。本稿不由一个相似例子推出中文术语的首例。
图谱中已有的联系
来源与查阅范围
下列记录保留原资料的书目名称。所列页码不表示本轮重新阅读全文或独立核验其中全部引文。
引用本条
Reich, Michael（编）：可撤销推理（defeasible inference），AT-134-037。语言图谱，Release 17.1.0，中文完整条目稿 0.57.0。引用时请注明访问日期及译稿审校状态。