0去购物车结算
购物车中还没有商品，赶紧选购吧！
当前位置: 图书分类 > 信息技术 > 电子科学与技术 > 智能推理及其在信念修正中的应用

相同语种的商品

销售排行榜

浏览历史

智能推理及其在信念修正中的应用


联系编辑
 
标题：
 
内容：
 
联系方式：
 
  
智能推理及其在信念修正中的应用
  • 书号：9787030507624
    作者：奕尚敏,王树
  • 外文书名：
  • 装帧：平装
    开本：B5
  • 页数：240
    字数：300
    语种：zh-Hans
  • 出版社：
    出版时间：2017-04-28
  • 所属分类：
  • 定价： ￥85.00元
    售价： ￥67.15元
  • 图书介质:
    纸质书

  • 购买数量： 件  商品库存： 2
  • 商品总价：

相同系列
全选

内容介绍

样章试读

用户评论

全部咨询

智能推理是实现智能化的基础，它包括经典的单调推理和非单调推理。本书首先介绍了经典的单调推理中的命题推理系统和谓词推理系统，以及推理的公理化系统和自然推理系统:其次，介绍了单调推理系统下的自动推理算法和可满足性验证算法:然后介绍了非单调推理的主要理论和方法，包括非单调推理逻辑、自知逻辑、缺省逻辑和限定逻辑、信念修正的理论和方法，以及信念修正的实现算法:最后介绍了Petri 网用于逻辑推理和信念修正的方法。
样章试读
  • 暂时还没有任何用户评论
总计 0 个记录，共 1 页。 第一页 上一页 下一页 最末页

全部咨询(共0条问答)

  • 暂时还没有任何用户咨询内容
总计 0 个记录，共 1 页。 第一页 上一页 下一页 最末页
用户名： 匿名用户
E-mail：
咨询内容：

目录

  • 目录
    前言
    第1章结论1
    1.1逻辑推理的发展历史1
    1.1.1逻辑演算3
    1.1.2证明论5
    1.1.3模型论8
    1.1.4递归论9
    1.1.5公理化集合论12
    1.1.6非单调推理理论14
    1.1.7自动推理技术15
    1.1.8不确定性推理16
    1.2信念修正简介25
    1.2.1信念状态的模型25
    1.2.2信念变化的基本形式28
    1.2.3信念修正理论的应用29
    1.3自动推理理论和信念修正之间的关系30
    1.3.1自动推理理论是实现信念修正的一种途径31
    1.3.2信念修正可以实现非单调推理32
    参考文献32
    第2章单调逻辑34
    2.1命题演算逻辑系统34
    2.1.1命题演算的基本概念34
    2.1.2命题逻辑的合式公式及范式37
    2.2谓词逻辑43
    2.2.1谓词演算中的基本概念43
    2.2.2谓词逻辑的合式公式44
    2.2.3谓词形式系统的语义45
    2.3逻辑溃算的形式系统47
    2.3.1公理系统48
    2.3.2自然推理系统54
    参考文献59
    第3章自动推理与可满足性验证60
    3.1斯科伦标准形61
    3.2埃尔布朗域和埃尔布朗定理64
    3.2.1埃尔布朗域64
    3.2.2语义树66
    3.3DP算法69
    3.4置换与合一71
    3.5归结原理74
    3.5.1命题逻辑的归结75
    3.5.2谓词逻辑的归结76
    3.5.3归结原理的完备性及过程控制策略78
    3.6可满足性问题的非完全算法82
    3.7二元可满足性问题和霍恩可满足性问题的快速算法84
    3.7.1二元可满足性问题的快速算法84
    3.7.2霍恩可满足性问题的快速算法86
    3.8极大可满足问题的算法87
    3.8.1贪心算法87
    3.8.2局部搜索算法87
    3.8.3模拟退火算法88
    参考文献89
    第4章非单调推理91
    4.1非单调逻辑产生的背景91
    4.1.1非单调推理产生的基础91
    4.1.2常识推理促使了非单调推理的产生93
    4.2非单调逻辑94
    4.3缺省逻辑98
    4.3.1基本定义98
    4.3.2封闭缺省理论的性质99
    4.3.3封闭正规缺省理论102
    4.3.4封闭正规缺省理论的证明论104
    4.4限定逻辑108
    4.4.1限定的定义108
    4.4.2优先序限定110
    4.5自认知逻辑111
    4.5.1自知逻辑的语法112
    4.5.2自知逻辑的语义112
    参考文献115
    第5章信念修正理论116
    5.1信念修正的定义116
    5.2信念修正的AGM理论118
    5.2.1约减和修正的合理公设119
    5.2.2选择约减121
    5.2.3安全约减123
    5.3认知牢固度的方法128
    5.4信念基的方法130
    5.5选代信念修正理论133
    5.5.1基于条件函数的迭代修正133
    5.5.2具有记忆的迭代修正134
    5.5.3基于有限偏序牢固度秩的选代修正135
    5.6信念修正的应用136
    参考文献139
    第6章单调推理技术在信念修正中的应用141
    6.1基于核的信念基修正141
    6.1.1核的减和修正141
    6.1.2极小割集143
    61.3计算核的算法143
    6.1.4计算极大协调子集的算法144
    6.1.5核和极大协调子集之间的关系145
    6.2基于模型的修正和基于语法的修正146
    6.2.1基于模型的方法146
    6.2.2基于语法的方法148
    6.3信念修正的转换系统148
    6.3.1求极大协调子集的转换系统148
    6.3.2求极小不协调子集的转换系统153
    6.4基于归结的有限于句集上的信念修正实现算法156
    6.4.1极大协调子集的方法156
    6.4.2子句集上求所有极小不协调子集的方法163
    6.4.3典型的信念修正方法的实现.168
    6.5信念修正的近似算法169
    6.5.1修正的近似算法169
    6.5.2具有完整性的束的信念修正方法173
    6.5.3有限信念基上的修正和约减过程175
    参考文献176
    第7章非单调推理技术在信念修正中的应用178
    7.1信念修正和缺省推理178
    7.2限定推理与信念修正180
    参考文献192
    第8章信念修正的Petri网方法193
    8.1Petri与逻辑推理193
    81.1Petri网的基本概念193
    8.1.2霍恩子句的Petri网描述195
    8.1.3一般子句化为Petri网198
    8.2Petri网与归结原理200
    8.2.1霍恩基子句集的网删除归结原理201
    8.2.2一般基子句集的网删除归结原理207
    8.3基于petri网的修正方法210
    8.3.1命题规则知识库的Petri网描述210
    8.3.2知识库更新的代数方法213
    8.3.3扩充逻辑程序的知识库更新228
    参考文献229
帮助中心
公司简介
联系我们
常见问题
新手上路
发票制度
积分说明
购物指南
配送方式
配送时间及费用
配送查询说明
配送范围
快递查询
售后服务
退换货说明
退换货流程
投诉或建议
版权声明
经营资质
营业执照
出版社经营许可证

中国科技出版传媒股份有限公司　版权所有

　

京ICP备14028887号-5　 京ICP证150976号 京公网安备 11010102004214号

北京东黄城根北街16号 邮编：100717 Email:webmaster@mail.sciencep.com