一知识表示方法.ppt

第二章 知识表示、有哪些信誉好的足球投注网站与推理技术 知识表示 图有哪些信誉好的足球投注网站策略 推理技术 知识就是人们对客观事物（包括自然的和人造的）及其规律的认识，知识还包括人们利用客观规律解决实际问题的方法和策略等。 知识表示，是指面向计算机的知识描述或表达形式和方法。面向人的知识表示可以是语言、文字、数字、符号、公式、图表、图形、图像等多种形式。这些表示形式是人所能接受、理解和处理的形式。但面向人的这些知识表示形式，目前还不能完全直接用于计算机，因此就需要研究适于计算机的知识表示模式。具体来讲，就是要用某种约定的（外部）形式结构来描述知识，而且这种形式结构还要能够转换为机器的内部形式，使得计算机能方便地存储、处理和利用。 知识表示并不神秘。实际上，我们已经接触过或使用过。例如，我们通常所说的算法，就是一种知识表示形式。因为它刻划了解决问题的方法和步骤（即它描述的是知识），又可以在计算机上用程序实现。又如一阶谓词公式，它是一种表达力很强的形式语言，它也可以用程序语言实现，所以它也可作为一种知识表示形式。 要把外部的逻辑形式的知识转化为机器的内部形式，还需要程序语言的支持。一般的通用程序设计语言都可实现上述的大部分表示方法。但使用专用的面向某一知识表示的语言更为方便和有效。因此，几乎每一种知识表示方法都有其相应的专用实现语言。例如，支持谓词逻辑的语言有PROLOG和LISP，专门支持产生式的语言有OPS5，专门支持框架的语言有FRL，支持面向对象表示的语言有Smalltalk、C++和Java等，支持神经网络表示的语言有AXON。 一 产生式系统 产生式系统由三部分组成：产生式规则库、推理机（控制系统）和综合数据库 产生式规则库亦称产生式规则集，由领域规则组成，即描述领域的常识和启发式知识。 推理机亦称控制系统，它是一个程序模块，负责产生式规则的前提条件测试或匹配，规则的调度与选取，规则体的解释和执行。即推理机实施推理，并对推理进行控制，它也就是规则的解释程序。 一、产生式表示 1 产生式(规则) 产生式的一般形式为 前件→后件 即 if 前件 then 后件 其中，前件就是前提，后件是结论或动作，前件和后件可以是由逻辑运算符AND、OR、NOT组成的表达式。 产生式规则的语义是:如果前提满足，则可得结论或者执行相应的动作,即后件由前件来触发。所以，前件是规则的执行条件，后件是规则体。 例：(1)如果银行存款利率下调，那么股票价格上涨。 (2)如果炉温超过上限，则立即关闭风门。 基于产生式的推理模式：由产生式的涵义可知，利用产生式规则可以实现有前提条件的指令性操作，也可以实现逻辑推理。实现操作的方法是当测试到一条规则的前提条件满足时，就执行其后部的动作。这称为规则被触发或点燃。利用产生式规则实现逻辑推理的方法是当有事实能与某规则的前提匹配（即规则的前提成立）时，就得到该规则后部的结论（即结论也成立）。 实际上，这种基于产生式规则的逻辑推理模式，就是逻辑上所说的假言推理（对常量规则而言）和三段论推理（对变量规则而言），即： A→B A B 这里的大前提就是一个产生式规则，小前提就是证据事实。 综合数据库用于存放输入的关于求解的问题的事实或问题的状态、以及推理产生的中间结果和最终结果。它表现为产生式系统所使用的数据结构，如符号串、数组、表、树等。例：事实“李和张是朋友”用表（friend,li,zhang)来表示。 3 用产生式系统描述AI问题 八数码问题 综合数据库：用二维数组 表示，例 产生式规则：即走步规则，使状态发生变化，有四条 控制系统：从初始状态----目标状态 4 产生式系统的运行过程 产生式系统运行时，除了需要规则库以外，还需要有初始事实(或数据)和目标条件。 ?目标条件是系统正常结束的条件，也是系统的求解目标。产生式系统启动后，推理机就开始推理，按所给的目标进行问题求解。 一个实际的产生式系统，其目标条件一般不会只经一步推理就可满足，往往要经过多步推理才能满足或者证明问题无解 传教士和野人问题：3个传教士和3个野人，船上最多可坐2人 M：传教士 C：野人 B：船 综合数据库：用三元组描述左岸的状态，以此推出右岸的情况 ，初始状态为 ，目标状态