基于描述邏輯的P2P推理系統(tǒng)研究與實(shí)現(xiàn).pdf

1、隨著互聯(lián)網(wǎng)的迅猛發(fā)展，網(wǎng)絡(luò)信息和資源不斷海量增長。如何幫助用戶快速準(zhǔn)確地獲取所需的信息和資源，成為互聯(lián)網(wǎng)應(yīng)用的一個極其重要的研究主題。當(dāng)前的主流搜索技術(shù)多利用文檔的關(guān)鍵字、內(nèi)容或結(jié)構(gòu)方面的信息，缺乏在語義層次的深入挖掘，因而搜索結(jié)果難免不如人意。
　　 語義網(wǎng)的興起和P2P推理技術(shù)的出現(xiàn)為網(wǎng)絡(luò)資源搜索提供了新的發(fā)展方向。描述邏輯作為語義網(wǎng)的知識表示工具，能對網(wǎng)絡(luò)資源進(jìn)行豐富的語義描述。P2P推理技術(shù)能夠?qū)崿F(xiàn)在基于某種邏輯的P2P

2、知識庫網(wǎng)絡(luò)中獲取語義相關(guān)的信息和資源。將P2P推理與描述邏輯相結(jié)合，可以實(shí)現(xiàn)網(wǎng)絡(luò)資源搜索的語義化與智能化，提高搜索結(jié)果的準(zhǔn)確性和豐富性。
　　 但是目前的P2P推理研究主要集中于命題邏輯和一階邏輯，還沒有適用于描述邏輯的P2P推理算法發(fā)表，并且目前的P2P推理研究主要關(guān)注結(jié)果查找問題，在系統(tǒng)維護(hù)機(jī)制和通信協(xié)議等方面的研究甚少。這些不足都限制了P2P推理技術(shù)應(yīng)用于語義網(wǎng)上的資源搜索。
　　 本文致力于研究一個適用于描述邏輯

3、的P2P推理算法，并完善P2P推理系統(tǒng)的系統(tǒng)維護(hù)機(jī)制、消息體系和通信協(xié)議。
　　 本文首先對P2P推理和具有語義特征的P2P系統(tǒng)的國內(nèi)外相關(guān)研究進(jìn)行了綜述，對描述邏輯的相關(guān)概念和技術(shù)進(jìn)行了介紹。在此基礎(chǔ)上，論文對基于描述邏輯的P2P推理系統(tǒng)的分布式推理算法、系統(tǒng)維護(hù)機(jī)制、消息體系和通信協(xié)議進(jìn)行深入研究，取得了若干研究成果：
　　 1.借鑒當(dāng)前被廣泛引用的基于命題邏輯的P2P推理算法DECA的消息傳遞思想，結(jié)合問題定義，提

4、出了一個適用于描述邏輯的P2P推理算法：DL-DECA，并給出了算法的正確性、完備性和可判定性證明。根據(jù)描述邏輯的特點(diǎn)，DL-DECA算法還對DECA算法的推理消息內(nèi)容進(jìn)行優(yōu)化，使推理消息的空間復(fù)雜度從O(n)降到O(1)，從而使算法的空間性能得到一定提高。
　　 2.制定了基于描述邏輯的P2P推理系統(tǒng)的維護(hù)機(jī)制，增加了系統(tǒng)維護(hù)方面的一系列控制消息，完善了P2P推理系統(tǒng)的消息體系，并制定了一套應(yīng)用層的通信協(xié)議。
　　 3