第6章基于产生式规则的机器推理 心子科技大学此腹妇 场安心 从规则库中取一个条规则,将其前提同当前 动态数据库中的事实/数据进行模式匹配 西终也子科发大学★版拉 金子器发大学出版狂 N 匹配成功否? 品受心务御发大举业版妇 期发大学出搬 Y 场安地 把该规则的结论放入当前动态数据库,或执 行规则所规定的动作 图6-2推理机的一次推理过程
第 6 章 基于产生式规则的机器推理 图 6-2 推理机的一次推理过程
第6章基于产生式规则的机器推理 一个实际的产生式系统,其目标条件一般不会只经一步 推理就可满足,往往要经过多步推理才能满足或者证明问题 无解。所以,产生式系统的运行过程,就是推理机不断运用 规则库中的规则,作用于动态数据库,不断进行推理并不断 检测日标条件是否满足的过程。当推理到某一步,目标条件 被满足,则推理成功,于是系统运行结束;或者再无规则可 用,但目标条件仍未满足,则推理失败,当然系统也运行结束
第 6 章 基于产生式规则的机器推理 一个实际的产生式系统, 其目标条件一般不会只经一步 推理就可满足, 往往要经过多步推理才能满足或者证明问题 无解。 所以, 产生式系统的运行过程,就是推理机不断运用 规则库中的规则, 作用于动态数据库, 不断进行推理并不断 检测目标条件是否满足的过程。当推理到某一步, 目标条件 被满足, 则推理成功, 于是系统运行结束;或者再无规则可 用, 但目标条件仍未满足, 则推理失败, 当然系统也运行结束
第6章基于产生式规则的机器推理 由上所述,产生式系统的运行过程也就是从初始事实出 发,寻求到达目标条件的通路的过程。所以,产生式系统的 运行过程也是一个搜索的过程。但一般把产生式系统的整个 运行过程也称为推理。那么,一个产生式系统启动后,从哪儿 开始推理?下面我们就回答这个问题
第 6 章 基于产生式规则的机器推理 由上所述, 产生式系统的运行过程也就是从初始事实出 发, 寻求到达目标条件的通路的过程。 所以, 产生式系统的 运行过程也是一个搜索的过程。但一般把产生式系统的整个 运行过程也称为推理。那么, 一个产生式系统启动后,从哪儿 开始推理? 下面我们就回答这个问题
第6章基于产生式规则的机器推理 6.2.3控制策略与常用算法 产生式系统的推理可分为正向推理和反向推理两种基本方 式。简单来讲,正向推理就是从初始事实数据出发,正向使用 规则进行推理(即用规则前提与动态数据库中的事实匹配,或 用动态数据库中的数据测试规则的前提条件,然后产生结论或 执行动作),朝目标方向前进;反向推理就是从目标出发,反向 使用规则进行推理(即用规则结论与目标匹配,又产生新的目 标,然后对新目标再作同样的处理),朝初始事实或数据方向前 进。下面我们给出产生式系统正向推理和反向推理的常用算法:
第 6 章 基于产生式规则的机器推理 6.2.3 产生式系统的推理可分为正向推理和反向推理两种基本方 式。简单来讲, 正向推理就是从初始事实数据出发, 正向使用 规则进行推理(即用规则前提与动态数据库中的事实匹配, 或 用动态数据库中的数据测试规则的前提条件, 然后产生结论或 执行动作),朝目标方向前进;反向推理就是从目标出发, 反向 使用规则进行推理(即用规则结论与目标匹配, 又产生新的目 标, 然后对新目标再作同样的处理),朝初始事实或数据方向前 进。下面我们给出产生式系统正向推理和反向推理的常用算法:
第6章基于产生式规则的机器推理 1.正向推理 正向推理算法一: 步1将初始事实/数据置入动态数据库。 步2用动态数据库中的事实/数据,匹配/测试目标条件, 若目标条件满足,则推理成功,结束。 步3用规则库中各规则的前提匹配动态数据库中的事实/ 数据,将匹配成功的规则组成待用规则集。 步4若待用规则集为空,则运行失败,退出。 步5将待用规则集中各规则的结论加入动态数据库,或者 执行其动作,转步2
第 6 章 基于产生式规则的机器推理 1. 正向推理算法一: 步1 将初始事实/数据置入动态数据库。 步2 用动态数据库中的事实/数据, 匹配/测试目标条件, 若目标条件满足, 则推理成功, 结束。 步3 用规则库中各规则的前提匹配动态数据库中的事实/ 数据, 将匹配成功的规则组成待用规则集。 步4 若待用规则集为空, 则运行失败, 退出。 步5 将待用规则集中各规则的结论加入动态数据库, 或者 执行其动作, 转步2