知识表示理论

注：本文为《刘培奇：新一代专家系统开发技术及应用》读书笔记，版权属于原创作者。

　　说到知识表示，涉及到两个东西：知识、表示。知识表示理论就是要研究如何构建从知识到表示的映射，当然，这个映射必须具备某些特性才能满足知识表示的应用要求。于是，我们可以得到知识表示的定义。
　　

定义

　　知识表示是对原始问题简化表示的一种抽象方法。定义如下
　　定义　知识表示是知识保持运算特性的映射。
　　注意，定义要求从知识到其表示形式之间的映射必须保持运算特性。这意味着什么呢？接下来我们继续讨论这个问题。

同态映射和同构映射

　　在知识表示中，常用到两种重要映射：同态和同构。同态是对问题表示的一种简化，同构可以改变问题的表示方法。
　　设有两个问题 $P_1=(Q_1,F_1)$ 和 $P_2=(Q_2,F_2)$，其中 $Q_1$ 和 $Q_2$ 分别是问题 $P_1$ 和 $P_2$ 中出现的事实集合，$F_1$ 和 $F_2$ 分别是 $Q_1$ 和 $Q_2$ 中的某种二元关系。如果存在一个满射

$$g:Q_1\rightarrow Q_2$$
使得对于任何映射对
$$(q_i,q_j)\in F_1 \Leftrightarrow (g(q_i),g(q_j)) \in F_2 \ \ (q_i, q_j \in Q_1)$$
即 $F_1$ 和 $F_2$ 之间也存在一个满射
$$h:F_1 \rightarrow F_2$$
则称 $P_2$ 是 $P_1$ 的同态问题， $P_1$ 是 $P_2$ 的原始问题， $g$ 是从 $P_1$ 到 $P_2$ 的同态映射。如果 $g$ 是一个一一满射，则称 $g$ 是一个同构映射。原始问题有解蕴含着同台问题有解，同构问题有解等价于原始问题有解。因此同态映射是一个偏序关系，而同构映射是一个等价关系。
　　同态映射是一种重要的科学概念和方法，它可以将一个复杂的问题进行科学抽象，忽略一些次要因素，抓住问题的核心，简化问题求解过程。利用同态映射可以保持运算特性这个性质，往往何以将一个十分复杂的问题经过同态映射后变为一个相对简单的问题，找出简化问题的解答，然后通过同态映射的逆映射就得到原始问题的答案。这就是人工智能广泛使用的求解问题解答的基本原理。同态映射和同构映射也是知识表示理论研究依据之一。只是表示的过程就是映射方法的表示过程。

知识表示的要求

　　
　　在人工智能中，对知识的表示方法要求有：
　　(1) 正确性：要求标示方法能正确地反映远是问题的本质。
　　(2) 简洁性：只是表示方法必须简单，宜于存储和程序设计。
　　(3) 准确性：要求表示的知识是无二义性的。
　　(4) 表示能力：能够正确地、有效地讲问题求爵所需的各类知识表示出来。
　　(5) 可理解性：要求所标示的知识易读、易懂，便于知识获取和知识库的维护。
　　(6) 可访问性：能有效地利用知识库的知识。
　　知识表示和知识分类有密切的关系。常见的知识类型有：事实性知识、过程性知识、行为性知识、实例性知识、类比性知识和元知识。其中，元知识又称为关于知识的知识，它经常以控制知识的形式出现。

---

参考文献

[1] 刘培奇，新一代专家系统开发技术及应用，西安电子科技大学出版社，2014年1月第一版