东南大学远程教育--人工智能.ppt

第二章 知识与知识表示 第一节 引言 一、知识 知识是信息经过加工整理、解释、挑选和改造而成的。 二、知识类型 1、事实性知识 一般采用直接表示形式。 注：1）若事实性知识是批量的、有规律的，则往往以表格、图册，甚至数据库等形式出现； 2）某些事实性知识表现为规则的形式（尽管有时事实和规则分开处理） 第二章 知识与知识表示 第一节 引言 二、知识类型 2、过程性知识 描述做某事的过程，使人或计算机照此去做。 3、行为性知识 不直接给出事实本身，只给出它在某方面的行为。 注：从某种意义上说，行为性知识是描述事物的内涵，而非外延。 4、实例性知识 只给出一些实例，关于事物的知识就隐藏在这些实例中。 第二章 知识与知识表示 第一节 引言 二、知识类型 4、实例性知识 注：实例性知识和事实性知识的主要区别是：人们感兴趣的一般不是这些实例本身，而是在大批实例后面隐藏的规律性知识。 5、类比性知识 既不给出外延，也不给出内涵，只给出它与其它事物的某些相似之处。 第二章 知识与知识表示 第一节 引言 二、知识类型 5、类比性知识 注：类比性知识一般不能完整地刻划事物，有时会以偏概全，但它可以启发人们在不同领域的知识间架起桥梁，利用一个领域的知识去解决另一个领域的问题。 6、元知识 关于知识的知识。 注：元知识经常以控制知识的形式出现。 第二章 知识与知识表示 第一节 引言 三、知识表示原则 1、表示知识的范围是否广泛？ 注：逻辑是一种广谱的知识表示工具。 2、是否适合于推理？ 注：人工智能主要对适合推理的知识表示感兴趣。 3、是否适合于计算机处理？ 4、是否有高效的算法？ 5、能否表示不精确知识？ 注：自然界的信息具有先天的模糊性和不精确性。 第二章 知识与知识表示 第一节 引言 三、知识表示原则 6、能否模块化，以便于知识分层？ 7、知识和元知识能否用统一的形式表示？ 8、是否适合于加入启发式信息？ 控制知识（元知识）信息—启发式信息 9、过程性表示还是说明性表示？ 说明性表示：只给出事物本身的属性及事物之间的相互关系，对问题的解答就隐含在这些知识之中。 第二章 知识与知识表示 第一节 引言 三、知识表示原则 9、过程性表示还是说明性表示？ 过程性表示：给出解决一个问题的具体过程。 注：说明性表示涉及细节少，抽象程度高，可靠性较好，修改方便，但执行效率较低。 10、表示方式是否自然？ 第二章 知识与知识表示 第一节 引言 四、常见的知识表示形式 1、演绎系统 2、产生式系统 3、框架结构 4、语义网络 5、过程性知识表示 6、面向对象知识表示 第二章 知识与知识表示 第二节 演绎系统 一、谓词演算 1、命题 陈述 2、谓词 带有参数的命题 注：1）谓词比命题有更强的表达能力，可将知识单元细分； 2）谓词可代表变化着的情况，谓词的真假值可因参数而异； 3）可利用谓词在不同的知识之间建立联系，使用同名参数。 第二章 知识与知识表示 第二节 演绎系统 一、谓词演算 3、谓词解释 人为地指派给谓词的含义 注：1）由于解释的不同，谓词的真假值也就不同； 2）对于复杂的谓词公式，研究其不同的解释具有更大的重要性； 3）对一个谓词公式可给出多种甚至无穷多种不同的解释。 第二章 知识与知识表示 第二节 演绎系统 一、谓词演算 3、谓词解释 人为地指派给谓词的含义 注：4）每种解释由下列基本部分组成： A）一组基本域Di,i=1…n B）每个常量均是某个Di中的一个元素 C）每个变量均在某个Di中取值 D）每个m目函数均是一个映射 Di1?Di2 ?... ?Dim?Dim+1 （对于j?k,可以有Dij=Dik) 第二章 知识与知识表示 第二节 演绎系统 一、谓词演算 3、谓词解释 人为地指派给谓词的含义 注：4）每种解释由下列基本部分组成： E）每个m目谓词均是一个映射 Di1?Di2 ?... ?Dim?（T，F） （T代表真，F代表假) 5）若一个谓词公式在所有解释下均为真，则称此公式为永真公式。 第二章 知识与知识表示 第二节 演绎系统 一、谓词演算 3、谓词解释 人为地指派给谓词的含义 注：5）利用谓词演算进行逻辑推理的核心任务就是判断一个谓词公式是否永真。但判断一个谓词公式的永真性比较困难，甚至有人证明，根本不存在这样的算法。 第二章 知识与知识表示 第二节 演绎系统 一、谓词演算 4、谓词演算 谓词及谓词之间关系的研究 1）符号集 真值常量：T、F 联结符号：?、?、?、?、? 运算符：= 量词：?、? 常量：函数常量、谓词常量 变量：函数变量、谓词变量 注：对于变量，可使用量词。 第二章 知识与知识表示 第