知识与知识表示
3.1 基本概念
3.1.1 什么是知识
3.1.2 知识的特性
3.1.3 知识的分类
3.1.4 知识的表示
3.2 一阶谓词逻辑表示法
3.2.1 表示知识方法
3.2.2 一阶谓词逻辑表示法的特点
3.3 产生式表示法
3.3.1 产生式的基本形式
3.3.2 产生式系统
3.3.3 产生式系统的分类
3.3.4 产生式表示法的特点
3.4 框架表示法
3.4.1 框架理论
3.4.2 框架
3.4.3 框架网络
3.4.4 框架中槽的设置与组织
3.4.5 框架系统中求解问题的基本过程
3.4.6 框架表示法的特点
3.5 语义网络表示法
3.5.1 语义网络的概念
3.5.2 知识的语义网络表示
3.5.3 常用的语义联系
3.5.4 语义网络系统中求解问题的基本过程
3.5.5 语义网络表示法的特点
3.6 脚本表示法
3.6.1 概念领带理论
3.6.2 脚本
3.7 过程表示法
3.7.1 表示知识方法
3.7.2 过程表示法的特点
3.8 Petri网表示法
3.8.1 表示知识方法
3.8.2 Petri网表示法的特点
3.9 面向对象表示法
3.9.1 面向对象的基本概念
3.9.2 表示知识方法

 

经典逻辑推理
4.1 基本概念
4.1.1 什么是推理
4.1.2 推理方式及其分类
4.1.3 推理的控制策略
4.1.4 模式匹配
4.1.5 冲突消解策略
4.2 自然演绎推理
4.3 归结演绎推理
4.3.1 子句
4.3.2 海伯伦理论
4.3.3 鲁滨逊归结原理
4.3.4 归结反演
4.3.5 应用归结原理求取问题的答案
4.3.6 归结策略
4.4 与/或形演译推理
4.4.1 与/或形正向演绎推理
4.4.2 与/或形逆向演绎推理
4.4.3 与/或形双向演绎推理
4.4.4 代换的一致性及剪枝策略