模糊描述邏輯F-SHIQ公理體系及其推理機(jī)制的研究.pdf

1、計(jì)算機(jī)與Internet的快速發(fā)展，使得語(yǔ)義網(wǎng)和描述邏輯在人工智能等領(lǐng)域扮演著越來(lái)越重要的角色，基于語(yǔ)義網(wǎng)的知識(shí)獲取與知識(shí)推理應(yīng)用也在不斷增加。但在我們的日常生活中，越來(lái)越多不確定的、模糊的信息需要處理，這就需要有一套完整的理論聯(lián)系實(shí)際的模糊知識(shí)處理體系，來(lái)對(duì)模糊信息進(jìn)行準(zhǔn)確的表述與推理。本文以此目標(biāo)為研究方向，把模糊邏輯理論作為基礎(chǔ)，對(duì)現(xiàn)有的基于語(yǔ)義網(wǎng)的理論與技術(shù)進(jìn)行了深入的研究，重點(diǎn)關(guān)注了理論的完善和實(shí)踐的可應(yīng)用性兩個(gè)關(guān)鍵的問(wèn)題，所

2、取得的主要研究成果如下： （1）提出了對(duì)描述邏輯SHIQ的模糊擴(kuò)展，給出了一個(gè)可靠的公理體系：模糊描述邏輯公理體系F-SHIQ，將其作為知識(shí)表示與推理的理論基礎(chǔ)。以一個(gè)構(gòu)造公理系統(tǒng)的角度，將描述邏輯中必要的概念、關(guān)系、操作等都進(jìn)行了模糊擴(kuò)展，給出了相應(yīng)的定義，法則，公理和定理等，并對(duì)公理體系進(jìn)行了推導(dǎo)證明，以保證其可靠性。 （2）把F-SHIQ公理體系作為邏輯基礎(chǔ)，擴(kuò)展了現(xiàn)有的本體描述語(yǔ)言O(shè)WLDL，提出了基于模糊描述邏

3、輯的規(guī)則語(yǔ)言FSRL。使得知識(shí)表述語(yǔ)言在類、屬性、個(gè)體、操作等方面同樣具有了表達(dá)和處理模糊信息的能力。并為后面的模糊推理機(jī)提供了必要的知識(shí)表示形式基礎(chǔ)，推理機(jī)中的知識(shí)和規(guī)則都可以以此形式進(jìn)行存儲(chǔ)應(yīng)用。 （3）提出了使用本體和語(yǔ)義規(guī)則來(lái)對(duì)模糊公理體系的法則，定理等進(jìn)行存儲(chǔ)的存儲(chǔ)模型。利用本體是個(gè)語(yǔ)義知識(shí)庫(kù)的特點(diǎn)，把公理體系分解為最基本的概念類和概念關(guān)系，并利用語(yǔ)義規(guī)則進(jìn)行必要的關(guān)聯(lián)。這樣既高效的實(shí)現(xiàn)了對(duì)法則定理等的全面存儲(chǔ)，又消除

4、了存儲(chǔ)的冗余。 （4）以F-SHIQ為邏輯基礎(chǔ)，以FSRL為知識(shí)表示與存儲(chǔ)形式，給出了一個(gè)能夠推理模糊知識(shí)的實(shí)用型模糊推理機(jī)FSRLReasoner。對(duì)以知識(shí)基形式存在的模糊問(wèn)題，解析后利用規(guī)則進(jìn)行模糊推理，給出相應(yīng)的結(jié)果，最后還通過(guò)一個(gè)知識(shí)基推理的實(shí)驗(yàn)，對(duì)本推理機(jī)的能力進(jìn)行了必要的檢驗(yàn)。 本文的研究工作，將模糊邏輯引入擴(kuò)展到了語(yǔ)義網(wǎng)的知識(shí)表述與推理中，增強(qiáng)了處理模糊信息的能力，提供了一整套的模糊信息處理體系，對(duì)今后各學(xué)