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

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

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

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