第一部随识最 第一章演绎系统 第二章产生式系统 第三章框架结构 第四章语义网络 第五章过程性知识 o 2002 Hoare. All rights reserved
第一部分 知识表示 第一章 演绎系统 第二章 产生式系统 第三章 框架结构 第四章 语义网络 第五章 过程性知识
吕意生式系统 m21绪论 22产生式系统的基本特征 23产生式的知识元 24推理的方向 25框架问题 口26非确定性匹配 口27匹配冲突问题的解决 o 2002 Hoare. All rights reserved
第二章 产生式系统 2.1 绪论 2.2 产生式系统的基本特征 2.3 产生式的知识元 2.4 推理的方向 2.5 框架问题 2.6 非确定性匹配 2.7 匹配冲突问题的解决
么是产线 口谓词公式的蕴涵关系是产生式的特殊情况 ◆天下雨→地上湿 ◆甲到A地∧A地下雨∧甲未带雨具→甲淋湿 左面部分表示条件,右面部分表示结论。已知的事实可 以看作不需要条件的产生式 ◆→中国的首都是北京 产生式 ◆把一组产生式放在一起,让它们互相配合,协同 作用,一个产生式生成的结论可以供另一个产生式 作为前提使用,以这种方式求得问题的解决,这就 叫产生式系统 o 2002 Hoare. All rights reserved
什么是产生式 谓词公式的蕴涵关系是产生式的特殊情况 ◆天下雨 → 地上湿 ◆甲到A地 A地下雨 甲未带雨具 → 甲淋湿 左面部分表示条件，右面部分表示结论。已知的事实可 以看作不需要条件的产生式 ◆→ 中国的首都是北京 产生式 ◆把一组产生式放在一起，让它们互相配合，协同 作用，一个产生式生成的结论可以供另一个产生式 作为前提使用，以这种方式求得问题的解决，这就 叫产生式系统
奥的产生家统 口PosT 1943年首先在一种计算形式体系中提出 LL MARCOV ◆匹配算法 L CHOMSKY ◆重写规则,语言生成规则 L BACKUS ◆BNF,用于描写计算机语言的文法 60年代开始,成为专家系统的最基本的结构 ◆形式上很简单,但在一定意义上模仿了人类思考 的过程 o 2002 Hoare. All rights reserved
典型的产生式系统 POST ◆ 1943年首先在一种计算形式体系中提出 MARCOV ◆匹配算法 CHOMSKY ◆重写规则，语言生成规则 BACKUS ◆BNF，用于描写计算机语言的文法 60年代开始，成为专家系统的最基本的结构 ◆形式上很简单，但在一定意义上模仿了人类思考 的过程
户生家统的害组成 组成三要素 ◆综合数据基一知识元 既是产生式的基本元素,又是产生式作用的对象 组产生式规则—知 LHs,表示情况 RHs,表示动作 匹配算法 ◆一个解释程序——控制整个产生式系统的运行 规则左部与数据基的匹配 一解释执行规则右部的动作 一控制产生式系统的运行 一如何匹配,规则的匹配次序,匹配冲突的解决 o 2002 Hoare. All rights reserved
产生式系统的基本组成 组成三要素 ◆综合数据基——知识元 既是产生式的基本元素，又是产生式作用的对象 ◆一组产生式规则——知识 LHS，表示情况 RHS，表示动作 匹配算法 ◆一个解释程序——控制整个产生式系统的运行 规则左部与数据基的匹配 解释执行规则右部的动作 控制产生式系统的运行 如何匹配，规则的匹配次序，匹配冲突的解决