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

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

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