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

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

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

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