描述邏輯及其擴展中的相容性問題和推理算法研究

《描述邏輯及其擴展中的相容性問題和推理算法研究》是依託湖南大學，由周湘南擔任項目負責人的青年科學基金項目。

基本介紹

• 中文名：描述邏輯及其擴展中的相容性問題和推理算法研究
• 項目類別：青年科學基金項目
• 項目負責人：周湘南
• 依託單位：湖南大學

中文摘要

推理在人工智慧、知識表示和語義web等研究中起著至關重要的作用，合理、有效且快速的推理機制是這些領域研究發展並廣泛套用於實際的基礎，而邏輯則為推理機制的研究提供了可靠的形式化方法。因此，建立合理可靠的邏輯基礎並從邏輯的角度來建立相應的推理機制是非常重要的研究課題。描述邏輯是基於對象的知識表示的形式化方法，為語義web的研究提供邏輯基礎，近十年來隨著語義web的提出其研究非常活躍。然而不確定性知識的表示以及知識融合和增長過程中帶來的知識庫的不相容性為描述邏輯的研究帶來了新的挑戰。本項目基於已有的研究工作，將從描述邏輯不確定性擴展中的相容性問題及其推理算法兩個方面著手進行深入研究。重點討論模糊描述邏輯知識庫中相容和不相容的度量、不相容知識庫中的推理以及描述邏輯不確定性擴展中推理算法的最佳化三個問題，為描述邏輯的套用提供堅實的理論基礎。

結題摘要

為了研究描述邏輯及其擴展中的相容性問題和推理算法，本項目結合相關領域近年的研究熱點，分三個方面進行了深入地探討：第一，相容性度量方面，對一類特殊的模糊描述邏輯ALC中的不相容性度量進行了研究，給出了幾種不同的不相容性度量方法，並進行了比較；第二，推理算法方面，主要針對描述邏輯ALC的推理算法進行了研究；第三，套用方面，主要針對與描述邏輯擴展和推理緊密相關的領域，如粗糙集和模糊集理論等進行了討論。給出了模糊偏序集範疇與完備L－格範疇之間的關係；引入了格上粗糙理想的概念，並證明了全體粗糙理想構成了一個代數的有頂交結構；給出了代數domain和代數L-domain的一種較為簡單的信息系統表示。