基于謂詞邏輯的知識表示和知識推理及在Prolog中的實(shí)現(xiàn).pdf

1、數(shù)理邏輯和計算機(jī)的關(guān)系非常密切，它的研究方法和研究成果在計算機(jī)科學(xué)各領(lǐng)域都有廣泛的應(yīng)用。一階謂詞邏輯，是數(shù)理邏輯的基礎(chǔ)部分，由于它使用的是一種高度形式化的符號語言，不僅能夠精確地表達(dá)人類思維和推理的形式結(jié)構(gòu)，而且也能有效地存儲到計算機(jī)中進(jìn)行處理，因而成為人工智能研究的主要形式化工具。
　　知識表示和知識推理是人工智能研究的基本技術(shù)。謂詞邏輯知識表示法是各種智能系統(tǒng)中最基本的知識表示方式，利用一階謂詞邏輯的形式語言可描敘多個復(fù)雜領(lǐng)域

2、的知識。謂詞邏輯下的歸結(jié)原理是機(jī)器推理或自動推理的主要方法，可實(shí)現(xiàn)定理的自動證明和問題的求解，是一種可在計算機(jī)上實(shí)現(xiàn)的邏輯推理算法。此外，一階謂詞邏輯下的Horn邏輯是人工智能程序語言Prolog的理論基礎(chǔ)，利用Prolog在計算機(jī)上可實(shí)現(xiàn)機(jī)械化，從而使自動化求解問題和定理證明具備可行性。
　　本文從一階謂詞邏輯的理論基礎(chǔ)和謂詞演算邏輯程序Prolog的基本原理出發(fā)，使用一階謂詞邏輯的形式語言討論了自然語言的形式描述、數(shù)學(xué)知識的形