基于FOL的P2P Reasoning系統(tǒng)的研究與實現(xiàn).pdf

1、隨著當前計算機應(yīng)用的持續(xù)發(fā)展和快速變化，以及經(jīng)濟的飛速發(fā)展，P2P技術(shù)快速應(yīng)用到各個領(lǐng)域，對P2P技術(shù)的研究有著重要的科學意義和廣闊的應(yīng)用前景，而將P2P技術(shù)應(yīng)用到人工智能推理方面的研究是最近國外新發(fā)展起來的一個新研究領(lǐng)域。一階謂詞邏輯在計算機科學中有著廣泛的應(yīng)用，它不僅是程序設(shè)計、程序邏輯研究的重要基礎(chǔ)，而且還是定理機器證明、機器推理和知識表示的有力工具。本文將在這一背景下，并在國外對P2P推理系統(tǒng)的研究基礎(chǔ)上，進一步研究實現(xiàn)了一階謂

2、詞邏輯推理與P2P技術(shù)的結(jié)合。
　　 本文提出了基于一階謂詞邏輯的P2P推理系統(tǒng)這一概念，并提出了在這個系統(tǒng)中進行查找問題的算法——FOL-DECA算法。本文還給出了FOL-DECA算法的可計算性和時空復雜性的分析，最后本文還設(shè)計實現(xiàn)了這一算法。
　　 在文中，首先給出了基于一階謂詞邏輯的P2P推理系統(tǒng)這一概念，提出的主要原因是一階謂詞邏輯比命題邏輯有這更強的描述能力和推理能力。然后用一個簡單的例子展示了一階邏輯下的P2

3、P推理系統(tǒng)的查找問題推理過程。本文針對查找問題的推理過程，給出了實現(xiàn)整個查找推理的一種基于消息傳遞算法的描述，并分析了算法的可計算性和時空復雜性。最后介紹了這種一階謂詞邏輯下的查找問題推理算法的設(shè)計和實現(xiàn)。算法實現(xiàn)采用一階謂詞邏輯公式化表示了實際事物類別的關(guān)系，并將這些公式作為結(jié)點的知識庫理論，然后根據(jù)一階謂詞邏輯的歸結(jié)推理方法實現(xiàn)了每個結(jié)點的推理機。將這種推理延伸，應(yīng)用到P2P技術(shù)中，以消息形式在系統(tǒng)各個結(jié)點間傳遞信息，最后得到查詢結(jié)

4、果。在這種基于消息傳遞的分布式結(jié)論查找算法下，由用戶給定一個查詢條件，通過一階謂詞邏輯的歸結(jié)推理和相應(yīng)消息在整個系統(tǒng)結(jié)點上的合理傳遞，從而得到整個系統(tǒng)中滿足條件的所有結(jié)論。而這個結(jié)論與在由一個結(jié)點保存所有知識(全局知識)的系統(tǒng)中推理得到的結(jié)論相同。
　　 用戶使用本系統(tǒng)，不僅能得到整個系統(tǒng)數(shù)據(jù)中直接存儲的符合條件的信息，更重要的是還能通過推理，得到數(shù)據(jù)中沒有直接存儲但是在邏輯關(guān)系上的符合條件的信息。并且這些信息是分散在整個網(wǎng)絡(luò)中