书目详细信息
： 智能推理及其在信念修正中的应用
书目信息 机读格式(MARC)
| ISBN/价格： | 978-7-03-050762-4:CNY85.00 |
|---|---|
| 作品语种： | chi |
| 出版国别： | CN 110000 |
| 题名责任者项： | 智能推理及其在信念修正中的应用/.栾尚敏, 王树编著 |
| 出版发行项： | 北京:,科学出版社:,2016.10 |
| 载体形态项： | 230页:;+图:;+24cm |
| 提要文摘： | 本书主要包括两大部分内容, 第一部分介绍单调推理和非单调推理, 单调推理部分主要介绍了命题逻辑和谓词逻辑, 这是数理逻辑的基础部分 ; 非单调推理部分介绍了目前主要的非单调推理系统-非单调推理Ⅰ、缺省推理、限定推理和自知逻辑。第二部分就是信念修正, 主要讲述了单调推理和非单调推理在信念修正中的应用, 介绍了单调推理和非单调推理在信念修正中的应用和公理系统以及自然演绎系统类似的用于信念修正的转换系统等。 |
| 题名主题： | 推理控制 应用 |
| 中图分类： | TP273 |
| 个人名称等同： | 栾尚敏 编著 |
| 个人名称等同： | 王树 编著 |
| 记录来源： | CN 人天书店 20170120 |