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

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

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

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

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