人工智能逻辑 课件 第3 章谓词逻辑.pptx

第3章谓词逻辑;3.1命题逻辑的局限性;实例1：传递关系推理;为什么直观有效？;实例2：全称量化推理;改进的表示;3.2谓词逻辑语言的组成;项的定义;公式的递归定义;公式示例;量词的辖域;自由出现与约束出现;变元出现示例;句子的定义;自然语言形式化步骤;形式化实例1;形式化实例2;形式化练习;3.3.1模型与真值条件;模型的定义;指派函数;项的解释;赋值函数;量词的真值条件;存在量词示例;模型的图示表示;模型图示;练习20;3.3.2重要事实;句子的真值独立性;替换事实;事实9证明框架;可自由替换;练习21;一般化的替换定理;普遍有效性;论证模式的有效性;演绎定理;证明有效性示例1;