謂詞邏輯推理中的Petri網(wǎng)應(yīng)用.pdf

1、邏輯推理是人工智能的基礎(chǔ)，而邏輯中的一階謂詞邏輯是使用較為廣泛的知識(shí)表示方法，因此研究一階謂詞邏輯的推理問題是一項(xiàng)很有意義的工作。在前人研究的基礎(chǔ)上，借助Petri網(wǎng)中的謂詞/變遷(Pr/T)網(wǎng)為一階謂詞邏輯推理尋找新的有效方法，為人工智能中一階謂詞邏輯推理的研究開辟一個(gè)新的思路是本文研究的出發(fā)點(diǎn)。本文研究的主要內(nèi)容包括以下幾個(gè)方面：
　　1）針對(duì)現(xiàn)有的建模方法不方便于計(jì)算機(jī)實(shí)現(xiàn)以及建模過程的不確定性和不唯一性，本文提出了一種對(duì)一

2、階謂詞公式直接建模的方法，只需將任意所給的一階謂詞公式化去量詞后就可對(duì)其直接建模，建模過程更加簡單明了，且克服了上述已有建模方法的不足。
　　2）提出了對(duì)一階謂詞公式的Pr/T網(wǎng)系統(tǒng)模型進(jìn)行化簡的方法，這樣可以在利用Pr/T網(wǎng)系統(tǒng)對(duì)一階謂詞邏輯進(jìn)行推理或有關(guān)的證明之前，盡早刪除對(duì)推導(dǎo)無用的變遷，加快推理或證明的過程。
　　3）提出了一種由一階謂詞公式直接構(gòu)造對(duì)應(yīng)關(guān)聯(lián)矩陣的方法，而省略了建立一階謂詞公式Pr/T網(wǎng)系統(tǒng)的過程。<

3、br>　　4）本文找到了兩個(gè)一階謂詞公式等價(jià)的一個(gè)充分條件以及一個(gè)能部分判定兩個(gè)一階謂詞公式等價(jià)性的算法。另外，對(duì)于一階謂詞公式的一個(gè)常見子類——無自由變?cè)獑瘟吭~的一階謂詞公式，提出了一個(gè)判定這種一階謂詞公式等價(jià)性的充分必要條件和判定算法。
　　5）提出了兩種用于一階謂詞邏輯推理的圖形方法：目標(biāo)制導(dǎo)的圖形推理法和變遷框圖形推理法。
　　6）借助Pr/T網(wǎng)系統(tǒng)的關(guān)聯(lián)矩陣，提出關(guān)聯(lián)矩陣初等變換法來實(shí)現(xiàn)一階謂詞邏輯推理。