跳至內容

可廢止推理

維基百科,自由的百科全書

有疏漏性推理是對推理形式的研究,它儘管令人信服,卻不如演繹推理那麼形式化和嚴格。它已經在哲學中,和最近在人工智能中討論過了。

其他演繹推理的替代者包括歸納推理逆推推理。它們在傳統上不被術語「有疏漏性推理」所覆蓋。

哲學起源

[編輯]

儘管亞里士多德把對邏輯哲學有效的推理形式同在日常生活中使用的更常見的推理(參見辯證法修辭學)區分了開來,後來的哲學家主要關心演繹推理。

直到邏輯實證主義開始失寵,哲學家羅德里克·奇澤姆John L. Pollock復興了對有疏漏性推理的興趣。

人工智能

[編輯]

大約在同一個時期,人工智能的先驅如約翰·麥卡錫Patrick J. Hayes在遇到框架問題限定問題的時候,提出了某種形式的有疏漏性推理。

已提出的一些形式的有疏漏性推理:

參見

[編輯]

外部連結

[編輯]