产生式系统优秀课件.ppt
《产生式系统优秀课件.ppt》由会员分享,可在线阅读,更多相关《产生式系统优秀课件.ppt(35页珍藏版)》请在得力文库 - 分享文档赚钱的网站上搜索。
1、产生式系统第1页,本讲稿共35页一、产生式规则产生式用于表示具有因果关系的知识基本形式:P Q或者 IF P THEN Q P 是产生式的前提(前件),用于指出该产生式是否可用的条件Q 是一组结论或操作(后件),用于指出当前提 P 所指示的条件满足时,应该得出的结论或应该执行的操作2第2页,本讲稿共35页产生式规则的语义:如果前提 P 被满足,则可推出结论 Q 或执行 Q 所规定的操作例:R:IF 动物会飞 AND 会下蛋 THEN 该动物是鸟3第3页,本讲稿共35页二、产生式系统组成三要素:1、一个综合数据库存放问题求解过程中当前信息的数据结构2、一组产生式规则 描述相应领域内的知识3、一个
2、控制系统 选择规则库中与当前综合数据库相匹配的规则并执行,必要时进行冲突消解4第4页,本讲稿共35页产生式规则库综合数据库控制系统产生式系统的基本结构5第5页,本讲稿共35页1.规则库用于描述相应领域内知识的产生式集合称为规则库1.有效的表达领域内的过程性的知识2.对知识进行合理的组织和管理2.综合数据库用于存放问题求解过程中各种当前信息的数据结构3.推理机(控制系统)6第6页,本讲稿共35页控制策略与常用算法P127-1301.正向推理1)将初始事实/数据置入动态数据库;2)用动态数据库中的事实/数据,匹配/测试目标条件,若目标条件满足,则推理成功,结束。3)用规则库中各规则的前提匹配动态数
3、据库中的事实/数据,将匹配成功的规则组成待用规则集;4)若待用规则集为空,则运行失败,退出。5)将待用规则集中个规则的结论加入动态数据库,或者执行其动作,转入2;7第7页,本讲稿共35页2.反向推理1)将初始事实/数据置入动态数据库,将目标条件置入目标链;2)若目标链为空,则推理成功,结束。3)取出目标链中的第一个目标,用动态数据库中的事实/数据同其匹配,若匹配成功,转步2;4)用规则集中的各规则的结论同该目标匹配,若匹配成功,则将第一个匹配成功且未用过的规则的前提作为新的目标,并取代原来的父目标而加入目标链,转步3;5)若该目标是初始目标,则推理失败,退出。6)将该目标的父目标移回目标链,取
4、代该目标及其兄弟目标,转步3;8第8页,本讲稿共35页一个简单的例子问题:设字符转换规则ABCACDBCGBEFDE已知:A,B求:F9第9页,本讲稿共35页一个简单的例子(续1)一、综合数据库x,其中x为字符二、规则集 1,IF AB THEN C2,IF AC THEN D3,IF BC THEN G4,IF BE THEN F5,IF D THEN E10第10页,本讲稿共35页一个简单的例子(续2)三、控制策略顺序排队四、初始条件A,B五、结束条件Fx11第11页,本讲稿共35页一个简单的例子(续3)综合数据库可触发规则被触发规则A,B(1)(1)A,B,C(2)(3)(2)A,B,C
5、,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,F1,IF AB THEN C 2,IF AC THEN D3,IF BC THEN G 4,IF BE THEN F5,IF D THEN E求解过程12第12页,本讲稿共35页例:传教士与野人问题(M-C问题)问题:N个传教士,N个野人,一条船,可同时乘坐 k 个人,要求在任何时刻,在河的两岸及船上,传教士人数不能少于野人的人数。问:如何过河。以N=3,k=2为例求解。13第13页,本讲稿共35页M-C问题(续1)L R L R m 3 0 m 0 3 c 3 0 c 0 3 B
6、1 0 B 0 1L 左岸 R 右岸 B 1(有船)、0(无船)14第14页,本讲稿共35页M-C问题(续2)1,综合数据库 (m,c,b),其中:0m,c3,b 0,12,初始状态 (3,3,1)(简化,只描述左岸的情况即可)3,目标状态(结束状态)(0,0,0)15第15页,本讲稿共35页M-C问题(续3)4,规则集IF(m,c,1)THEN(m-1,c,0)IF(m,c,1)THEN(m,c-1,0)IF(m,c,1)THEN(m-1,c-1,0)IF(m,c,1)THEN(m-2,c,0)IF(m,c,1)THEN(m,c-2,0)16第16页,本讲稿共35页M-C问题(续4)IF(m
- 配套讲稿:
如PPT文件的首页显示word图标,表示该PPT已包含配套word讲稿。双击word图标可打开word文档。
- 特殊限制:
部分文档作品中含有的国旗、国徽等图片,仅作为作品整体效果示例展示,禁止商用。设计者仅对作品中独创性部分享有著作权。
- 关 键 词:
- 产生 系统 优秀 课件
限制150内