內容簡介
智能化時代大潮已動搖標準邏輯一統天下的地位,暴露了基於標準邏輯的傳統邏輯範式的局限性,即它只能處理具有非此即彼性的理想問題。針對各種具有亦此亦彼性的現實問題,近幾十年來提出了數十種非標準邏輯,雖然能解決人工智能中的某些實際問題,但常會出現違反常識的異常結果,說明它們在理論上並不成熟,缺乏普適性。 當前智能科學的發展迫切呼喚邏輯範式的變革。 本書是作者及其研究團隊20多年來研究泛邏輯的系統總結。我們高舉邏輯範式變革的大旗,勇闖無人區,逆勢而上,建立了能統一標準邏輯和各種非標準邏輯的命題泛邏輯理論體系。這是站在智能科學的全局高度,針對人工智能發展過程中遇到的瓶頸,從邏輯學層面給出的一個積極有效的回應。本書內容將圍繞三個問題展開:①為什麼要研究泛邏輯學;②如何根據應用需求生成相應的命題泛邏輯;③如何準確應用命題泛邏輯解決現實問題。同時,本書還展望了泛邏輯的未來發展。 具有高等數學、數理邏輯和神經網絡基礎知識的讀者均可以順利閱讀本書。本書可作為高等院校智能科學專業、人工智能專業、計算機專業、信息專業、控制專業和邏輯專業的研究生及高年級本科生的參考讀物,也可供相關領域的科技人員及其他有關人員參閱。目錄
「新一代人工智能理論、技術及應用叢書」序