第3章 产生式系统汇.ppt

* 基于规则的演绎系统 反向演绎系统 事实表示 合取式; 规则表示 L ? W 其中W为单文字，如果形为：L? W1 ?W2，则变换为：L? W1 和 L? W2 终止条件: 包含一个终止于事实节点的一致解图. * 基于规则的演绎系统 反向演绎的例子 事实: P ? L 规则: L?T?Q 目标: P?(Q?~S) P?(Q?~S) P Q?~S Q ~S L?T L T * 基于规则的演绎系统 双向演绎 起因: 正向演绎要求目标公式是文字的析取式，逆向演绎推理要求事实公式为文字的合取式，都有—定的局限性．为克服这些局限性，并充分发挥各自的长处．可进行双向演绎推理。 例子: 规则: S?(X?Y)?Z 终止条件 解图终止; 连接弧与非连接弧对应; 连接弧必须保证所有出发的枝都相接; 非连接弧节点只要保证有一枝相接; 一致; * (P?Q?Z) ? (X?Y) P?Q?Z X?Y X Y P?Q Z P Q ((P?Q)?R)) ? (S?(T?U)) (P?Q)?R) S?(T?U) (P?Q)?R) R P Q (T?U) S S Z X?Y X Y (1) (1) (2) (2) (3) (3) (4) (4) * 作业 程序设计，用产生式系统求解下列问题： 设有N(本次设计控制在1-9之间，下同)个传教士和N个野人同在河的左岸，他们都要到对岸去；河里只有一条船，他们都会划船，但每次渡船至多只能乘N人；如果在任何一边河岸上，野人的数量超过传教士，野人就要吃掉传教士。问怎样才能用船将N个传教士和N个野人从左岸都渡到右岸，又不会发生传教士被吃的事件呢？ * 两类特殊的产生式系统 可交换产生式系统 如果一个产生式系统对任意数据库都满足如下条件，则称这个产生式系统是可交换的: 令R是可作用于数据库D的规则集，ri ∈R，作用于D产生D’，则R中的任一条规则均可作用于D’。 如果D满足目标条件，那么可作用于D上的任一条规则，作用于D后产生D’，也满足目标条件。 令R是可作用于数据库D的规则集，对数据库D’来说，使用规则ri ∈R的顺序不影响从D 到D’。 * 两类特殊的产生式系统 可交换产生式系统 特点 可交换产生式系统可以采用不可撤回的搜索策略; 但相反不成立。 效率高; 纯粹的可交换产生式系统一般不存在，但一个系统的局部可能满足这个条件; * 两类特殊的产生式系统 可分解产生式系统 如果一个系统可将其数据库分为几个子数据库，并通过规则作用于子数据库，而达到目标，这个系统称为可分解产生式系统。 全局数据库 子数据库1 子数据库2 子数据库3 规则集合 * 两类特殊的产生式系统 可分解产生式系统 例子: 初始数据库：（C, B, Z） 目标数据库：（M, M,……M） 规则： R1: C → (D, L) R2: C → (B, M) R3: B → (M, M) R4: Z → (B, B, M) C (B, M) B M R2 (M, M) B R3 (M, M) R3 Z (B,B,M) B M R4 (M, M) R3 (M, M) R3 B (C, B, Z) * 两类特殊的产生式系统 可分解产生式系统 SPLIT算法： 1．DATA←初始数据库； 2．{Di}←DATA的分解表示。每个Di为一个子数据库； 3．直到所有Di满足结束条件。 3.1 从{Di}中选择不满足结束条件的数据库D*; 3.2 从{Di}中删除D*; 3.3 选择一条可作用于D*的规则R; 3.4 D←R作用于D*所产生的结果; 3.5 {di}←D的分解表示; 3.6 将{di}加入{Di}中; * 两类特殊的产生式系统 可分解产生式系统 SPLIT算法： 规则： R1: C → (D, L) R2: C → (B, M) R3: B → (M, M) R4: Z → (B, B, M) * 两类特殊的产生式系统 可分解产生式系统 注意： 关键在于如何用控制策略选择规则; 如果一个问题使用这个算法，可以终止，则这个问题是可分解的，否则是不可分解的； 具体来说，数据库如何分解，是领域相关的。 分解的一个好处是可用分布式系统求解。 * 两类特殊的产生式系统 应用 Slagle, 1963, 符号积分程序SAINT 产生式求解系统 输入: 不定积分题目 输出: 积分结果 例子: ?xsin3xdx 1/9(sin3x) – 1/3(xcos3x) 软件： Mathematica, Maple, Matlab James Robert Slagle * 两类特殊的产生式系统 应用 产生式规则集: 分部积分规则: ?udv ? u?dv - v?du 和式分解规则: ?(f(x)+g