【知识图谱 赵军 学习笔记】第二章 知识表示

经典知识表示理论

逻辑

分为 命题逻辑、一阶谓词逻辑、高阶谓词逻辑

• 命题逻辑具有最简单的语法，定义了具有真假的原子命题，并可以通过与（$\cap$）、或（$\cup$）、非（$\neg$）、蕴含（$\Rightarrow$）、当且仅当（$\iff$）等逻辑连接符将多个原子命题合成复合命题，推理过程就根据逻辑连接词的真值进行自动推导。
• 一阶谓词逻辑：其在命题逻辑的基础上引入了全称量词（$\forall$）和存在量词（$\exists$）。一阶谓词逻辑的基本语法元素是表示对象、关系和函数的符号，其中对象对应常量符号，关系对应谓词符号，函数对应函词符号。对象是指一些事物的个体或者类别；关系或谓词是指一种映射；函词是指代表全函数的一种