人工智能——一階謂詞表示法

謂詞邏輯適合於表示事務的狀態、屬性、概念等事實性的知識，事務間確定的因果關係。 首先確定謂詞，然後用連詞連接。 例1 自然數都是大於零的整數 所有整數不是偶數就是奇數 偶數除以2是整數   1. 謂詞定義 自然數：   大於零：   整數： 偶數：      奇數：        除以2：   2. 連詞連接表示  例2 設在房間c處有一機器人，在a及b處各有一張桌子，a桌上有一個盒子，爲了讓機器

>>阅读原文<<