高级人工智能——第3讲逻辑、推理与知识.pptVIP

合肥工业大学人工智能与数据挖掘研究室 高级人工智能 逻辑、推理与知识 王浩 命题逻辑 什么是逻辑？简单地说，逻辑就是人们用以处理问题而抽象的一种思维规则或计算方法。 命题逻辑的关系表达直观、生动而简洁，它是一阶逻辑发展的前导和基础。把命题逻辑加以简单的形式化，就能扩展应用于一阶逻辑推理中。 命题逻辑 1. 命题和个体 设有如下符号命名的语句： ① X：爱因斯坦是一位伟人。 ② Y：海水是甜的。 ③ W：3+4=9 上述X、Y、Z都是陈述性语句，分别具有肯定(True)或否定(False)意义的真值，我们把它们都称之为命题。其中，诸如“爱因斯坦”，“海水”，数字“3”、“4”等，它们是命题中的行为中心对象，又称为个体。 命题逻辑 定义3.1 命题(Proposition)，即具有真(T)假(F)意义的陈述性语句。 命题逻辑 命题逻辑 2. 谓词及变元 命题逻辑 命题逻辑 命题逻辑 3. 谓词的元和谓词的阶 命题逻辑 命题逻辑 4. 命题与谓词逻辑的关系 一阶逻辑 命题或谓词逻辑推理演算，主要可利用连接词和量词，把单个的谓词组合成为谓词公式来完成。 基于命题和谓词逻辑可相互转换的特性，这里约定：对命题和谓词逻辑的相关公式表达、相关定理、定律的论证和推导等，不再加以严