人工智能及其应用3概要1.pptVIP

* 思考：为什么正向演绎系统的求解效率比消解原理高？ 说明：两次与或图的扩展，需要通过四次消解才能达到同等目标。 3.5 规则演绎系统 * 3.5.2 规则逆向演绎系统 (backward chaining) 定义 逆向规则演绎系统是从then向if进行推理的，即从目标或动作向事实或状况条件进行推理的。 求解过程 目标表达式的与或形式 与或图的B规则变换 作为终止条件的事实节点的一致解图 3.5 规则演绎系统 * 3.5 规则演绎系统 a) 目标表达式的与或形式 目标公式化为与或形： 目标公式： (?y)(?x){P(x)=[Q(x,y) ∧~[P(x) ∧S(y)]]} 与或标准形：～P(f(z)) ∨{Q(f(y),y) ∧[~R(f(y)) ∨ ~s(y)]} * b) 与或图的B规则变换 我们把允许用作规则的公式类型限制为下列形式： W ? L 式中，L是单文字；W为与或形的唯一公式 推理方法就是利用规则扩展与或图的叶节点，不断归约到已知的前提事实。 3.5 规则演绎系统 c) 终止条件 逆向演绎系统的成功终止条件是与或图包含有某个终止在事实节点上的一致解图。 例题： * 3.5 规则演绎系统 * a)正向演绎系统与逆向演绎系统的局限性 b)规则双向呀演绎系统 正向和逆向组合系统是建立在两个系统相结合的基础上的。此组合系统的总数据库由表示目标和表示事实的两个与或图结构组成。这些与或图结构分别用正向系统的F规则和逆向系统的B规则来修正。 c)规则双向呀演绎系统的复杂性 终止条件：终止涉及两个与或图之间的适当交接处。 3.5.3 规则双向演绎系统 3.5 规则演绎系统 * 定义: 如果 ( n ,m) 中有一个为事实节点 , 另一个为目标节点 , 而且如果 n 和 m 都由可 合一的文字所标记 , 或者 n 有一个外向 k 线连接符接至一个后继节点集 (Si), 使得对此集 的每个元 CANCEL( n ,m) 都成立 , 那么就称这两节点 n 和 m 互相 CANCEL( 即互相 抵消 ) 。 一个简单的终止条件是判定在事实与或图叶节点和目标与或图叶节点之间都存在CANCEL关系。 当事实图的根节点和目标图的根节点互相 CANCEL 时 , 就得到一个候补解。在事 实和目标图内证明该目标根节点和事实根节点互相 CANCEL 的图结构叫做候补 CANCEL 图。如果候补 CANCEL 图中所有匹配的 mgu 都是一致的 , 那么这个候补解就 是一个实际解。 3.5 规则演绎系统 * 3.6 产生式系统（Production System） 定义：用来描述若干个不同的以一个基本概念为基础的系统。这个基本概念就是产生式规则或产生式条件和操作对的概念。 实质：在产生式系统中，论域的知识分为两部分：用事实表示静态知识，如事物、事件和它们之间的关系；用产生式规则表示推理过程和行为。由于这类系统的知识库主要用于存储规则，因此又把此类系统称为基于规则的系统。 * 3.6.1 产生式系统的组成 控制策略 图3.22 产生式系统的主要组成 总数据库 产生式规则 3.6 产生式系统 * 控制策略：选择规则到执行操作的步骤 1 匹配 把当前数据库与规则的条件部分相匹配。若完全匹配，则启用该规则。 2 冲突 当有一条以上规则的条件部分和当前数据库相匹配时，就需要决定首先使用哪一条规则，这称为冲突解决。如专一性排序、规则排序、数据排序、就近排序等。 3 操作 操作就是执行规则的操作部分，经过操作后，总数据库被修改，并记住所应用的规则序列，以便给出解答路径。若满足结束条件，推理停止。 3.6 产生式系统 * 3.6.2 产生式系统的推理 正向推理：从一组表示事实的谓词或命题出发，使用一组产生式规则，用以证明该谓词公式或命题是否成立。 例如：规则集合R1～R3 R1：P1－P2 R2：P2－P3 R3：P3－P4 3.6 产生式系统 * 逆向推理：从表示目标的谓词或命题出发，使用一组产生式规则证明事实谓词或命题成立，即首先提出一批假设目标，然后逐一验证这些假设。 3.6 产生式系统 * 双向推理：双向推理的推理策略是同时从目标向事实推理和从事实向目标推理，并在推理过程中的某个步骤，实现事实与目标的匹配。 实例：美国斯坦福研究所的专家系统工具KAS，就是采用正向、逆向混合推理的产生式系统。 举例：3.6.3产生式系统实例 3.6 产生式系统 * 3.7 系统(知识)组织技术 3.7.1 议程表 系统组织技术首先将一个大系统或复杂系统中的知识划分为一组相对独立的模块，然后考虑各子模块间在求解时的合作问题。