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

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

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

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

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