基于描述邏輯的語(yǔ)義網(wǎng)模糊知識(shí)表示與推理研究.pdf

1、描述邏輯是當(dāng)前語(yǔ)義網(wǎng)表示知識(shí)和實(shí)現(xiàn)推理任務(wù)的邏輯基礎(chǔ)。眾多語(yǔ)義網(wǎng)應(yīng)用都要處理大量的模糊知識(shí),而經(jīng)典描述邏輯不適用于模糊知識(shí)的表示和推理,因此需對(duì)描述邏輯進(jìn)行模糊擴(kuò)展?，F(xiàn)有的描述邏輯模糊擴(kuò)展還不完善,不能支持涉及多個(gè)隸屬度以及隸屬度間比較等復(fù)雜模糊知識(shí)的表示與推理,而這類復(fù)雜模糊知識(shí)在很多實(shí)際應(yīng)用中都起著關(guān)鍵作用。為此提出一種新的描述邏輯模糊擴(kuò)展方法,通過對(duì)描述邏輯中的概念和關(guān)系標(biāo)注隸屬度值以支持涉及多個(gè)隸屬度的復(fù)雜模糊知識(shí)描述,得到的新

2、語(yǔ)言稱為擴(kuò)展模糊描述邏輯,然后在此基礎(chǔ)上進(jìn)一步引入對(duì)涉及隸屬度比較的復(fù)雜模糊知識(shí)的支持。擴(kuò)展模糊描述邏輯不僅擁有模糊描述邏輯的全部表達(dá)能力,而且能夠支持對(duì)涉及多個(gè)隸屬度以及隸屬度比較的復(fù)雜模糊知識(shí)的表示。給出擴(kuò)展模糊描述邏輯的基于表推演的推理算法,證明擴(kuò)展模糊描述邏輯基本推理問題是可判定的。優(yōu)化推理算法使其復(fù)雜性達(dá)到推理問題求解算法的復(fù)雜性下界,證明這些推理問題的復(fù)雜性都與經(jīng)典描述邏輯的相應(yīng)推理問題相同。擴(kuò)展模糊描述邏輯在增加復(fù)雜模糊知