知识

知识的概念

　　知识是人们在改造客观世界的实践中积累起来的认识和经验。

知识的类型

• 1. 知识的适用范围分：常识性知识、领域性知识

• 2.知识的作用效果分：陈述性知识、过程性知识、控制性知识

• 3.知识的确定性分：确定性知识、不确定性知识

知识表示的概念

• 知识表示：知识表示就是对知识的描述，即用一些约定的符号把知识编码成一组可以被计算机直接识别，并便于系统使用的数据结构

知识表示的要求

• 1.表示能力（能否正确、有效地将问题求解所需要的各种知识表示出来）
• 2.可利用性（通过使用知识进行推理，可求得问题的解）
• 3.可组织性与可维护性（可组织性：把有关知识按照某种组织方式组织成一种知识结构）（可维护性：在保证知识的一致性与完整性的前提下，对知识所进行的增加、删除、修改等操作）
• 4.可理解性与可实现性（可理解性：所表示的知识应易读、易懂、易获取、易维护）（可实现性：知识表示要便于在计算机上实现，便于直接由计算机对其进行处理）

知识表示的方法

• 陈述性知识表示、过程性知识表示

推理的概念

• 按照心理学的观点，推理是由具体事例归纳出一般规律，或者根据已有知识推出新的结论的思维过程

推理方法的分类

• 1.按推理的逻辑基础分类：演绎推理、归纳推理
• 2.按所用知识的确定性分类：确定性推理、不确定性推理
• 3.按推理过程的单调性分类：单调推理、非单调推理

推理的控制策略的概念

• 推理的控制策略是指如何使用领域知识使推理过程尽快达到目标的策略

推理的控制策略包括

• 推理策略和搜索策略

断言的概念

• 一个陈述句称为一个断言

命题的概念

• 凡含有真假意义的断言称为命题

论域（个体域）的概念

• 论域是由所讨论对象之全体构成的非空集合

个体的概念

• 论域中的元素称为个体

谓词的概念

函数的概念

函数与谓词的区别

• 谓词的真值是真和假，而函数无真值可言，其值是个体域中的某个个体。谓词实现的是从个体域中的个体到T或F的映射，而函数所实现的是同一个体域中从一个个体到另一个个体的映射。在谓词逻辑中，函数本身不能单独使用，它必须嵌入到谓词之中。

一阶谓词、二阶谓词的概念

连接词的概念

量词的概念

产生式

项的概念

原子谓词公式（原子公式）的概念

合式公式的概念

 

量词的辖域

量词的约束范围，即指位于量词后面的单个谓词或者用括弧括起来的合式公式

约束变元

受量词约束的变元称为约束变元

自由变元

不受量词约束的变元称为自由变元

变元的换名

谓词公式的性质

谓词逻辑表示方法

 

机器人搬箱子

猴子和香蕉问题

　

产生式

重排九宫问题

传教士-野人问题

语义网络表示法

语义网络

 

多元语义网络

 

语义网络的推理