第二章 智能控制的知识工程基础.ppt

第二章 智能控制的 知识工程基础; 第二章 智能控制的知识工程基础;符号信息处理、启发式程序设计、知识表示、自动推理、机器学习和决策; 2.2 知识的基本概念; 2.2.1 什么是知识; 简言之，知识是把有关信息关联在一起所形成的信息结构。 应用最多的关联形式是“IF-THEN”形式，它反映了信息间的某种因果关系。;知识、规则、数据、信息之间的关系;知识、规则、数据、信息之间的关系; 数据：描述客观事物的属性、数量、位置以及相互关系。是信息的载体和表示。它可以是数，也可以是字符串。 信息：是数据在特定场合下的具体含义，或是数据的语义。; 要使计算机具有智能，模拟人的智能活动，就必须使它有知识。而知识只有用适当的模式表示出来才能存储到计算机中去。; 知识的基本属性有：真理性、相对性、相容性、不完全性、模糊性、可表达性、可存储性、可传递性和可处理性。; 2.2.2 知识的分类;2.3 知识的表示; 知识的表示; 知识表示法（知识表示模式/技术）; 2.3.1 状态空间表示法; 状态、操作和状态空间的概念;状态、操作和状态空间的概念; 状态、操作和状态空间的概念; 状态、操作和状态空间的概念; 状态空间图示法; 状态空间图示法; 2.3.2 一阶谓词表示法;在命题演算中 ，对下述论断无法判断其正确性。 “苏格拉底三段论” ： 所有的人都是要死的， 苏格拉底是人， 所以苏格拉底是要死的。; 2.3.2 一阶谓词表示法;谓词：用于刻划个体的性质、状态或个体间的关系，用大写字母表示。 个体：表示某个独立存在的事物或某个抽象的概念，用小写字母表示。;谓词的一般形式是： 其中P是谓词，有n个个体 ， 称之为n元谓词。; 一阶谓词中的基本概念; 基本要素; 一阶谓词中的联接词;P;蕴含怪论： P →（ Q → P ） ?P →（ P → Q ）; 一阶谓词中的联接词; 一阶谓词中的量词;位于量词后面的单个谓词或复合谓词称为量词的辖域，辖域内与量词同名的变元称为约束变元，不受约束的称为自由变元。; 关于积木世界的问题; 关于积木世界的问题; 关于积木世界的问题; 关于积木世界的问题; 关于积木世界的问题; 关于积木世界的问题; 关于积木世界的问题; 关于积木世界的问题; 关于积木世界的问题; 关于积木世界的问题;例：设个体域是整数集合，请利用给出的谓词将下列命题符号化。 　　N (e)：e是自然数 P (e)：e是素数 Q (e)：e是偶数 　　 E (e1 , e2)：e1= e2　 　　 L (e1 , e2)：e1 ? e2 　 　　D (e1 , e2)：e1?e2 a) 凡素数均为自然数。 ?x(P(x)?N(x)) b) 没有最大的素数。 ??x(P(x)??y(P(y) ?L(y,x))) c) 有些自然数不是素数。 ?x(N(x)??P(x)) d) 并非所有的素数都不是偶数。 ??x(P(x)??Q(x)) ; 一阶谓词表示法; 关于海豚的定理证明形式; 关于海豚的定理证明形式; 关于海豚的定理证明形式;将已知条件,求证结论的反化成子句集①～R(x)∨L(x)②～D(y)∨～L(y)③D(a)④I(a)⑤～I(z)∨R(z) （结论的否定） ⑥～L(a)......2,3归结｛a/y｝⑦～R(a)......1,6归结｛a/x｝⑧R(a)......4,5归结｛a/z｝⑨□......7,8归结; 2.3.3 时序逻辑表示法; 例：Holds (u1, t1) ?Holds (u2, t2) ?After (t2, t1) ?After (t3, t2) ? Holds (y, t3) ; 2.3.4 产生式表示法;产生式系统; 2.3.5 语义网络知识表示法; （下层概念） （上层概念） 是一种 （弧） （节点）