模糊描述邏輯L-SI 語義及推理的研究.pdf

1、描述邏輯（DLs）是一個族為人們所熟知的知識表示形式系統(tǒng)。它們形成的基礎是概念（一元謂詞或類）和角色（二元謂詞），且主要由一此構造復雜概念的算子刻劃其特征。通過定義與應用域相關的概念及它們之間的關系（即術語公理Tbor）且用這些概念界定出現在域中的個體的特征（Abor）來表示應有域的知識。對于大量的描述邏輯系統(tǒng)而言，都應該有一個適用于典型推理問題（如概念之間的包含問題和Abor的一致性問題）的可靠和完全的推理算法。 目前，經典描

2、述邏輯理論的發(fā)展非常訊速且日趨完善，然而關于非確定性信息青示系統(tǒng)的研究工作卻相對較少.為了使描述邏輯能夠處理更一般化的模糊信息，Straccia給出了基于完備格的L-ALC描述邏輯系統(tǒng)，而為了使它能更好地表示多媒體知識，Stoilos等人提出了模糊描述邏輯系統(tǒng)f-SI在表示一些信息的進候，我們需要構建比較復雜的概念，傳遞角色與逆角色在這方面起到重要作；而且它們在概念數據模型的推理體系中也至關重要。因此，本文將兩者進行有機的結合，作了一個

3、新的基于完備格上的模糊描述邏輯系統(tǒng)L-SI，詳細討論了其語法，語義且給出了關于知識庫可滿足性的基于約束傳播的推理算法及其可靠性和完全性的證明.相對于L-ALC與f-SI，本文提出的系統(tǒng)具有更強的表達能力且能保持Pspace的計算復雜度。主要內容安排如下： 引言，介紹與本文內容相關的歷史背景和現狀. 第一章，回顧本文的擴充基礎描述邏輯SI的基本知識。 第二章，討論的主要問題是基于完備格上的模糊描述邏輯系統(tǒng)L-SI和