非单调推理允许新信息使先前合理的结论失效。知道小鸟翠蒂是一只鸟，我们可以暂时判断它会飞；后来得知它是企鹅，就应撤回判断。这不是前后矛盾，而是原结论依赖“鸟通常会飞”这一默认条件，新事实击败了条件。
它与严格演绎不同。若结论确由一组前提必然推出，再增加前提不会使原推导失效；日常判断却常依赖典型情况、最佳解释或暂时缺少反例。非单调也不等于随意改口：撤回必须能指出哪条新信息改变了支持关系。
这个概念提醒我们，把结论标成“可修正”并非软弱。AI、诊断和生活判断面对不完整信息时，可靠性不只在于得出答案，也在于知道什么证据出现后应当收回答案。
https://plato.stanford.edu/entries/logic-nonmonotonic/
了解 Geoffrey Chen 的更多信息
订阅后即可通过电子邮件收到最新文章。