第三~讲——产生式及一阶谓词.pptVIP

第三讲 产生式表示法及应用; “产生式” 的概念由逻辑学家Post l943年提出，产生式表示法又称为产生式规则表示法，但由于缺乏控制策略，不适合开发实际的应用系统。 1972年，Newell和Simon在研究人类的认知模型中开发了基于规则的产生式系统。现在，已经发展成为人工智能系统中最典型的一种基本结构，是专家系统及其他应用人工智能系统中最自然的知识表示及推理的基本模型。;第一节 知识的表示方法;*;*;*;*;*;*;*;*;*;*;*;*;*;*;*;*;*;*;*;*;*;*;*;*;*;第四讲 基于逻辑的问题求解方法; 命题 取值为真或假(表示是否成立)的句子 谓词 带有变量(参数)的命题 谓词 p (x1，x2，…，xn) 一元谓词 谓词与一个个体的属性 blue ( desk ) 多元谓词 谓词与多个个体间的关系 TEACHER(x, y) 一阶谓词 xi 为常量、变元或函数 高阶谓词 xi 本身为一阶谓词;一、谓词逻辑的符号体系;连接词;量词;二、谓词逻辑的知识表示; 1 形式化的领域;2 非形式化的领域 ; 在人工智能中常用的是一阶谓词逻辑，因此本章介绍的内容主要针对一阶谓词逻辑。;三、谓词演算公式;第二节 逻辑推理;一、等价式;吸收律 P?(P?Q) ? P P?(P?Q) ? P 补余律 P?~P ? T P?~P ? F 逆否定律 P?Q ? ~Q? ~P P?Q ? ~P? Q 量词转换律 ~(?x)P(x) ? (?x)(~P(x)) ~(?x)P(x) ? (? x)(~P(x)) 量词分配律;p(a);二、自然演绎推理; 例 设已知如下事实： (1) 只要是需要编程序的课，王程都喜欢。 (2) 所有的程序设计语言课都是需要编程序的课 (3) C是一门程序设计语言课。 求证：王程喜欢C这门课。 证明：首先定义谓词 program (X) X是需要编程序的课。 like (X,Y) X喜欢Y。 language (X) X 是—门程序设计语言课。;把已知事实及待求解问题用谓词公式表示如下： program (X) ?like ( wang, X)、 (?X)( language (X)? program (X))、language (C) 应用推理规则进行推理： 全称例化 language (Y)? program (Y) 假言推理 language (C), language (Y)? program (Y) ? program (C) 假言推理 program (C), program (X)? like ( wang, X) ? like ( wang, C) 王程喜欢C这门课。;二、归结(消解)原理简介; 已知两子句 C1=P ? C?1 和 C2= ~P ? C?2 ， C?1不等于C?2，其中一个所含的 ~P，刚好是另一个子句中P 的否定，根据这两个子句，推出一个新子句，即 R(C1, C2)= C?1 ? C?2 ， 称作这两个子句的归结式。 P、~P为互补对。 实现归结推理的关键步骤是置换合一与寻求子句集中的互补对。;归结式 ?;自动归结证明的过程：;WFF化为子句的基本步骤 ; 消去存在量词，形成对应的S范式标准式 (?X) [p(X) ? q (g(X))] W=g(X) 利用分配律，把母式化成析取式的合取式。 p(X) ? (q(X) ? r(X)) ? (p(X) ? q(X)) ? (p(X) ? r(X)) 以逗号替代所有的? ，形成子句集;例 已知每个使用Internet的人都想从网络获得信息，证明如网络没有信息就不会有人使用Internet。; 条件：W= (?x)[ (?y)(U(x, y)∧I(y))→(?u)(F(u)∧E(x, u))] 变换为子句集。; (4) 把母式化成合取范式 {[~U(x, y)∨~I(y)]∨[F(f(x))∧E(x, f(x))]} =[~U(x, y)∨~ I(y)∨(F(f(x))] ∧[ ~U(x, y)∨~ I(y)∨E(x, f(x)) ] (5)以逗号替代所有的∧(消去