人工智慧研究：經典推理和非經典推理

傳統人工智慧即邏輯學派是建立在符號邏輯推理的基礎上的。科學需要思維，思維是科技創新的源泉。思維也需要科學方法，也就是說，要有正確的思維、科學的思維。邏輯和推理是以邏輯為基礎的人工智慧的兩個基石。邏輯涉及思維的規範，而推理則與思維的法則有關。

人工智慧從學科本身出發，對邏輯給予相應的界定:

（1）人工智慧把邏輯作為描述和模擬思維的工具，而不像邏輯學家那樣研究邏輯理論，而是研究應用邏輯。

（2）人工智慧不僅要把邏輯應用於學科研究，而且要探究邏輯的應用問題。

（3）人工智慧把邏輯作為重現和模擬智慧的手段，而不像數學家那樣把邏輯作為改造和發展數學的基礎。

上述對邏輯的界定對人工智慧研究的請多方面產生了深刻影響，如邏輯研究的重點理論深度和形式化描述程式等。人工智慧中關於邏輯的研究，向邏輯學家提出一些新的問題，促進邏輯學的發展。

一般提到的邏輯有形式邏輯和數理邏輯等，消解原理就是以謂詞邏輯為基礎的。長期以來，形式邏輯和數理邏輯的研究和應用一直處於主導地位。然而，這兩種邏輯存在些侷限性，無法解決面臨的一些應用問題，從而出現了一些新的邏輯學派。人們把這些新的邏輯學派稱為非經典邏輯，其相應的推理方法則叫做非經典推理。與此相應地把傳統的邏輯學派及其推理方法稱為經典邏輯和經典推理。

可從如下5點來說明非經典邏輯和非經典推理與經典邏輯和經典推理的區別:

（1）在推理方法上，經典邏輯採用演繹邏輯推理，而非經典邏輯採用歸納邏輯推理。

（2）在轄域取值上，經典邏輯都是二值邏輯，即只有真（True）和假（False）兩種，而非經典邏輯都是多值邏輯，如三值、四值和模糊邏輯等

（3）在運演算法則上，兩者也不大相同。屬於經典邏輯的形式邏輯和數理邏輯，它們的許多運演算法則在非經典邏輯中就不能成立。例如，三值邏輯就不遵循謂詞邏輯中的雙重否定法則～（～P）＝P。又如，狄・摩根定律在一些多值邏輯中也不再成立。這些例子說明，非經典邏輯背棄了經典邏輯的一些重要特性。

（4）在邏輯算符上，非經典邏輯具有更多的邏輯算符。例如，謂詞邏輯具有∧、∨、→、～、≡ 5個連詞。由這些邏輯算符組成的謂詞合式（邏輯）公式，只能回答“什麼是真？”和“什麼是假？”的是非判斷問題，而無法處理“什麼可能真？”“什麼必然假？”“什麼應該真？”“什麼允許假？”之類的問題。非經典邏輯引用了附加算符（一般叫做模態算符或運算元）來解決上述面臨的問題。

（5）在是否單調上，兩者也截然有別。經典邏輯是單調的，即已知事實（定理）均為充分可信的，不含隨著新事實的出現而使原有事實變為假。這是人的認識的單調性。由於現實生活中的許多事實是在人們來不及完全掌握其前提條件下初步認可的，而當客觀情況發生變化或人們對客觀情況的認識有了深化時，一些舊的認識就可能被修正以至否定。這就是人的認識的非單調性。引用非單調邏輯進行非單調推理是非經典邏輯與經典邏輯的又一重要區別。