圖1 命題邏輯與謂詞邏輯

?

1. 命題

具有真假意義的語句。無法表達結構和邏輯關系。

?

2. 謂詞

謂詞=謂詞名+個體。謂詞名：刻畫個體的性質、狀態、關系。大寫字母表示。個體：獨立存在的事物或抽象的概念。小寫字母表示，可為常量、變元、函數。個體數目稱為謂詞的元。

?

3. 謂詞公式

將命題用連接詞連接。

1) 連接詞：否定、合取、析取、條件、雙條件。連接詞的優先級別：、、、、

2) 量詞

全稱量詞：對個體域中所有個體

存在量詞：個體域中存在

?

4. 定義

設P與Q是兩個謂詞公式，D是他們共同的個體域，若對D上的任何一個解釋，P與Q都有相同的真假，則稱公式P和Q在D上是等價的。記作。

1) 交換律：，

2) 結合律：，

3) 分配律：，

4) 德摩根律：，

5) 雙重否定律：

6) 吸收律：，

7) 補余律：，

8) 連接詞化歸律：，，

9) 量詞轉換律：，

10) 量詞分配律：，

?

對于謂詞公式P和Q，如果永真，則稱P永真蘊含Q，且稱Q為P的邏輯結論，稱P為Q的前提，記作

1) 化簡式：，

2) 附加式：，

3) 析取三段論：

4) 假言推理：

5) 拒取式：

6) 假言三段論：

7) 二難推論：

8) 全稱固化：

9) 存在固化：

?

參考文獻：

[1] 王永慶. 人工智能原理與方法. 西安: 西安交通大學出版社

[2] 尹朝慶. 人工智能方法與應用. 武漢: 華中科技大學出版社, 2007.

轉載于:https://www.cnblogs.com/6DAN_HUST/archive/2010/06/10/1755395.html

總結

以上是生活随笔為你收集整理的人工智能——命题逻辑与谓词逻辑的全部內容，希望文章能夠幫你解決所遇到的問題。

如果覺得生活随笔網站內容還不錯，歡迎將生活随笔推薦給好友。