2019 人工智能导论 复习

知识表示

一阶谓词逻辑表示法

命题：

• 一个陈述句称为一个断言， 其中具有真假意义的断言称为命题。

真值：T/F
论域：由所讨论对象的全体构成的集合。也称为个体域。论域中的元素称为个体。

谓词、函数、量词

量词包括全称量词和存在量词。

谓词公式

用谓词连接符号将一些谓词连接起来所形成的公式。其中


其中等价的例子为：

辖域：紧接于量词之后被量词作用（即说明）的谓词公式称为该量词的辖域。
指导变元：量词后面的变元称为量词的指导变元。
约束变元：在一个量词的辖域中的与该量词的指导变元相同的变元称为约束变元。
自由变元：其它的变元称为自由变元。

通过一阶谓词逻辑表示描述一个过程的例子：

产生式表示法

知识的产生式表示方法

事实：事实是断言一个语言变量的值或断言多个语言变量之间关系的陈述句。

规则的产生式表示形式常称为产生式规则，简称为产生式或规则。产生式的基本形式如下：

产生式系统的基本结构

综合数据库DB：

• 存放推理过程的各种当前信息。
• 作为推理过程选择可用规则的依据。
  规则库RB：
• 用于存放推理所需要的所有规则，是整个产生式系统的知识集，是产生式系统能够进行推理的根本。
• 知识的完整性、一致性、准确性、灵活性和可组织性。
  控制系统：
  产生式系统应用举例：
  
  
  
  

语义网络表示法

语义网络：通过概念及语义关系来表示知识的一种网络图，是一个带有标注的有向图。其中节点表示各种概念、事物、对象、行为、状态等；有向弧表示节点间的联系或关系。
语义基元：最基本的语义单元称为语义基元。可用如下的三元组表示：
把多个基本网元用相应的语义联系关联在一起时，就可得到一个语义网络。语义网络中的节点还可以是一个语义子网络，所以语义网络实质上是一种多层次的嵌套结构。

基本语义关系

• 实例关系：ISA 含义为是一个，表示一个事物是另一个事物的一个实例。
• 分类关系：AKO 含义为是一种，表示一个事物是另一个事物的一种类型。
• 成员关系：A-Member-of 含义为是一员，表示一个事物是另一个事物的一个成员。一个最主要的特征是属性的继承性，处在具体层的节点可以继承所有抽象层节点的所有属性。
• 聚类关系：Part-of 含义为是一部分，表示一个事物是另一个事物的一部分。聚类关系与实例、分类、成员关系的主要区别是聚类关系一般不具备属性的继承性。
• 属性关系：Have/Can 含义分别为有/能，表示一个事物具有另一个事物所描述的属性/表示一个事物能做另一个事物
• 时间关系：Before/After
• 位置关系：Located-on、Located-under等
• 相近关系：Similar-to、Near-to

事物和概念的表示

一元关系：可以用一元谓词表示的关系，谓词说明实体的性质、属性等。描述的是一些最简单、最直观的事物或概念。
二元关系：可以用二元谓词表示的关系，单个二元关系可直接用一个基本网元来表示，复杂关系可通过一些相对独立的二元或一元关系的组合来实现。

多元关系：可用多元谓词表示的关系，用语义网络表示多元关系时，可把它转化为一个或多个二元关系的组合，把这种多元关系表示出来。

情况和动作的表示

情况的表示：设立一个占有权节点，表示占有物和占有时间等。
事件和动作的表示：用这种方法表示事件或动作时，需要设立一个事件节点或动作节点．其中，事件节点由一些向外引出的弧来指出事件行为及发出者、接收者。动作节点由一些向外引出的弧来指出动作的主体和客体。

基于语义网络的推理

继承：是指把对事物的描述从抽象结点传递到实例结点。通过继承可以得到所需结点的一些属性值，它通常是沿着ISA、AKO等继承弧进行的。继承的一般过程如下：

• (1) 建立一个结点表，用来存放待求解结点和所有以ISA 、AKO等继承弧与此结点相连的那些结点。初始情况下，表中只有待求解结点。
• (2) 检查表中的第一个结点是否是有继承弧。如果有，就把该弧所指的所有结点放入结点表的末尾，记录这些结点的所有属性，并从结点表中删除第一个结点。如果没有继承孤，仅从结点表中删除第一个结点。
• (3) 重复(2) ，直到结点表为空。此时，记录下来的所有属性都是待求解结点继承来的属性。
  
  匹配：是指在知识库的语义网络中寻找与待求解问题相符的语义网络模式。匹配的过程如下：
• (1) 根据待求解问题的要求构造一个网络片断，该网络片断中有些结点或孤的标识是空的，称为询问处，它反映的是待求解的问题。
• (2) 根据该语义片断到知识库中去寻找所需要的信息。
• (3) 当待求解问题的网络片断与知识库中的某语义网络片断相匹配时，则与询问处相匹配的事实就是问题的解。

框架表示法

概述

框架：是人们认识事物的一种通用的数据结构形式。即当新情况发生时，人们只要把新的数据加入到该通用数据结构中，便可形成一个具体的实体，这样的通用数据结构就称为框架。
实例框架：对于一个框架，当人们才把观察或认识到的具体细节填入后，就得到了该框架的一个具体实例，框架的这种具体实例被称为实例框架。
框架系统：在框架理论中，框架是知识的基本单位，把一组有关的框架连结起来便可形成一个框架系统。
框架系统推理：由框架之间的协调来完成。

组成

一个“框架”由若干个“槽”组成，每个“槽”又划分为若干个“侧面”，一个“槽”描述对象的一个方面属性，一个“侧面”描述相应属性的一个方面。由框架名、槽名、侧面、值组成。

框架系统

框架系统由框架之间的横向或纵向联系构成。
纵向联系：指具有继承关系的上下层框架之间的联系。纵向联系通过预定义槽名AKO、ISA等来实现。
横向联系：指那种以另外一个框架名作为一个槽的槽值或侧面值所建立起来的框架之间的联系。
特性继承：特性继承过程通过ISA 、AKO链来实现。当需要查询某一事物的某个属性，且描述该事物的框架未提供其属性值时，系统就沿ISA和AKO链追溯到具有相同槽的类或超类框架。如果该槽提供有D