基于产生式规则的推理.pptxVIP

基于产生式规则 的机器推理 小组成员: 雷晓艳 张丽芳 王瑞霞;主要内容;产生式规则的产生和发展 人工智能中使用产生式的理由 产生式规则的界定及内容;; 为什么要采用产生式系统作为人工智能系统的主要结构呢？这可以有两点理由； 用产生式系统结构求解问题的过程和人类求解问题时的思维过程很相象（下面要举例说明），因而可以用它来模拟人类求解问题时的思维过程。 可以把产生式系统作为人工智能系统的基本结构单元或基本模式看待，就好像是积木世界中的积木块一样，因而研究产生式系统的基本问题就具有一般意义。 ;产生式规则的界定及内容;例如： （1）天下雨，地上湿。（“原因—结果”结构） （2）如果把冰加热到零摄氏度以上，冰就会融化为水。 （“条件—结论”结构） （3）“夜来风雨声，花落知多少。”（事实及其进展结构） （4）若能找到一根合适的杠杆，就能撬起那座大山。（前提—操作） （5）“才饮长江水，又食武昌鱼，”（事实及其进展结构） （6）刚才开机了，意味着发出了捕获目标图像的信号。 （情况—行为） ;基本形式： A → B 或者 IF A THEN B A 是产生式的前提（前件），用于指出该产生式是 否可用的条件 B 是一组结论或操作（后件），用于指出当前提 A所指示的条件满足时，应该得出的结论或应该执行的操作 例：R: IF 动物会飞 AND 会下蛋 THEN 该动物是鸟;基本形式： 〈前件〉→〈后件〉 其中, 前件就是前提, 后件是结论或动作,前件和后件可以是由逻辑运算符AND、OR、NOT组成的表达式。 语义: 如果前提满足,则可得结论或者执行相应的动作, 即后件由前件来触发。 所以, 前件是规则的执行条件, 后件是规则体。 ;产生式系统构成;产生式系统的基本结构;产生式系统推理的基本过程; 问题：设字符转换规则 A∧B→C A∧C→D B∧C→G B∧E→F D→E 已知：A，B 求：F ; 一、综合数据库 {x}，其中x为字符 二、规则集 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 ; 三、控制策略 顺序排队 四、初始条件 {A，B} 五、结束条件 F∈{x} ; 在介绍求解过程之前，为了方便叙述，我们首先介绍两个术语。 （1）可触发规则：当一个规则的前件被综合数据库中的数据满足时，该规则称为可触发规则。 （2）被触发规则：从可触发规则中选择一个规则来执行，被执行的规则称为被触发规则。 该问题的求解过程，如下表所示。 ;综合数据库; A、B是已知的条件，一开始就在综合数据库中。此时只有规则1是可触发的。由于只有一个可触发规则，所以选择规则1执行。规则1的执行结果得到C，C被加入到综合数据库中。由于有了C，使得规则2和规则3成为可触发规则（此时规则1的前件虽然也同样可以被满足，由于该规则已经被执行过，而且其当前的触发条件并没有改变，与他被执行时的条件是一样的，所以规则1不在可触发规则之列）。此时可触发规则有两条，按照顺序排队策略，排在前面的规则优先执行，所以选择规则2为被触发规则。规则2的执行结果产生了D，D被加入到综合数据库中。依次类推，规则3、规则5和规则4先后被执行，最终产生了F。从而F被求得，结束运行。; （一）按推理方向分类 1.正向推理 2.逆向推理 3.双向推理 （二）按搜索策略分类 1.不可撤回方式 2.试探性方式 （1）回溯方式 （2）图搜索方式 ; 　 从一组表示事实的谓词或命题出发，使用一组产生式规则，用以证明该谓词公式或命题是否成立。　　一般策略：先提供一批事实（数据）到总数据库中。系统利用这些事实与规则的前提相匹配，触发匹配成功的规则，把其结论作为新的事实添加到总数据库中。继续上述过程，用更新过的总数据库的所有事实再与规则库中另一条