《知識系統中不一致性的度量理論和方法及其套用研究》是依託北京大學，由牟克典擔任負責人的面上項目。
基本介紹
- 中文名：知識系統中不一致性的度量理論和方法及其套用研究
- 項目負責人：牟克典
- 項目類別：面上項目
- 依託單位：北京大學
項目摘要,結題摘要,
項目摘要
知識系統中的不一致性一直是人工智慧及其套用領域的重要研究問題之一。 最近， 在很多套用領域，對不一致性的度量環節被逐漸視為理解和刻畫不一致性的本質特性以及進一步有效處理不一致性的重要起點。 本項目針對度量不一致性的理論和方法，主要研究：（1）構建命題知識庫中基於極小不一致子集的不一致性度量， 並討論其邏輯性質和相關計算複雜性；（2）構建非單調多上下文系統中不一致性度量， 並討論其邏輯性質和相關計算複雜性；（3）建立帶有關於消解不一致性約束的不一致性度量方法；（4） 分別建立面向基於變數的不一致性度量方法、基於極小不一致子集的不一致性度量方法、非單調多上下文系統中不一致性的度量方法的公設集；（5）不一致性度量理論和方法在需求工程中的示範套用。
結題摘要
本項目對知識系統中不一致性的度量理論和方法進行了系統研究，所取得的重要研究進展包括:a、針對命題知識庫的情形提出了帶約束的不一致性度量理論和方法，並基於Halpern-Pearl因果模型對相關不一致性度量給予直觀解釋，這種直觀可解釋性和對約束的考慮有力地提升了不一致性相關度量理論和方法在不一致性消解決策中的適應性和可用性；b、基於Priest的極小不一致悖論邏輯(Minimally Inconsistent Logic of Paradox)框架討論了公式與不一致性的無關或獨立性，得到了在語法層面和超協調語義層面都和不一致性無關的公式集的刻畫定理，並基於這種更具一般性的刻畫提出雙自由公式獨立性公設(Bi-free Formula Independence Postulate)來替代自由公式獨立性公設(Free Formula Independence Postulate)， 改進了在刻畫不一致性度量方面具有重要影響的Hunter-Konieczny公設集；c、構建了擇優多上下文系統(Preferential multi-context system )，將知識（庫）優先權信息在知識系統中不一致性分析和處理方面的角色引入多上下文系統，利用與極大協調子系統相容的不一致性診斷(Diagnosis)來刻畫擇優多上下文系統中的不一致性；d、基於診斷，我們引入因果分析模型定義了多上下文系統中橋規則層次(bridge-level)的不一致性度量和系統層次 (system-level)的不一致性度量；e、我們以軟體需求方面的案例作為套用案例，演示了所提出的帶約束的不一致性度量理論和方法在實際套用中的可用性和有效性。
