第2章节 知识表示方法.pptVIP

第2章 知识表示方法 2.1??状态空间法 2.1.1??问题状态描述1.基本概念 状态(state)????它是为描述某类不同事物间的差别而引入的一组最少变量q0,q1,…,qn的有序集合,其矢量形式如下:??????Q=[q0,q1,…,qn]??????(2.1)式中每个元素qi(i=0,1,…,n)为集合的分量,称为状态变量。给定每个分量的一组值就得到一个具体的状态,如??????Qk=[q０k,q1k,…,qnk]??????(2.2) 操作符(operator)????称使问题从一种状态变化到另一种状态的手段为操作符或算符。 状态空间(state space)????它是表示一个问题全部可能状态及其关系的图,它包含所有可能的问题初始状态集合S、操作符集合F以及目标状态集合G。因此,状态空间记为三元状态(S,F,G)。 2.状态空间描述????要完成一个问题的状态描述,必须确定3件事:????(1)?状态描述方式,特别是初始状态描述;????(2)?操作符集合及其对状态描述的作用;????(3)?目标状态描述的特性。 2.1.2??状态图示法 图的基本概念????图是一个包含节点(不一定是有限的节点)和节点间弧线的集合。若图中每条弧线均标有方向,则称这种图为有向图(directed graph)。 代价(cost)???是给各弧线指定数值以表示加在相应操作符上的代价。 图的显式说明???是指各节点及其具有代价的弧线由一张表明确给出。 图的隐式说明:???是指各节点及其具有代价的弧线不能由一张表明确给出。 2.2??问题规约法 2.2.1??问题归约描述 1.问题归约法的概念????问题归约是将初始问题变为一个本原问题集合。 2.问题归约法的组成部分????(1)?一个初始问题描述;????(2)?一套把问题变换为子问题的操作符;????(3)?一套本原问题描述。 2.2.2??与或图 1.与或图的概念????用一个类似图的结构来表示把问题归约为后继问题的替换集合,画出归约问题图。 2.与或图的有关术语父节点????是一个初始问题或是可分解为子问题的问题节点;子节点????是一个初始问题或是子问题分解的子问题节点;或节点????只要解决某个问题就可解决其父辈问题的节点集合;与节点????只有解决所有子问题,才能解决其父辈问题的节点集合;终叶节点????是对应于原问题的本原节点。 可解节点????与或图中一个可解节点的一般定义可以归纳如下:????(1)?终叶节点是可解节点(因为它们与本原问题相关连)。????(2)?如果某个非终叶节点含有或后继节点,那么只有当其后继节点至少有一个是可解的时,此非终叶节点才是可解的。????(3)?如果某个非终叶节点含有与后继节点,那么只要当其后继节点全部为可解时,此非终叶节点才是可解的。不可解节点????不可解节点的一般定义归纳于下:????(1)?没有后裔的非终叶节点为不可解节点。????(2)?如果某个非终叶节点含有或后继节点,那么只有当其全部后裔为不可解时,此非终叶节点才是不可解的。????(3)?如果某个非终叶节点含有与后继节点,那么只要当其后裔至少有一个为不可解时,此非终叶节点才是不可解的。 3.与或图构图规则????(1)?与或图中的每个节点代表一个要解决的单一问题或问题集合。图中起始节点对应原始问题。????(2)?对应于本原问题的节点,叫做终叶节点。????(3)?有向弧线自A指向后继节点,表示所求得的子问题集合。????(4)?一般对于代表两个或两个以上子问题集合的每个节点,有向弧线从此节点指向集合中的各个节点。????(5)?在特殊情况下,当只有一个算符可应用于问题A,而且这个算符产生具有一个以上子问题的某个集合时,由上述规则(3)和规则(4)所产生的图可以得到简化。 2.3??谓词逻辑法 2.3.1??谓词演算 1.语法和语义????谓词逻辑的基本组成部分是谓词、变量、函数和常量,并用圆括弧、方括弧、花括弧和逗号隔开。 2.连词和量词????连词有∧(与)、∨(或),全称量词(),存在量词()。 3.几个有关定义????用连词∧把几个公式连接起来而构成的公式叫做合取,而此合取式的每个组成部分叫做合取项。一些合适公式所构成的任一合取也是一个合适公式。 ???用连词∨把几个公式连接起来所构成的公式叫做析取,而此析取式的每一组成部分叫做析取项。一些合适公式所构成的任一析取也是一个合适公式。????用连词=连接两个公式所构成的公式叫做蕴涵。称蕴涵的左式为前项,右式为后项。如果前项和后项都是合适公式,那么蕴涵也是合适公式????前面具有符号～的公式叫做否定。一个合适公式的