单调性说的不是事情只增不减，而是一种推理关系：如果一组前提已经严格推出某个结论，加入更多前提后，这个结论仍然成立。比如“所有在册会员都可入场”和“小林是在册会员”推出“小林可入场”；后来得知他穿蓝衣，不会使推论失效。
日常判断却常是非单调的。听见“鸟通常会飞”，看见一只鸟，暂时推断它会飞；再知道它是企鹅，就应撤回结论。这里原判断依赖“通常”与信息不完整，并非严格演绎。
单调性保护已证明结论的累积性，非单调性允许知识在例外出现时修正。它们不是可靠与不可靠的区别，而是两种不同的承诺：前者要求结论不被新增前提取消，后者承认结论只是当前信息下可撤销的最好判断。AI、法律和生活推理的关键，是先说明自己作的是哪一种推断。
https://plato.stanford.edu/entries/logic-nonmonotonic/
了解 Geoffrey Chen 的更多信息
订阅后即可通过电子邮件收到最新文章。