第1章 绪论 1__eol__1.1 知识表示基本概念 1__eol__1.1.1 知识 1__eol__1.1.2 知识表示 2__eol__1.1.3 知识表示方法 3__eol__1.2 知识处理的基本流程 7__eol__1.2.1 知识抽取 7__eol__1.2.2 知识表示 8__eol__1.2.3 知识存储 8__eol__1.2.4 知识融合 9__eol__1.2.5 知识推理 9__eol__1.2.6 知识可视化 10__eol__1.2.7 知识应用 10__eol__1.2.8 知识更新 11__eol__1.3 知识与人工智能的关系 11__eol__习题 12__eol__参考文献 12__eol__第2章 知识获取 13__eol__2.1 知识获取基本概念 13__eol__2.1.1 知识 13__eol__2.1.2 知识获取的发展背景 14__eol__2.1.3 知识获取 14__eol__2.1.4 知识获取的步骤和途径 15__eol__2.2 知识获取的方式 15__eol__2.2.1 人工知识获取 15__eol__2.2.2 半自动知识获取 16__eol__2.2.3 自动知识获取 16__eol__2.2.4 其他方式 17__eol__2.3 面向非结构化数据的知识获取 18__eol__2.3.1 实体抽取 18__eol__2.3.2 关系抽取 19__eol__2.3.3 事件抽取 22__eol__2.4 面向半结构化数据的知识获取 24__eol__2.5 面向结构化数据的知识获取 25__eol__2.6 实验：使用 jieba进行中文分词 28__eol__2.6.1 实验目的 28__eol__2.6.2 实验要求 28__eol__2.6.3 实验原理 28__eol__2.6.4 实验步骤 28__eol__2.6.5 实验结果 29__eol__习题 30__eol__参考文献 30__eol__第3章 谓词逻辑 32__eol__3.1 逻辑学的基本研究方法 32__eol__3.1.1 概念化和理性化 32__eol__3.1.2 符号化 33__eol__3.1.3 公理化 33__eol__3.1.4 形式化 34__eol__3.1.5 现代逻辑学形式系统 34__eol__3.2 命题逻辑 35__eol__3.2.1 语法 35__eol__3.2.2 语义 37__eol__3.3 谓词逻辑 42__eol__3.3.1 语法 42__eol__3.3.2 语义 47__eol__3.4 命题演算推理系统 50__eol__3.5 实验：苏格拉底推论符号化及论证 51__eol__3.5.1 实验目的 51__eol__3.5.2 实验要求 51__eol__3.5.3 实验原理 51__eol__3.5.4 实验步骤 51__eol__3.5.5 实验结果 52__eol__习题 53__eol__参考文献 54__eol__第4章 产生式规则 55__eol__4.1 产生式表示 55__eol__4.1.1 产生式的由来 55__eol__4.1.2 产生式规则的一般形式 55__eol__4.1.3 产生式规则与逻辑蕴含式 56__eol__4.2 从规则到系统 57__eol__4.2.1 产生式系统简述 57__eol__4.2.2 产生式系统的组成 57__eol__4.2.3 产生式系统的运行过程 60__eol__4.3 规则匹配——Rete算法 65__eol__4.3.1 规则匹配算法简述 65__eol__4.3.2 Rete算法 66__eol__4.3.3 Uni-Rete算法 70__eol__4.4 产生式规则专家系统 73__eol__4.4.1 专家系统简述 73__eol__4.4.2 专家系统的基本结构 77__eol__4.4.3 产生式规则专家系统实例 80__eol__4.5 实验：基于产生式规则的动物识别专家系统 84__eol__4.5.1 实验目的 84__eol__4.5.2 实验要求 84__eol__4.5.3 实验原理 84__eol__4.5.4 实验步骤 84__eol__4.5.5 实验结果 95__eol__习题 96__eol__参考文献 96__eol__第5章 语义网络 97__eol__5.1 语义网络简述 97__eol__5.1.1 语义网络的概念 97__eol__5.1.2 语义网络的特点 97__eol__5.2 语义网络表示法 98__eol__5.2.1 基本网元 98__eol__5.2.2 基本语义关系 99__eol__5.3 知识的语义网络表示 102__eol__5.3.1 事实性知识的表示 102__eol__5.3.2 情况、动作和事件的表示 102__eol__5.3.3 连词和量词的表示 104__eol__5.3.4 用语义网络表示知识的步骤 105__eol__5.4 语义网络的推理方法 106__eol__5.4.1 继承推理 106__eol__5.4.2 匹配推理 106__eol__5.5 实验：语义网络写入图形数据库 107__eol__5.5.1 实验目的 107__eol__5.5.2 实验要求 107__eol__5.5.3 实验原理 107__eol__5.5.4 实验步骤 107__eol__5.5.5 实验结果 110__eol__习题 110__eol__参考文献 111__eol__第6章 本体 112__eol__6.1 本体概述 112__eol__6.1.1 本体的定义 112__eol__6.1.2 本体的作用 113__eol__6.1.3 本体的构成要素 114__eol__6.2 本体的分类 115__eol__6.3 本体的构建 118__eol__6.3.1 本体建模语言 118__eol__6.3.2 本体构建的规则 121__eol__6.3.3 本体构建的方法 122__eol__6.3.4 本体的构建工具 126__eol__6.4 本体的应用 128__eol__6.5 领域本体的构建 129__eol__6.5.1 领域本体的构建过程 129__eol__6.5.2 领域本体的设计原则 130__eol__6.5.3 领域本体建模的生命周期 131__eol__6.6 实验：小型本体构建示例 131__eol__6.6.1 实验目的 131__eol__6.6.2 实验要求 132__eol__6.6.3 实验原理 132__eol__6.6.4 实验步骤 132__eol__6.6.5 实验结果 139__eol__习题 140__eol__参考文献 141__eol__第7章 知识图谱 143__eol__7.1 知识图谱简述 143__eol__7.1.1 知识图谱的概念 143__eol__7.1.2 知识图谱的产生历程 145__eol__7.1.3 知识图谱的生命周期 147__eol__7.2 知识图谱的关键技术 150__eol__7.2.1 知识图谱构建技术 150__eol__7.2.2 知识图谱查询和推理计算技术 151__eol__7.2.3 知识图谱应用技术 151__eol__7.3 知识图谱可视化 153__eol__7.3.1 知识图谱表示方法 153__eol__7.3.2 知识图谱可视化类型 154__eol__7.3.3 知识图谱可视化流程 154__eol__7.3.4 知识图谱可视化方法 154__eol__7.4 知识图谱分类 157__eol__7.4.1 知识图谱分类概述 157__eol__7.4.2 通用知识图谱 157__eol__7.4.3 领域知识图谱 158__eol__7.5 知识图谱工具 159__eol__7.5.1 知识建模工具 159__eol__7.5.2 知识获取工具 159__eol__7.5.3 实体识别链接工具 160__eol__7.5.4 知识存储工具 160__eol__7.5.5 本体知识推理工具 160__eol__7.5.6 知识图谱可视化工具 161__eol__7.5.7 知识图谱数据智能平台 161__eol__7.6 实验：知识图谱实践 162__eol__7.6.1 实验目的 162__eol__7.6.2 实验要求 162__eol__7.6.3 实验原理 162__eol__7.6.4 实验步骤 162__eol__7.6.5 实验结果 169__eol__习题 170__eol__参考文献 170__eol__第8章 知识推理 172__eol__8.1 推理简述 172__eol__8.1.1 推理的概念 172__eol__8.1.2 推理方式及分类 173__eol__8.1.3 推理控制策略及分类 176__eol__8.1.4 匹配与冲突消解 178__eol__8.2 自然演绎推理 180__eol__8.2.1 推理规则 180__eol