超協調預設邏輯及其套用

《超協調預設邏輯及其套用》是依託北京大學，由林作銓擔任負責人的面上項目。

基本介紹

• 中文名：超協調預設邏輯及其套用
• 項目負責人：林作銓
• 項目類別：面上項目
• 依託單位：北京大學

項目摘要

超協調預設邏輯是一種非單調超協調邏輯，作為預設邏輯的一種超協調擴展形式，刻畫在不完全與不協調知識下推理的基本特徵。本項目研究超協調預設邏輯的理論基礎，算法實現和套用系統，提出幾種重要的超協調預設邏輯系統，給出它們的語義，證明論，算法,計算複雜性和實現結果，實現不完全與不協調知識下常識推理系統，建立語義Web中具有不完全和不協調本體的表示和標準，套用超協調預設邏輯解決人工智慧中常識知識表示與推理問題。超協調預設邏輯是人工智慧中關於常識推理的研究進展，在計算機科學與人工智慧中具有廣泛的套用前景，對於處理非規範知識，常識推理，基於知識的系統，知識/本體庫，語義Web，動態環境下複雜軟體系統等是重要的理論基礎和關鍵技術。

結題摘要

超協調預設邏輯是一種在不完全與不協調知識下推理的形式系統。雙預設邏輯作為預設邏輯的一種超協調擴展形式，包含預設邏輯作為一種特殊形式，不僅能夠處理不完全知識推理，而且能夠處理不協調（含矛盾）知識推理，同時具有非單調性和超協調性。四值預設邏輯是一個基於超協調四值語義的預設邏輯，它具有不平凡性，使得預設邏輯能處理矛盾而不會產生平凡擴張。極小假設理論是一種辯論語義，不僅能解決優先語義的空擴張問題和穩定語義的無擴張問題，並且給出了在一定條件下極小化假設語義可包含優先語義和穩定語義。非經典描述邏輯作為能處理不完全與不協調知識（本體）的語義Web理論基礎，四值描述邏輯和準經典描述邏輯是兩種主要的非經典描述邏輯。不協調度量理論對基於不同多值語義的不協調性進行分析，可得到它們之間關係，把不協調性度量轉化為不完全MAX-SAT問題，可通過調用SAT求解器實現，基於對不協調性度量進行計算複雜性分析，可實現實用的不協調度量算法。表算法是實現超協調預設推理和非經典描述邏輯的實現技術。超協調預設邏輯在計算機科學與人工智慧中具有廣泛的套用，對於處理非規範知識、常識推理、基於知識的系統、知識/本體庫、語義Web和動態環境下複雜軟體系統等都是重要的理論基礎和關鍵技術。