第6章逻表示及归结系统ppt课件.pptVIP

人工智能 华中科技大学水电与数字化工程学院 第6章 基于谓词逻辑的归结方法 一阶谓词逻辑概述 归结原理 归结反演系统 基于归结法的问题求解 1 一阶谓词逻辑概述 定义：逻辑学是研究人类思维活动规律的科学. 方法：利用数学（符号化、公理化、形式化）的方法来研究这些规律. 作用：是表达人类思维和推理的最精确和成功的方法，成为 AI 的重要基础. 表现方式和人类自然语言非常接近 便于计算机做精确处理 分类：经典逻辑和非经典逻辑两大类，经典逻辑中命题逻辑和一阶谓词逻辑是基础. 1．1 命题概念 命题的定义：表示知识的陈述性形式或具有真假意义的陈述句. 例：A：张平是学生； B：树叶是绿色的； 命题的类型： 原子命题：表达单一意义、不能再分解. 如 P：天在下雨； Q: 天晴 复合命题：由连接词、标点和原子命题构成.如， P →~Q可表示：如果天在下雨则天不晴. 命题逻辑就是研究命题与命题之间关系的符号逻辑系统,包含语法、语义、演算等. 原子命题是命题逻辑中最基本的单元,不能对其进行分解,也不能对其结构进行分析. 引发的问题: 限制了它的使用; 为了突破这种束缚, 发展了谓词逻辑. 原子命题可分解; 以命题中的谓词为基础进行分析研究. 1.2 谓词概念 原子命题分解为谓词、个体2部分。 例： 1、3是质数， x是质数， F(x)； 2、王二生于武