可废止推理

维基百科,自由的百科全书
跳转至: 导航搜索

可废止推理是对推理形式的研究,它尽管令人信服,却不如演绎推理那么形式化和严格。它已经在哲学中,和最近在人工智能中讨论过了。

其他演绎推理的替代者包括归纳推理逆推推理。它们在传统上不被术语「可废止推理」所覆盖。

哲学起源[编辑]

尽管亚里士多德把对逻辑哲学有效的推理形式同在日常生活中使用的更常见的推理(参见辩证法修辞学)区分了开来,后来的哲学家主要关心演绎推理。

直到逻辑实证主义开始失宠,哲学家 Roderick ChisholmJohn L. Pollock 复兴了对可废止推理的兴趣。

人工智能[编辑]

大约在同一个时期,人工智能的先驱如约翰·麦卡锡Patrick J. Hayes 在遇到框架问题限定问题的时候,提出了某种形式的可废止推理。

已提出的一些形式的可废止推理:

参见[编辑]

外部链接[编辑]