知识图谱赵军学习笔记(二)--知识表示

经典知识表示理论 逻辑 从简单到复杂分为: 命题逻辑: 具备最简单的语法,定义了具备真假值的原子命题,经过与、或、非、蕴含、当且仅当等将多个原子命题组合成复合命题,而推理过程则根据逻辑链接词的真值表进行推导 一阶谓词逻辑(一阶逻辑): 在命题逻辑基础上引入了全称量词和存在量词,使得一阶逻辑能够量化实体和概念 高阶逻辑: 量化谓词或集合 二阶量化集合 三阶量化集合的集合 谓词逻辑web 优势 谓词逻
相关文章
相关标签/搜索