人工智能蔡自兴第三章有哪些信誉好的足球投注网站推理技术幻灯片.pptVIP

* 与或图的F规则变换 这些规则是建立在某个问题辖域中普通陈述性知识的蕴涵公式基础上的。我们把允许用作规则的公式类型限制为下列形式： L ? W 式中：L是单文字；W为与或形的唯一公式。 3.5 规则演绎系统 * 3.5.2 规则逆向演绎系统 定义 逆向规则演绎系统是从then向if进行推理的，即从目标或动作向事实或状况条件进行推理的。 求解过程 目标表达式的与或形式 与或图的B规则变换 作为终止条件的事实节点的一致解图 3.5 规则演绎系统 * 正向和逆向组合系统是建立在两个系统相结合的基础上的。此组合系统的总数据库由表示目标和表示事实的两个与或图结构组成。这些与或图结构分别用正向系统的F规则和逆向系统的B规则来修正。 3.5.3 规则双向演绎系统 3.5 规则演绎系统 * 3.6 产生式系统 定义：用来描述若干个不同的以一个基本概念为基础的系统。这个基本概念就是产生式规则或产生式条件和操作对的概念。 实质：在产生式系统中，论域的知识分为两部分：用事实表示静态知识，如事物、事件和它们之间的关系；用产生式规则表示推理过程和行为。由于这类系统的知识库主要用于存储规则，因此又把此类系统称为基于规则的系统。 * 3.6.1 产生式系统的组成 控制策略 图3.22 产生式系统的主要组成 总数据库 产生式规则 3.6 产生式系统 * 选择规则到执行操作的步骤 1 匹配 把当前数据库与规则的条件部分相匹配。 2 冲突 当有一条以上规则的条件部分和当前数据库相匹配时，就需要决定首先使用哪一条规则，这称为冲突解决。 3 操作 操作就是执行规则的操作部分。 3.6 产生式系统 * 3.6.2 产生式系统的推理 正向推理：从一组表示事实的谓词或命题出发，使用一组产生式规则，用以证明该谓词公式或命题是否成立。 逆向推理：从表示目标的谓词或命题出发，使用一组产生式规则证明事实谓词或命题成立，即首先提出一批假设目标，然后逐一验证这些假设。 双向推理：双向推理的推理策略是同时从目标向事实推理和从事实向目标推理，并在推理过程中的某个步骤，实现事实与目标的匹配。 3.6 产生式系统 * 3.7 系统组织技术 3.7.1 议程表 系统组织技术首先将一个大系统或复杂系统中的知识划分为一组相对独立的模块，然后考虑各子模块间在求解时的合作问题。 议程表是一个系统能够执行的任务表列。与每个任务有关的有两件事，即提出该任务的理由和表示对该任务是有用的证据总权的评价。 * 3.7.2 黑板法 黑板法由一组称为知识资源(KS)的独立模块和一块黑板组成求解系统。知识资源含有系统中专门领域的知识，而黑板则是一切KS可以访问的公用数据结构。 3.7 系统组织技术 3.7.3 Δ-极小有哪些信誉好的足球投注网站法 提供了一种选择最有希望假设的技术。 * 3.8 不确定性推理 以模糊集理论为基础的方法 以概率为基础的方法 3.8.1 关于证据的不确定性 不确定性推理是研究复杂系统不完全性和不确定性的有力工具。有两种不确定性，即关于证据的不确定性和关于结论的不确定性。 * 3.8.2 关于结论的不确定性 关于结论的不确定性也叫做规则的不确定性，它表示当规则的条件被完全满足时，产生某种结论的不确定程度。 3.8.3 多个规则支持同一事实时的不确定性 基于模糊集理论的方法 基于概率论的方法 3.8 不确定性推理 * 3.9 非单调推理 定义 非单调推理用来处理那些不适合用谓词逻辑表示的知识。 它能够较好地处理不完全信息、不断变化的情况以及求解复杂问题过程中生成的假设，具有较为有效的求解效率。 * 3.9.1 缺省推理 定义1：如果X不知道，那么得结论Y。 定义2：如果X不能被证明，那么得结论Y。 定义3：如果X不能在某个给定的时间内被证明，那么得结论Y。 3.9 非单调推理 3.9.2 非单调推理系统 正确性维持系统用以保持其它程序所产生的命题 之间的相容性。一旦发现某个不相容，它就调出 自己的推理机制，面向从属关系的回溯，并通过 修改最小的信念集来消除不相容。 * 3.10 小结 经典有哪些信誉好的足球投注网站推理技术 图有哪些信誉好的足球投注网站技术 消解反演 高级有哪些信誉好的足球投注网站推理技术 规则演绎系统 产生式系统 系统组织技术 不确定性推理 非单调推理 第三章 有哪些信誉好的足球投注网站推理技术 3.6 产生式系统 3.7 系统组织技术 3.8 不确定性推理 3.9 非单调推理 3.10 小结 3.1 图有哪些信誉好的足球投注网站策略 3.2 盲目有哪些信誉好的足球投注网站 3.3 启发式有哪些信誉好的足球投注网站 3.4 消解原理 3.5 规则演绎系