人工智能 2-3 产生式表示法.ppt

2）冲突解决 　　被触发的规则不一定总是启用规则。 因为可能同时有几条规则的条件部分被满足。 这就要在解决冲突中来解决这个问题。 在复杂的情况下，在数据库和规则的条件部分之间可能要进行近似匹配。 产生式系统的控制机制就是不断地挑选可触发/激活的规则对综合数据库进 行操作，直至得到解答（综合数据库内容增加了目标状态），或失败结束。 通常从选择规则到执行操作分3步： 匹配 2) 冲突解决 3) 操作 RULES FOR GAMES Rule1：该动物有奶→ 该动物为哺乳动物。 Rule2：该动物有奶∧有蹄→ 这种动物为有蹄动物(Sub-Class 哺乳动物)。 (1)专一性排序例 有奶 有蹄 （2）顺序排队 设字符转换规则为: A∧B→C A∧C→D B∧C→G B∧E→F D→E 已知：A，B 求：F 分析: 一、数据库 {x}，其中x为字符，初始数据{A，B} 二、规则集 三、控制策略 顺序排队----NO.由小到大 结束条件：F∈{x} 求解过程 数据库 触发规则 启用规则 A，B （1） （1） A，B，C （2）（3） （2） A，B，C，D （3）（5） （3） A，B，C，D，G （5） （5） A，B，C，D，G，E （4） （4） A，B，C，D，G，E，F 1，IF A∧B THEN C 2，IF A∧C THEN D 3，IF B∧C THEN G 4，IF B∧E THEN F 5，IF D THEN E 产生式系统的基本工作过程 （1）初始化综合数据库。 （2）检查规则库中是否存在尚未使用过的规则，若有则执行（3）；否则转（7）。 （3）选择可与综合数据库中已知事实相匹配的规则；如没有转（6）。 （4）执行并标记当前选中规则，把所得到的结论作为新事实放入综合数据库；如果该规则的结论是一些操作，则执行这些操作。 （5）检查综合数据库中是否包含了该问题的解，如是，问题求解结束；否则，转（2） （6）当规则库中没有与综合数据库中的已有事实相匹配的规则时，要求用户进一步提供关于该问题的已知事实，若能提供，则转（2）；否则，说明该问题无解，终止问题求解过程。 （7）若知识库中不再有未使用规则，也说明该问题无解，终止问题求解过程。 P? Execute /MarkP New Data Solution? initial Data END N N P Map D? Y N New D? N D – Data P -- Production Homework-1　传教士与野人问题 有N个传教士和N个野人要过河。根据以下约束条件,设计合法的过河产生式规则库(集合): 现在有一条船只能承载K个人（包括野人和传教士）, KN。 在任何时刻，如果有野人和传教士在一起（包括岸上与船上），必须要求传教士的人数多于或等于野人的人数。 传教士和野人都可以撑船过河 提示1: 综合数据库数据结构: （ m ， c ，b） 变量m: 传教士在左岸的实际人数 变量c：野人在左岸的实际人数 变量b: 指示船是否在左岸（值1指示船在左岸，否则为0） 根据以上数据结构,过河问题的两个状态为: 初始状态: （N，N，1） 目标状态: （0，0，0） 提示2: 划船操作 L(Sm,Sc):从左岸到右岸的划船操作 R(Sm,Sc):从右岸回到左岸的划船操作 Sm: 船上传教士的实际人数 Sc: 船上野人的实际人数 * 11 例 ( 1 ) 动物分类规则 如果 某种动物是哺乳动物，并且吃肉，那么 这种动物被称为食肉动物。 P1： 该动物是哺乳 P2：该动物吃肉 R：该动物是食肉动物 2.3.1 产生式基本概念 疾病诊断规则 如果病人出现如打喷嚏，咳嗽等症状 ，则 该病人感冒了。 　　　　　　P1 打喷嚏 　　　　　　P2 咳嗽 　　 　　　　　 R： 该病人感冒 (3) 文法分析 　　 语言学的一个重要问题就是判定一个符号序列是否合句法，称为文法分析。 　　　S, N, NP, P, PP, V, VP, DET S/句