第6章基于产生式规则的机器推理 6.1.2基于产生式规则的推理模式 由产生式的涵义可知，利用产生式规则可以实现有前提条 件的指令性操作，也可以实现逻辑推理。实现操作的方法是 当测试到一条规则的前提条件满足时，就执行其后部的动作 这称为规则被触发或点燃。利用产生式规则实现逻辑推理的 方法是当有事实能与某规则的前提匹配（即规则的前提成立）时， 就得到该规则后部的结论（即结论也成立）
第 6 章 基于产生式规则的机器推理 6.1.2 由产生式的涵义可知,利用产生式规则可以实现有前提条 件的指令性操作, 也可以实现逻辑推理。实现操作的方法是 当测试到一条规则的前提条件满足时, 就执行其后部的动作。 这称为规则被触发或点燃。利用产生式规则实现逻辑推理的 方法是当有事实能与某规则的前提匹配(即规则的前提成立)时, 就得到该规则后部的结论(即结论也成立)
第6章基于产生式规则的机器推理 实际上，这种基于产生式规则的逻辑推理模式，就是逻辑 上所说的假言推理（对常量规则而言）和三段论推理（对变量规 则而言)，即： A →B A B 这里的大前提就是一个产生式规则，小前提就是证据事实。 其实，我们也可以把上面的有前提条件的操作和逻辑推理 统称为推理。那么，上面的式子也就是基于产生式规则的一般 推理模式。这就是说，产生式系统中的推理是更广义的推理
第 6 章 基于产生式规则的机器推理 实际上,这种基于产生式规则的逻辑推理模式, 就是逻辑 上所说的假言推理(对常量规则而言)和三段论推理(对变量规 则而言), 即： A →B A B 这里的大前提就是一个产生式规则, 小前提就是证据事实。 其实, 我们也可以把上面的有前提条件的操作和逻辑推理 统称为推理。那么,上面的式子也就是基于产生式规则的一般 推理模式。这就是说, 产生式系统中的推理是更广义的推理
第6章基于产生式规则的机器推理 6.2产生式系统 6.2.1系统结构 产生式系统由三部分组成：产生式规则库、 推理机和动 态数据库，其结构如图6一1所示。 产生式规则库亦称产生式规则集，由领域规则组成，在机 器中以某种动态数据结构进行组织。一个产生式规则集中的规 则，按其逻辑关系，一般可形成一个称为推理网络的结构图。 推理机亦称控制执行机构，它是一个程序模块，负责产生式 规则测的前提条件测试或匹配，规则的调度与选取，规则体的解释 和执行。即推理机实施推理，并对推理进行控制，它也就是规 则的解释程序
第 6 章 基于产生式规则的机器推理 6.2 产 生 式 系 统 6.2.1 产生式系统由三部分组成： 产生式规则库、 推理机和动 态数据库, 其结构如图6－1所示。 产生式规则库亦称产生式规则集, 由领域规则组成, 在机 器中以某种动态数据结构进行组织。一个产生式规则集中的规 则, 按其逻辑关系, 一般可形成一个称为推理网络的结构图。 推理机亦称控制执行机构,它是一个程序模块,负责产生式 规则的前提条件测试或匹配,规则的调度与选取,规则体的解释 和执行。即推理机实施推理, 并对推理进行控制, 它也就是规 则的解释程序
第6章基于产生式规则的机器推理 产生式规则库 推理机 帝安地手得发大学此阪社 品姿心子到发大孝放版自 品实电子科发大曾出版妇 动态数据库 西安心手种发大学成成烈 品美 图6-1产生式系统的结构
第 6 章 基于产生式规则的机器推理 图 6-1 产生式系统的结构
第6章基于产生式规则的机器推理 6.2.2运行过程 产生式系统运行时，除了需要规则库以外，还需要有初 始事实（或数据）和目标条件。目标条件是系统正常结束的条 件，也是系统的求解目标。产生式系统启动后，推理机就开 始推理，按所给的目标进行问题求解。 推理机的一次推理过程可如图6-2所示
第 6 章 基于产生式规则的机器推理 6.2.2 产生式系统运行时, 除了需要规则库以外, 还需要有初 始事实(或数据)和目标条件。目标条件是系统正常结束的条 件, 也是系统的求解目标。产生式系统启动后, 推理机就开 始推理, 按所给的目标进行问题求解。 推理机的一次推理过程可如图 6-2所示