《非單調超協調邏輯及其套用》是依託北京大學，由林作銓擔任負責人的面上項目。
基本介紹
- 中文名：非單調超協調邏輯及其套用
- 項目負責人：林作銓
- 項目類別：面上項目
- 依託單位：北京大學
- 批准號：60373002
- 申請代碼：F06
- 負責人職稱：教授
- 研究期限：2004-01-01 至 2006-12-31
- 支持經費：20（萬元）
項目摘要
非單調超協調邏輯是一類新的非經典邏輯，刻畫在不完全與不協調（含矛盾）知識下推理的基本特徵。本項目研究非單調超協調邏輯的理論基礎，算法實現和套用系統，提出各種非單調超協調邏輯系統，給出它們的語義，證明論，算法,計算複雜性和機械證明實現結果，基於非單調超協調邏輯語義擴展邏輯程式，給出具有良好語義和計算能力的新的邏輯程式設計途徑，實現不完全與不協調知識下常識推理系統，並套用非單調超協調邏輯解決人工智慧中常識知識表示與推理問題，建造具有不完全和含矛盾本體的大型知識庫，研製套用於網路環境中自動信息蒐集的智慧型軟體系統。非單調超協調邏輯是人工智慧中關於常識推理研究的突破性進展，在計算機科學與人工智慧中具有廣泛的套用前景，對於處理非規範知識，常識推理，基於知識的系統，知識庫，語義網際網路，動態環境下複雜軟體系統等是必要的理論基礎和關鍵技術。
