人工智能 A2章确定性知识系统.ppt

第2章 确定性知识系统 2.1 确定性知识系统概述 1.知识的概念 2.知识的类型 3.知识表示的概念 4.知识表示方法 2.1 确定性知识系统概述 2. 推理方法及其分类 2. 推理方法及其分类按推理的逻辑基础分类(1/3) 2.推理方法及其分类按推理的逻辑基础分类(2/3) 2. 推理方法及其分类 按推理的逻辑基础分类(3/3) 2. 推理方法及其分类 按所用知识的确定性分类 3.推理控制策略及其分类 第2章 确定性知识系统 2.2 确定性知识表示方法 1.谓词逻辑表示的逻辑学基础命题、真值、论域 1.谓词表示的逻辑学基础谓词、函数 1.谓词逻辑表示逻辑学基础连词和量词 1.谓词逻辑表示的逻辑学基础自由变元和约束变元 2.谓词逻辑表示方法表示步骤及简例(1/2) 2.谓词逻辑表示方法表示步骤及简例(2/2) 3.谓词逻辑表示的经典例子机器人移盒子 (1/5) 4.谓词逻辑表示的特征 2.2 确定性知识表示方法 1.产生式表示的基本方法事实的表示 1.产生式表示的基本方法规则的表示 2.产生式表示简例 3.产生式表示的特性 2.2 确定性知识表示方法 1.语义网络概述概念 1.语义网络概述基本语义关系(2/3) 1.语义网络概述基本语义关系(3/3) 2.事物和概念的表示表示一元关系 2.事实和概念的表示表示二元关系(1/3) 2.事实和概念概念的表示表示二元关系(2/3) 2.事物和概念的表示表示二元关系(3/3) 2.事物和概念的表示表示多元关系 3.情况和动作的表示情况的表示(1/2) 3. 情况和动作的表示情况的表示(2/2) 3.情况和动作的表示事件和动作的表示 4.语义网络的基本推理过程继承 4.语义网络的基本推理过程匹配 5. 语义网络表示的特征 2.2 确定性知识表示方法 1. 框架理论 2.框架结构和框架表示框架的基本结构(1/2) 2.5.2 框架结构和框架表示框架的基本结构(2/2) 例2.14 一个直接描述硕士生有关情况的框架 Frame MASTER Name：Unit（Last-name，First-name） Sex：Area（male，female） Default： male Age：Unit（Years） Major：Unit（Major） Field：Unit（Field） Advisor：Unit（Last-name，First-name） Project ：Area（National，Provincial，Other） Default：National Paper：Area（SCI，EI，Core，General） Default：Core Address： S-Address Telephone：Home Unit（Number） Mobile Unit（Number） 2. 框架结构和框架表示框架表示(1/3) 2. 框架结构和框架表示框架表示(2/3) 2.框架结构和框架表示框架表示(3/3) 2. 框架结构和框架表示实例框架 3. 框架系统框架之间的联系 4. 框架系统问题求解的基本过程特性继承(1/2) 4. 框架系统问题求解的基本过程特性继承(2/2) 2.3 确定性知识推理方法 1. 产生式推理的基本结构(1/2) 1. 产生式系统的基本结构 (2/2) 2. 产生式的正向推理算法 2. 产生式的正向推理例子(1/2) 2. 产生式的正向推理例子(2/2) 3. 产生式的逆向推理算法 3. 产生式的逆向推理例子(1/2) 3. 产生式的逆向推理例子(2/2) 4. 产生式的混合推理 2.3 确定性知识推理方法 1. 自然演绎推理的逻辑基础 等价式 1. 自然演绎推理的逻辑基础 永真蕴含式 1. 自然演绎推理的逻辑基础 置换(1/2) 1. 自然演绎推理的逻辑基础置换(2/2) 1. 自然演绎推理的逻辑基础合一 2. 自然演绎推理的方法（1/2） 2. 自然演绎推理的方法(2/2) 2.3 确定性知识推理方法 1. 归结演绎推理的逻辑基础谓词公式的永真性和可满足性 1. 归结演绎推理的逻辑基础谓词公式的范式 2. 子句集及其化简子句和子句集 2. 子句集及其化简子句集的化简（1/5） 2. 子句集及其化简子句集的化简（2/5） 2.子句集及其化简子句集的化简（3/5） 2. 子句集及其化简子句集的化