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

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

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

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

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