描述邏輯（DLs）是一族為人們所熟知的知識表示形式系統(tǒng)．它們形成的基礎(chǔ)是概念（一元謂詞或類）和角色（二元謂詞），且主要由一此構(gòu)造復(fù)雜概念的算子刻劃其特征。通過定義與應(yīng)用域相關(guān)的概念及它們之間的關(guān)系（即術(shù)語公理Tbox）且用這些概念界定出現(xiàn)在域中的個體的特征（Abox）來表示應(yīng)用域的知識。對于大量的描述邏輯系統(tǒng)而言，都應(yīng)該有一個適用于典型推理問題（如概念之間的包含問題和Abox的一致性問題）的可靠和完全的推理算法。目前，經(jīng)典描述邏輯理論的發(fā)展非常迅速且日趨完善，然而關(guān)于非確定性信息表示系統(tǒng)的研究工作卻相對較少。為了使描述邏輯能夠處理更一般化的模糊信息，Straccia給出了基于完備格的L-ALC描述邏輯系統(tǒng)；而為了使它能更好地表示多媒體知識，Stoilos等人提出了模糊描述邏輯系統(tǒng)f-SI。在表示一些信息的時候，我們需要構(gòu)建比較復(fù)雜的概念，傳遞角色與逆角色在這方面起到了重要作用；而且它們在概念數(shù)據(jù)模型的推理體系中也至關(guān)重要。因此，本文將兩者進(jìn)行有機(jī)的結(jié)合，作了一個新的基于完備格上的模糊描述邏輯系統(tǒng)L-SI，詳細(xì)討論了其語法、語義且給出了關(guān)于知識庫可滿足性的基于約束傳播的推理算法及其可靠性... 

【文章來源】：廣西師范大學(xué)廣西壯族自治區(qū)

【文章頁數(shù)】：38 頁

【學(xué)位級別】：碩士

【文章目錄】：
摘要
Abstract
引言
第1章 預(yù)備知識
    1.1 描述邏輯系統(tǒng)SI的語法
    1.2 描述邏輯系統(tǒng)SI的語義
    1.3 描述邏輯系統(tǒng)SI的推理實(shí)例
第2章 模糊描述邏輯系統(tǒng)L-SI
    2.1 模糊描述邏輯系統(tǒng)L-SI的語法
    2.2 模糊描述邏輯系統(tǒng)L-SI的語義
    2.3 模糊描述邏輯系統(tǒng)L-SI的性質(zhì)特征
    2.4 模糊描述邏輯系統(tǒng)L-SI的模糊表
    2.5 模糊描述邏輯系統(tǒng)L-SI的推理算法
第3章 算法的終止性、可靠性、完全性及計(jì)算復(fù)雜度
    3.1 算法的終止性
    3.2 算法的可靠性
    3.3 算法的完全性
第4章 結(jié)束語
參考文獻(xiàn)
攻讀碩士期間已發(fā)表的論文
致謝



本文編號：3153142