知識圖譜趙軍學習筆記（二）--知識表示

經典知識表示理論 邏輯 從簡單到複雜分爲： 命題邏輯： 具備最簡單的語法，定義了具備真假值的原子命題，經過與、或、非、蘊含、當且僅當等將多個原子命題組合成複合命題，而推理過程則根據邏輯鏈接詞的真值表進行推導 一階謂詞邏輯（一階邏輯）： 在命題邏輯基礎上引入了全稱量詞和存在量詞，使得一階邏輯能夠量化實體和概念 高階邏輯： 量化謂詞或集合 二階量化集合 三階量化集合的集合 謂詞邏輯web 優勢 謂詞邏

>>阅读原文<<