人工智能基础知识二 --- 知识表示

人类的智能活动主要是获取并运用知识。知识是智能的基础。为了使计算机具有智能，能模拟人类的智能行为，就必须使他具有知识。但知识需要用适当的模式表示出来才能存储到计算机中去，因此，知识的表示成为人工智能中一个十分重要的研究课题。

---

2.1 知识与知识表示的概念

知识：就是在长期的生活及社会实践中，在科学研究及实验中积累起来的对客观世界大的认识与经验。

知识：把有关信息关联在一起所形成的信息结构。

信息关联形式：如果…,就…
eg:如果大雁向南飞，则冬天就来了。

知识反应了客观世界中事物之间的关系，不同事物或者相同事物间的不同关系形成了不同的知识。
eg：雪是白色的—事实
eg：如果头疼且流涕，则有可能患了感冒 — 规则

知识的特性：
1.相对正确性：任何知识都是在一定的条件及环境下产生的，在这种条件及环境下才是正确的。

         1 + 1 = 2（十进制）
         1 + 1 = 10（二进制）

2.不确定性（知识状态 ：真，假）

• 随机性引起的不确定性 eg：如果头疼且流涕，则有可能患了感冒
• 模糊性引起的不确定性 eg：小李很高
• 经验引起的不确定性
• 不完全性引起的不确定性

3.可表示性与可利用性

• 知识的可表示性：知识可以用适当形式表示出来，如用语言，文字，图形，神经网络等。
• 知识的可利用性：知识可以被利用

知识的表示
将人类知识形式化或者模型化

• 知识表示是对知识的一种描述，或者说是一组约定，一种计算机可以接受的用于描述知识的数据结构。
• 选择知识表示方法的原则：充分表示领域知识，有利于对知识的利用，便于对知识的组织，维护与管理，便于理解与实现。

---

一阶谓词逻辑表示法

命题：非真即假的陈述句
谓词：刻画个体的性质，状态或个体之间的关系

个体是常量：一个或者一组指定的个体

"老张是一个教师" --- 一元谓词Teacher(Zhang)
"5 > 3" 二元谓词Greater(5,3)
"Smith 作为一个工程师为IBM工作" -- 三元谓词Works(Smith,IBM,engineer)

个体是变元（变量）：没有指定的一个或者一组个体

"x<5" :Less(x,5)

个体是函数：一个个体到另一个个体的映射

"小李的父亲是教师" Teacher(father(Li))

个体是谓词

"Smith 作为一个工程师为IBM工作"
二阶谓词 Work(engineer(Smith),IBM);

连接词：

否定

或者

合取

蕴含


量词

• 全称量词 ：对个体域中的所有（或任一个）个体x
• 存在量词 ：在个体域中存在个体x。

量词的辖域

谓词公式的解释：

• 谓词公式在个体域上的解释
• 对于每一个解释，谓词公式都可以求出一个真值

谓词公式的永真性，可满足性，不可满足性。

---

2.3 产生式表示法