可废止推理查看源代码讨论查看历史
| 可废止推理 |
|
可废止推理是对推理形式的研究，它尽管令人信服，却不如演绎推理那么形式化和严格。它已经在哲学中，和最近在人工智能中讨论过了。 其他演绎推理的替代者包括归纳推理和逆推推理。它们在传统上不被术语“可废止推理”所覆盖。[1]
哲学起源
尽管亚里士多德把对逻辑和哲学有效的推理形式同在日常生活中使用的更常见的推理(区分了开来，后来的哲学家主要关心演绎推理。 直到逻辑实证主义开始失宠，哲学家 Roderick Chisholm 和 John L. Pollock 复兴了对可废止推理的兴趣。
人工智能
大约在同一个时期，人工智能的先驱如约翰·麦卡锡和 Patrick J. Hayes 在遇到框架问题和限定问题的时候，提出了某种形式的可废止推理。 已提出的一些形式的可废止推理: McCarthy 提出的方案是限制的逻辑原理 Raymond Reiter 提出了缺省逻辑系统和封闭世界假定的形式化 McDermott 和 Doyle 提出了非单调逻辑 Robert C. Moore 提出了自动认识逻辑 Donald Nute提出了可废止逻辑
演绎推理
演绎推理（英语：Deductive Reasoning）在传统的亚里士多德逻辑中是“结论，可从叫做‘前提’的已知事实，‘必然地’得出的推理”。如果前提为真，则结论必然为真。这区别于溯因推理和归纳推理：它们的前提可以预测出高概率的结论，但是不确保结论为真。 “演绎推理”还可以定义为结论在普遍性上不大于前提的推理，或“结论在确定性上，同前提一样”的推理。
归纳推理
归纳法或归纳推理（Inductive reasoning），有时叫做归纳逻辑，是论证的前提支持结论但不确保结论的推理过程。它基于对特殊的代表（token）的有限观察，把性质或关系归结到类型；或基于对反复再现的现象的模式（pattern）的有限观察，公式表达规律。例如，使用归纳法在如下特殊的命题中： 冰是冷的。 弹子球在击打球杆的时候移动。 推断出普遍的命题如： 所有冰都是冷的。 所有弹子球都在击打球杆的时候移动。
逆推法
逆推法类似于归纳法，但它依据于已知或假设的关联性（relationary）规则，和包含这个规则的至少一个断言（预测）的观察（observation）。由于其他断言在观测和规则二者中的同时出现（coincidence），关联性规则的另一个断言就被推广（generalize）到观察中。 它通常用在警察工作中来通过意图、动机和时机来决定犯罪的最初嫌疑。 建造在逆推推理之上的逻辑系统的最常见形式涉及到或有关于复杂性理论。