|
题名:
|
智能推理及其在信念修正中的应用 / 栾尚敏, 王树 , |
|
ISBN:
|
978-7-03-050762-4 价格： 85.00 |
|
载体形态:
|
230页 24cm |
|
出版发行:
|
出版地： 北京 出版社： 科学出版社 出版日期： 20160101 |
|
内容提要:
|
本书主要包括两大部分内容, 第一部分介绍单调推理和非单调推理, 单调推理部分主要介绍了命题逻辑和谓词逻辑, 这是数理逻辑的基础部分 ; 非单调推理部分介绍了目前主要的非单调推理系统-非单调推理Ⅰ、缺省推理、限定推理和自知逻辑。第二部分就是信念修正, 主要讲述了单调推理和非单调推理在信念修正中的应用, 介绍了单调推理和非单调推理在信念修正中的应用和公理系统以及自然演绎系统类似的用于信念修正的转换系统等。 |
|
主题词:
|
推理控制 |
|
中图分类法:
|
TP273 版次： |