《智能控制基础》第2章智能控制的知识工程基础.pptx

第二章

智能控制的

知识工程基础;第二章智能控制的知识工程基础;符号信息处理、启发式程序设计、知识表示、自动推理、机器学习和决策;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语义网络知识表示法;（下层概念）（上层概念）

是一种

（弧）

（节点