人工智能原理课程复习：（12）一阶逻辑

表示语言

若要用命题逻辑表示部分或全部对象，则需要枚举所有的对象

语法和语义

我们需要定义一个“解释”，将常量，谓词，函词解释为对象，关系，函数

解释可以理解为映射，即将常量，谓词，函词映射到对应的对象，关系，函数上

有了解释之后就可以判断语句α在所定义的世界的真值

项，原子语句，复合语句

一般而言，任意一般与蕴含进行搭配，存在一般与合取进行搭配

对于量词的嵌套，只有任意任意，存在存在可以交换顺序，存在任意是无法交换顺序的

等词用于表示两个项指代同一个对象

上述答案为 存在x,y,Richard(x)  Richard(y) 

上述图指的是只有两个

数据库语义

标准的一阶逻辑语义比自然语言表述要累赘很多，在把知识翻译为一阶逻辑时直观上也很容易出错。我们如何设计一种语义使得逻辑表达更加直接呢？我们就可以使用数据库语义

小结

• 一阶逻辑的模型包含一个非空对象集合和一个解释。解释将常量符号映射到对象、谓词符号映射到对象之间的关系、函词映射到对象上的函数。
• 量词与逻辑链接词的对应关系
• 量词的对偶性
• 等词表示两个项指代同一个对象
• 数据库语义：关键字假设，论域闭包，封闭世界假设