# 可废止推理

> 【EN】Reasoning is defeasible when the corresponding argument is rationally compelling but not deductively valid. The truth of the premises of a good defeasible argument provide support for the conclusion, even though it is possible for the premises to be true and the conclusion false. In other words, the relationship of support between premises and conclusion is a tentative one, potentially defeated by additional information. Philosophers have studied the nature of defeasible reasoning since Aristotle’s analysis of dialectical reasoning in the Topics and the Posterior Analytics , but the subject has been studied with unique intensity over the last forty years, largely due to the interest it attracted from the artificial intelligence movement in computer science. … 【中】可废止推理刻画的是日常与科学中大量存在的那种推理：前提为真确实给结论提供了支持，却不保证结论为真，因为新信息可能把它推翻。它与演绎推理相对，是人工智能、认识论与法理学共同关心的议题。词条追溯这一观念在哲学与人工智能中的历史，并讨论自认知推理、可废止的理由与义务、法律推理，以及可废止的自然规律。

- ID: m13295
- 分类: technical
- 领域: 人工智能

## 定义

当一个论证在理性上令人信服却不具演绎有效性时，它就是可废止的：前提为真支持结论，但前提真而结论假的情形仍可能存在，支持关系是试探性的。 脚手架作用：- 缺省推进：信息不全时按默认规则先作推断，并预设被反证推翻的条件。 - 信念修订：新证据出现时按其强度撤回旧结论，保持信念集合可修正。

## 机制

可废止推理之所以成立，是因为前提与结论之间并非蕴涵关系，而是一种“若无例外则成立”的默认联系。默认规则允许我们在信息不完全时先行推断，同时保留被更强的相反信息击败的可能，信念集合因此可以随新证据修订。

## 练习

1) 判断当前推理属于演绎必然还是默认推断，明确它的可废止性；2) 列出可能击败它的例外与反例，检查现有信息是否排除了它们；3) 一旦出现新证据，重新评估结论，必要时撤回而不是硬撑。

## 脚手架用法

- 缺省推进：信息不全时按默认规则先作推断，并预设被反证推翻的条件。 - 信念修订：新证据出现时按其强度撤回旧结论，保持信念集合可修正。

[阅读网页](https://thinkingmodels.site/entries/detail/m13295)