人工智能04.pptVIP

安徽大学 计算机科学与技术学院 人工智能 第二章 知识表示与推理 2.1 知识表示的一般方法 2.2 图搜索策略 2.3 一般搜索与推理技术 2.4 A*算法 2.5 消解原理 2.6 规则演义系统 2.7 产生式系统 2.8 系统组织技术 2.6 规则演绎系统 定义 基于规则的问题求解系统运用If→Then规则来建立，每个if可能与某断言(assertion)集中的一个或多个断言匹配。有时把该断言集称为工作内存(黑板)，then部分用于规定放入工作内存的新断言。这种基于规则的系统叫做规则演绎系统。在这种系统中，通常称每个if部分为前项，称每个then部分为后项。 2.6.1 规则正向演绎系统 定义 正向规则演绎系统是从事实到目标进行操作的，即从状况条件到动作进行推理的，也就是从if到then的方向进行推理的。 求解过程 事实表达式的与或形变换 在基于规则的正向演绎系统中，我们把事实表示为非蕴涵形式的与或形，作为系统的总数据库。 2.6.1 规则正向演绎系统 与或图的F规则变换 这些规则是建立在某个问题辖域中普通陈述性知识的蕴涵公式基础上的。我们把允许用作规则的公式类型限制为下列形式： L ? W 式中：L是单文字；W为与或形的唯一公式。 下面的证明限定：目标是可以证明的，目标是析取关系 2.7 产生式系统 定义：用来描述若干个不同的以一个基本概念为基础的系统。这个基本概念就是产生式规则或产生式条件和操作对的概念。 实质：在产生式系统中，论域的知识分为两部分：用事实表示静态知识，如事物、事件和它们之间的关系；用产生式规则表示推理过程和行为。由于这类系统的知识库主要用于存储规则，因此又把此类系统称为基于规则的系统。 2.7.1 产生式系统的组成 选择规则到执行操作的步骤 1 匹配 把当前数据库与规则的条件部分相匹配。 2 冲突 当有一条以上规则的条件部分和当前数据库相匹配时，就需要决定首先使用哪一条规则，这称为冲突解决。 3 操作 操作就是执行规则的操作部分。 2.7.2 产生式系统的推理 正向推理：从一组表示事实的谓词或命题出发，使用一组产生式规则，用以证明该谓词公式或命题是否成立。 逆向推理：从表示目标的谓词或命题出发，使用一组产生式规则证明事实谓词或命题成立，即首先提出一批假设目标，然后逐一验证这些假设。 双向推理：双向推理的推理策略是同时从目标向事实推理和从事实向目标推理，并在推理过程中的某个步骤，实现事实与目标的匹配。 实验3 产生式系统实验 一、实验目的： 熟悉和掌握产生式系统的运行机制，掌握基于规则推理的基本方法。 ?二、实验原理： 产生式系统用来描述若干个不同的以一个基本概念为基础的系统，这个基本概念就是产生式规则或产生式条件和操作对。在产生式系统中，论域的知识分为两部分：用事实表示静态知识；用产生式规则表示推理过程和行为。 三、实验条件 ??????? 硬件：微型计算机。 任选一种流行语言。 实验2 子句消解实验 四、实验内容： ??????? 自己建造产生式系统（包括规则库和事实库），然后进行推理，即可以自己输入任何的规则和事实，并基于这种规则和事实进行推理。 建造动物识别系统。 ? 五、实验步骤(2-3人一组)： 1.?知识库设计和实现，包括规则库和总数据库； 2.?控制策略设计和实现； 3.? 用户界面设计和实现； 4.? 分析推理过程，写实验报告。（每人） * * Artificial Intelligence 第四讲 1. 事实表达式的与或形变换 例如： (?u) (?v) {Q(v,u)∧ ~[(R(v) ∨ P(v)) ∧S(A,v)]} 表示为非蕴涵形式的与或形： {A/u} Q(v,A)∧{[～R(v)∧～P(v)]∨～S(A,v)} 2.6.1 规则正向演绎系统 2. 事实表达式的与或图表示 Q(v,A)∧{[~R(v)∧~P(v)]∨~S(A,v)} Q(v,A) [~R(v)∧~P(v)]∨~S(A,v) ~R(v)∧~P(v) ~S(A,v) ~R(v) ~P(v) 图2.8 一个事实表达式的与或树表示 子句集： Q(v,A) ~R(v)∨~S(A,v) ~P(v)∨~S(A,v) 换名： Q(w,A) ~R(v)∨~S(A,v) ~P(x)∨~S(A,x) 例如： (?x){[(?y)(?z)P(x,y,