具体描述
本书较全面地介绍了知识库系统的逻辑基础、原理、实现方法与技术，引述了演绎数据库和基于逻辑的知识库系统的数学基础，其中包括一阶谓词逻辑演算、知识推理中的证明论与模型论和基于这两种理论的算法的实现思想，深入地研究了非递归规则的求值、不动点计算的朴质算法、最小不动点的增量求解和基于规则变换的魔集等知识库系统的一些典型的速归查询算法，绘出了典型的知识库试验系统实例及其在图形处理与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
· · · · · · (收起)
读后感
评分
评分
评分
评分
评分
用户评价
评分
评分
评分
评分
评分
相关图书
本站所有内容均为互联网搜索引擎提供的公开搜索信息，本站不存储任何数据与内容，任何内容与数据均与本站无关，如有需要请联系相关搜索引擎包括但不限于百度，google,bing,sogou 等
© 2025 book.quotespace.org All Rights Reserved. 小美书屋 版权所有