小象學院知識圖譜筆記（二）

知識表示與知識建模 早期知識知識表示方法 一階謂詞邏輯（First-Order Logic） 產生式規則(Production Rule) 框架(Framework) 語義網絡(Semantic Network) Horn邏輯：一階謂詞邏輯的子集 表達形式簡單，複雜度低；著名的Prolog語言就是基於Horn邏輯設計實現的。 原子Atom P（t1,t2,...,tn） p是謂詞，n是目，ti是項

>>阅读原文<<