请输入您要查询的百科知识:

 

词条 可废止推理
释义

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

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

哲学起源

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

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

人工智能

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

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

McCarthy 提出的方案是限制的逻辑原理

Raymond Reiter 提出了缺省逻辑系统和封闭世界假定的形式化

McDermott 和 Doyle 提出了非单调逻辑

Robert C. Moore 提出了自动认识逻辑

Donald Nute提出了可废止逻辑

Article on Defeasible Reasoning in the Stanford Encyclopedia of Philosophy

An example of defeasible reasoning in action

随便看

 

百科全书收录4421916条中文百科知识,基本涵盖了大多数领域的百科知识,是一部内容开放、自由的电子版百科全书。

 

Copyright © 2004-2023 Cnenc.net All Rights Reserved
更新时间:2024/12/24 7:12:47