简介
本书较全面地介绍了知识库系统的逻辑基础、原理、实现方法与技术，引述了演绎数据库和基于逻辑的知识库系统的数学基础，其中包括一阶谓词逻辑演算、知识推理中的证明论与模型论和基于这两种理论的算法的实现思想，深入地研究了非递归规则的求值、不动点计算的朴质算法、最小不动点的增量求解和基于规则变换的魔集等知识库系统的一些典型的速归查询算法，绘出了典型的知识库试验系统实例及其在图形处理与CAD、决策支持系统、专家数据库系统和数据库设计中的应用实例，讨论了非经典逻辑与非精确推理等技术对知识库系统发展的影响，指出了当
目录
第一章知识库系统概论
1.1知识库系统概述
1.2知识与知识的表示
1.3知识库、知识库管理系统与知识库系统
1.4知识库系统的应用
1.5知识库系统研究趋向
第二章数学基础
2.1概述
2.2一阶逻辑、Horn逻辑与Datalog
2.3基于一阶逻辑的证明论理论
2.4基于一阶逻辑的模型论理论
2.5非经典逻辑介绍
第三章知识库系统基本原理
3.1知识与知识库
3.2
1.1知识库系统概述
1.2知识与知识的表示
1.3知识库、知识库管理系统与知识库系统
1.4知识库系统的应用
1.5知识库系统研究趋向
第二章数学基础
2.1概述
2.2一阶逻辑、Horn逻辑与Datalog
2.3基于一阶逻辑的证明论理论
2.4基于一阶逻辑的模型论理论
2.5非经典逻辑介绍
第三章知识库系统基本原理
3.1知识与知识库
3.2
知识库系统导论
- 名称
- 类型
- 大小
光盘服务联系方式: 020-38250260 客服QQ：4006604884
云图客服：
用户发送的提问，这种方式就需要有位在线客服来回答用户的问题，这种 就属于对话式的,问题是这种提问是否需要用户登录才能提问
Video Player
×
Audio Player
×
pdf Player
×
