不協調信息繫統的推理問題是國際邏輯學研究的
前沿問題之一。杜國平著的《不協調信息的推理機制
研究》在繫統考察國內外各種弗協調邏輯及其相關研
究成果的基礎上提出了自己解決不協調理論推理問題
的方案。內容包括：明確揭示出至少存在三種不同的
否定。即矛盾關繫否定、反對關繫否定和下反對關繫
否定；建立了對當關繫邏輯繫統；提出了一種更加符
合直覺的蘊涵一一知識蘊涵，基於這種蘊涵，繫統構
建了一繫列邏輯繫統；嘗試通過轉換的方法解決不協
調信息之間的推理問題；最後，討論了相關成果在計
算機科學和人工智能中的應用問題。本書所建立的邏
輯繫統比弗協調邏輯繫統能更加準確地表達不協調信
息，更適合作為不協調知識庫的邏輯推理工具，在應
用前景上有其獨特優勢。

第一章 緒論
1.1 司各脫法則
1.2 **外相關研究概述
1.3 弗協調邏輯的基本策略
1.4 邏輯的本質
1.5 研究內容與結構安排
第二章 對當關繫邏輯
2.1 否定的類型
2.2 對當關繫邏輯的理論緣起
2.3 對當關繫邏輯
2.4 對當關繫邏輯的判定問題
2.5 對當關繫邏輯的擴充及其應用
第三章 知識蘊涵命題邏輯
3.1 知識蘊涵
3.2 知識蘊涵命題邏輯公理繫統
3.3 可靠性和**性
3.4 可判定性
第四章 知識蘊涵模態邏輯
4.1 模態語言
4.2 知識蘊涵模態邏輯公理繫統
4.3 繫統的元理論
第五章 知識蘊涵時態邏輯
5.1 時態語言
5.2 知識蘊涵時態邏輯公理繫統
5.3 Kt的元理論
第六章 知識蘊涵直覺主義邏輯
6.1 形式語言
6.2 知識蘊涵直覺主義命題邏輯公理繫統
6.3 知識蘊涵直覺主義邏輯的形式語義
6.4 ID的元理論
第七章 知識蘊涵謂詞邏輯
7.1 形式語言
7.2 知識蘊涵謂詞邏輯公理繫統
7.3 知識蘊涵謂詞邏輯的形式語義
7.4 繫統的元理論
第八章 否定、蘊涵和弗協調邏輯
8.1 □及□中的否定
8.2 知識蘊涵與其他蘊涵的關繫
第九章 不協調信息轉換
9.1 不協調信息向協調信息的轉換
9.2 轉換的基本類型
9.3 基本概念
9.4 可容變換存在性證明
9.5 解悖變換的存在性
第十章 弗協調邏輯在計算機科學中的應用
10.1 弗協調邏輯在計算機科學中的應用概述
10.2 應用案例分析
10.3 基於新繫統的應用分析
結語
參考文獻及相關研究資料