基于Vague集的模糊描述邏輯公理體系及其推理機制的研究.pdf

1、因特網(wǎng)和計算機的迅猛發(fā)展使得語義網(wǎng)正受到越來越廣泛的重視。其通過實現(xiàn)文檔語義與文檔結(jié)構(gòu)的分離，達到文檔具有機器可處理的語義，從而解決傳統(tǒng)Web無法解決的一些問題。在語義網(wǎng)環(huán)境下，數(shù)據(jù)不僅能被顯示，而且可以被機器自動處理、集成和重用。
　　當(dāng)前語義網(wǎng)應(yīng)用需要處理大量的模糊信息，而作為語義網(wǎng)邏輯基礎(chǔ)的經(jīng)典描述邏輯在模糊知識的表示和推理上存在不足，故需對描述邏輯進行模糊擴展?，F(xiàn)有的描述邏輯模糊擴展還不完善，不能表示同時包含支持與反對的模

2、糊知識，但這類復(fù)雜模糊知識卻在相當(dāng)多的實際應(yīng)用中起著重要作用。為此提出一種新的基于Vague集的描述邏輯模糊擴展，通過對描述邏輯中的隸屬度以區(qū)間值表示，來支持復(fù)雜模糊知識描述。本文通過將Vague集理論引入到描述邏輯中，并建立了完善的公理體系，以及通過系統(tǒng)演示對該體系的檢驗，所做的主要工作如下：
　?、偬岢隽藢γ枋鲞壿婣LC(Attributive concept description Language with Complem

3、ents)的Vague擴展，建立了公理體系V-ALC，并以此作為后續(xù)知識表示與推理的理論基礎(chǔ)。將描述邏輯里的概念、關(guān)系等重要元素都進行了擴展，并給出相應(yīng)的定義、準(zhǔn)則、公理以及定理等。
　?、趯-ALC公理體系作為邏輯基礎(chǔ)，擴展了當(dāng)前的本體語言，提出了基于V-ALC的描述語言VARL(Vague ALC Rule Language)。使得該語言在操作上能夠處理具有Vague值的信息。從而為后續(xù)的推理機設(shè)計提供了知識表示基礎(chǔ)，推理機