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

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

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

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

【文章目錄】：
摘要
Abstract
引言
第1章 預(yù)備知識(shí)
    1.1 描述邏輯系統(tǒng)SI的語(yǔ)法
    1.2 描述邏輯系統(tǒng)SI的語(yǔ)義
    1.3 描述邏輯系統(tǒng)SI的推理實(shí)例
第2章 模糊描述邏輯系統(tǒng)L-SI
    2.1 模糊描述邏輯系統(tǒng)L-SI的語(yǔ)法
    2.2 模糊描述邏輯系統(tǒng)L-SI的語(yǔ)義
    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é)束語(yǔ)
參考文獻(xiàn)
攻讀碩士期間已發(fā)表的論文
致謝



本文編號(hào)：3153142