《知识表示方法.ppt》由会员分享，可在线阅读，更多相关《知识表示方法.ppt（32页珍藏版）》请在taowenge.com淘文阁网|工程机械CAD图纸|机械工程制图|CAD装配图下载|SolidWorks_CaTia_CAD_UG_PROE_设计图分享下载上搜索。
1、知识表示方法现在学习的是第1页，共32页2.12.1状态空间法状态空间法2.1.1 2.1.1 问题状态描述问题状态描述1 1、状态（、状态（StateState）的基本概念）的基本概念状态状态(state)(state)是为描述某类不同事物间的差别而引入的一组最少变量q0，q1，qn的有序集合，其矢量形式如下：Q=q0,q1,qnT(2.1)式中每个元素qi(i=0,1，n)为集合的分量，称为状态变量。给定每个分量的一组值就得到一个具体的状态，如Qk=qk,q1k,，qnkT(2.2)现在学习的是第2页，共32页2.12.1状态空间法状态空间法算符算符：使问题从一种状态变化为另一种状态的手段
2、称为操作符或算符。操作符可为走步、过程、规则、数学算子、运算符号或逻辑符号等。问题的状态空间问题的状态空间(state space)(state space)是一个表示该问题全部可能状态及其关系的图，它包含三种说明的集合，即所有可能的问题初始状态集合S、操作符集合F以及目标状态集合G。因此，可把状态空间记为三元状态(S，F，G)。现在学习的是第3页，共32页 一般用状态空间法状态空间法表示下述方法：从某个初始状态开始，每次增加一个操作符，递增地建立起操作符的试验序列，直到达到目标状态位置。2.12.1状态空间法状态空间法现在学习的是第4页，共32页2.12.1状态空间法状态空间法2 2、状态空
3、间的表示法、状态空间的表示法对一个问题的状态描述，必须确定3件事：(1)该状态描述方式，特别是初始状态描述；(2)操作符集合及其对状态描述的作用；(3)目标状态描述的特性。现在学习的是第5页，共32页2.12.1状态空间法状态空间法2.1.2 2.1.2 状态图示法状态图示法图的基本概念图的基本概念图由节点(不一定是有限的节点)的集合构成。一对节点用弧线连接起来，从一个节点指向另一个节点。这种图叫做有向图有向图(directed graph)(directed graph)。某个节点序列(ni1,ni2,nik)当j=2，3，k时，如果对于每一个ni，j-1都有一个后继节点nij存在，那么就把
4、这个节点序列叫做从节点ni1至节点nik的长度为k的路径路径。现在学习的是第6页，共32页2.12.1状态空间法状态空间法 代价代价(cost)(cost)是给各弧线指定数值以表示加在相应算符上的代价。图的显式说明图的显式说明 是指各节点及其具有代价的弧线由一张表明确给出。图的隐式说明图的隐式说明 是指各节点及其具有代价的弧线不能由一张表明确给出。此时给出起始节点集si和操作符集。搜索某个状态空间以求得算符序列的一个解答的过程，就对应于使隐式图足够大的一部分变为显式以便包含目标的过程。现在学习的是第7页，共32页2.12.1状态空间法状态空间法例1:设分别由开关控制的一字排开的3盏信号灯,处在
5、“亮、暗、亮”的初始状态。每次操作允许并必须扳动一只开关，问：如果连扳三次开关后能否可以出现“亮、亮、亮”或“暗、暗、暗”的状态？现在学习的是第8页，共32页2.12.1状态空间法状态空间法练习1：修道士和野人问题 在河的左岸有三个修道士、三个野人和一条船，修道士们想用这条船将所有的人（修道士和野人）都运过河去，但是受到以下条件的限制（1）修道士和野人都会划船，但船一次最多只能装运两个；（2）在任何岸边野人数目都不得超过修道士，否则修道士就会遭遇危险；被野人攻击甚至被吃掉。此外，假定野人会服从任何一种过河安排，试规划出一个确保全部成员安全过河的计划。现在学习的是第9页，共32页2.12.1状态
6、空间法状态空间法练习2：农夫过河问题 农夫、狐狸、鸡和大米都在河的左岸，只有农夫才能撑船，要将一只狐狸、一只鸡和一袋大米都安全送到河的右岸。但是，船太小，农夫每次撑船过河时，船上至多只能再载一物过河。若农夫不在场时，则狐狸要吃鸡，而鸡要吃大米。请帮助农夫规划一个安全渡河的方案。现在学习的是第10页，共32页2.2问题归约法2.2.1 问题归约描述1、问题归约法的概念已知问题的描述，通过一系列变换把此问题最终变为一个子问题集合；这些子问题的解可以直接得到，从而解决了初始问题。该方法也就是从目标(要解决的问题)出发逆向推理，建立子问题以及子问题的子问题，直至最后把初始问题归约为一个平凡的本原问题集
7、合。这就是问题归约的实质。2、问题归约法的组成部分（1）一个初始问题描述；（2）一套把问题变换为子问题的操作符；（3）一套本原问题描述。3、示例：梵塔难题现在学习的是第11页，共32页2.2问题归约法2.2.2 与或图表示1、与或图的概念用一个类似图的结构来表示把问题归约为后继问题的替换集合，画出归约问题图。例如，设想问题A需要由求解问题B、C和D来决定，那么可以用一个与图来表示；同样，一个问题A或者由求解问题B、或者由求解问题C来决定，则可以用一个或图来表示。举例：含有与图与或图的混合图。现在学习的是第12页，共32页2.2问题归约法2 2、与或图的有关术语、与或图的有关术语父节点父节点 是
8、一个初始问题或是可分解为子问题的问题节点；子节点子节点 是一个初始问题或是子问题分解的子问题节点；或节点或节点 只要解决某个问题就可解决其父辈问题的节点集合；与节点与节点 只有解决所有子问题，才能解决其父辈问题的节点集合；弧线弧线 是父辈节点指向子节点的圆弧连线；终叶节点终叶节点 是对应于原问题的本原节点。现在学习的是第13页，共32页2.2问题归约法3 3、与或图的有关定义、与或图的有关定义可解节点可解节点 与或图中一个可解节点的一般定义可以归纳如下：(1)终叶节点是可解节点(因为它们与本原问题相关连)。(2)如果某个非终叶节点含有或后继节点，那么只有当其后继节点至少有一个是可解的时，此非终
9、叶节点才是可解的。(3)如果某个非终叶节点含有与后继节点，那么只要当其后继节点全部为可解时，此非终叶节点才是可解的。现在学习的是第14页，共32页2.2问题归约法 不可解节点不可解节点 不可解节点的一般定义归纳于下：(1)没有后裔的非终叶节点为不可解节点。(2)如果某个非终叶节点含有或后继节点，那么只有当其全部后裔为不可解时，此非终叶节点才是不可解的。(3)如果某个非终叶节点含有与后继节点，那么只要当其后裔至少有一个为不可解时，此非终叶节点才是不可解的。现在学习的是第15页，共32页2.2问题归约法4、与或图构图规则(1)与或图中的每个节点代表一个要解决的单一问题或问题集合。图中所含起始节点对
10、应于原始问题。(2)对应于本原问题的节点，叫做终叶节点，它没有后裔。(3)对于把算符应用于问题A的每种可能情况，都把问题变换为一个子问题集合；有向弧线自A指向后继节点，表示所求得的子问题集合。(4)一般对于代表两个或两个以上子问题集合的每个节点，有向弧线从此节点指向此子问题集合中的各个节点。现在学习的是第16页，共32页2.2问题归约法 (5)在特殊情况下，当只有一个算符可应用于问题A，而且这个算符产生具有一个以上子问题的某个集合时，由上述规则3和规则4所产生的图可以得到简化。现在学习的是第17页，共32页2.3 谓词逻辑法2.3.1 2.3.1 谓词演算谓词演算1 1、语法和语义、语法和语义
11、 语法语法谓词逻辑的基本组成部分是谓词符号谓词符号、变变量符号量符号、函数符号函数符号和常量符号常量符号，并用圆括弧、方括弧、花括弧和逗号隔开，以表示论域内的关系。现在学习的是第18页，共32页2.3 谓词逻辑法语义语义在谓词演算中，一个公式的解释解释。对于每个谓词符号谓词符号，必须规定定义域内的一个相应关系关系；对于每个常量符号常量符号必须规定定义域内相应的一个实体实体；对于每个函数符号函数符号，则必须规定定义域内相应的一个函数函数。现在学习的是第19页，共32页2.3 谓词逻辑法 原子公式是由若干谓词符号和项组成，只有当其对应的语句在定义域内为真时，才具有值T(真)；而当其对应的语句在定义
12、域内为假时，该原子公式才具有值F(假)。现在学习的是第20页，共32页2.3 谓词逻辑法2 2、连词和量词、连词和量词连词有(与)、(或)、（蕴含）（蕴含）（非）（非），量词有量词有全称量词(x)，存在量词(x)。原子公式是谓词演算的基本积木块，运用连词能够组合多个原子公式以构成比较复杂的合适公式。现在学习的是第21页，共32页2.3 谓词逻辑法3 3、几个有关定义、几个有关定义用连词把几个公式连接起来而构成的公式叫做合取合取，而此合取式的每个组成部分叫做合取项合取项。一些合适公式所构成的任一合取也是一个合适公式合适公式。用连词把几个公式连接起来所构成的公式叫做析取析取，而此析取式的每一组成部
13、分叫做析取项析取项。由一些合适公式所构成的任一析取也是一个合适公式合适公式。用连词连接两个公式所构成的公式叫做蕴涵蕴涵。蕴涵的左式叫做前项，右式叫做后项。如果前项和后项都是合适公式，那么蕴涵也是合适公式。前面具有符号的公式叫做否定否定。一个合适公式的否定也是合适公式。现在学习的是第22页，共32页2.3 谓词逻辑法 量化一个合适公式中的某个变量所得到的表达式也是合适公式。如果一个合适公式中某个变量是经过量化的，就把这个变量叫做约束变量约束变量，否则就叫它为自由变量自由变量。在合适公式中，感兴趣的主要是所有变量都是受约束的。这样的合适公式叫做句子句子。现在学习的是第23页，共32页2.3 谓词逻
14、辑法2.3.2 2.3.2 谓词公式谓词公式1 1、谓词合适公式的定义、谓词合适公式的定义在谓词演算中合适公式的递归定义如下：(1)原子谓词公式是合适公式。(2)若A为合适公式，则A也是一个合适公式。(3)若A和B都是合适公式，则(AB)，(AB)，(A=B)和(AB)也都是合适公式。(4)若A是合适公式，x为A中的自由变元，则(x)A和(x)A都是合适公式。(5)只有按上述规则(1)至(4)求得的那些公式，才是合适公式。现在学习的是第24页，共32页2.3 谓词逻辑法 举例：举例：试把下列命题表示为谓词公式：任何整数或者为正或者为负。现在学习的是第25页，共32页2.3 谓词逻辑法2 2、合
15、适公式的性质、合适公式的性质(1)否定之否定(P)等价于P(2)PQ等价于PQ(3)狄摩根定律(PQ)等价于PQ(PQ)等价于PQ现在学习的是第26页，共32页2.3 谓词逻辑法 (4)分配律P(QR)等价于(PQ)(PR)P(QR)等价于(PQ)(PR)(5)交换律PQ等价于QPQ等价于QP (6)结合律(PQ)R等价于P(QR)(PQ)R等价于P(QR)现在学习的是第27页，共32页2.3 谓词逻辑法 (7)逆否律PQ等价于QP此外，还可建立下列等价关系：(8)(x)P(x)等价于(x)P(x)(x)P(x)等价于(x)P(x)现在学习的是第28页，共32页2.3 谓词逻辑法 (9)(x)
16、P(x)Q(x)等价于 (x)P(x)(x)Q(x)(x)P(x)Q(x)等价于 (x)P(x)(x)Q(x)(10)(x)P(x)等价于(y)P(y)(x)P(x)等价于(y)P(y)现在学习的是第29页，共32页2.3 谓词逻辑法2.3.3 置换与合一置换与合一 1、置换、置换 假元推理，就是由合适公式W1和W1W2产生合适公式W2的运算。全称化推理，是由合适公式(x)W(x)产生合适公式W(A)，其中A为任意常量符号。一个表达式的置换就是在该表达式中用置换项置换变量。一般说来，置换是可结合的，但置换是不可交换的。现在学习的是第30页，共32页2.3 谓词逻辑法2、合一、合一寻找项对变量的置换，以使两表达式一致，叫做合合一一(unification)。如果一个置换s作用于表达式集Ei的每个元素，则用Eis来表示置换例的集。称表达式集Ei是可合一的可合一的。如果存在一个置换s使得：E1s=E2s=E3s=那么称此s为Ei的合一者，因为s的作用是使集合Ei成为单一形式。举例：举例：表达式Px,f(y),B的一个置换为s1=z/x,w/y，则：Px,f(y),Bs1=Pz,f(w),B现在学习的是第31页，共32页2.3 谓词逻辑法应用举例应用举例现在学习的是第32页，共32页