人智導（十八）：知識表示與自動推理（Ⅰ）

人智導（十八）：知識表示與自動推理（Ⅰ） 基於一階謂詞邏輯的知識表示 一階謂詞邏輯(FOL) 亦稱爲一階謂詞演算 first-order predicate calculus 更強的表達能力 對象(object)：不同的對象通過其特徵屬性的不同而區分 關係(relation)：對象與對象間的關聯 函數：一種特例類型關係 一階謂詞邏輯的特點 對於數學及人工智能學科極爲重要的影響 對於客觀世界的概念化

>>阅读原文<<