可廢止推理
有疏漏性推理是對推理形式的研究,它儘管令人信服,卻不如演繹推理那麼形式化和嚴格。它已經在哲學中,和最近在人工智慧中討論過了。
哲學起源
編輯儘管亞里斯多德把對邏輯和哲學有效的推理形式同在日常生活中使用的更常見的推理(參見辯證法和修辭學)區分了開來,後來的哲學家主要關心演繹推理。
直到邏輯實證主義開始失寵,哲學家羅德里克·奇澤姆和John 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
這是一篇與邏輯學相關的小作品。您可以透過編輯或修訂擴充其內容。 |