0去购物车结算
购物车中还没有商品，赶紧选购吧！
当前位置: > R-CALCULUS:A Logic of Belief Revision

相同作者的商品

相同语种的商品

销售排行榜

浏览历史

R-CALCULUS:A Logic of Belief Revision


联系编辑
 
标题：
 
内容：
 
联系方式：
 
  
R-CALCULUS:A Logic of Belief Revision
  • 书号：9787030764102
    作者：李未,眭跃飞
  • 外文书名：
  • 装帧：圆脊精装
    开本：B5
  • 页数：200
    字数：300000
    语种：zh-Hans
  • 出版社：科学出版社
    出版时间：2023-09-01
  • 所属分类：
  • 定价： ￥130.00元
    售价： ￥102.70元
  • 图书介质:
    纸质书

  • 购买数量： 件  可供
  • 商品总价：

相同系列
全选

内容介绍

样章试读

用户评论

全部咨询

信念修正是人工智能的研究分支之一。在哲学、认知心理学和数据库更新等领域中，很早就有对信念修正的讨论和研究。AGM公设在20世纪70年代末被提出，它是任何一个合理的信念修正算子应该满足的最基本条件。本书作者李未院士在20世纪80年代中期提出了R-演算，这是一个满足AGM公设、非单调的并且类似于Gentzen推理系统的信念修正算子。本书对R-演算作多个视角的扩展，将为研究生寻找研究方向和研究思路提供一定帮助。
样章试读
  • 暂时还没有任何用户评论
总计 0 个记录，共 1 页。 第一页 上一页 下一页 最末页

全部咨询(共0条问答)

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

目录

  • Contents
    1 Introduction 1
    1.1 Belief Revision 1
    1.2 R-Calculus 2
    1.3 Extending R-Calculus 4
    1.4 Approximate R-Calculus 6
    1.5 Applications of R-Calculus 7
    References 8
    2 Preliminaries 11
    2.1 Propositional Logic 11
    2.1.1 Syntax and Semantics 12
    2.1.2 Gentzen Deduction System 13
    2.1.3 Soundness and Completeness Theorem 13
    2.2 First-Order Logic 16
    2.2.1 Syntax and Semantics 16
    2.2.2 Gentzen Deduction System 18
    2.2.3 Soundness and Completeness Theorem 18
    2.3 Description Logic 21
    2.3.1 Syntax and Semantics 21
    2.3.2 Gentzen Deduction System 23
    2.3.3 Completeness Theorem 25
    References 27
    3 R-Calculi for Propositional Logic 29
    3.1 Minimal Changes 31
    3.1.1 Subset-Minimal Change 31
    3.1.2 Pseudo-Subformulas-Minimal Change 32
    3.1.3 Deduction-Based Minimal Change 34
    3.2 R-Calculus for S-Minimal Change 34
    3.2.1 R-Calculus S for a Formula 34
    3.2.2 R-Calculus S for a Theory 37
    3.2.3 AGM Postulates A∈for C-Minimal Change 38
    3.3 R-Calculus for Minimal Change 40
    3.3.1 R-Calculus T for a Formula 40
    3.3.2 R-Calculus T for a Theory 44
    3.3.3 AGM Postulates A≤for ≤Minimal Change 46
    3.4 R-Calculus for F-Minimal Change 48
    3.4.1 R -Calculus U for a Formula 49
    3.4.2 R-Calculus U for a Theory 54
    References 55
    4 R-Calculi for Description Logics 57
    4.1 R-Calculus for E-Minimal Change 58
    4.1.1 R-Calculus sDL for a Statement 58
    4.1.2 R -Calculus sDL for a Set of Statements 62
    4.2 R-Calculus for Minimal Change 63
    4.2.1 Pseudo-Subconcept-Minimal Change 63
    4.2.2 R-Calculus TDL for a Statement 65
    4.2.3 R-Calculus TDL for a Set of Statements 69
    4.3 Discussion on R-Calculus for F s-Minimal Change 71
    References 72
    5 R-Calculi for Modal Logic 73
    5.1 Propositional Modal Logic 74
    5.2 R-Calculus SM for Minimal Change 79
    5.3 R-Calculus TM for Minimal Change 83
    5.4 R-Modal Logic 88
    5.4.1 A Logical Language of R-Modal Logic 89
    5.4.2 R-Modal Logic 90
    References 92
    6 R-Calculi for Logic Programming 93
    6.1 Logic Programming 93
    6.1.1 Gentzen Deduction Systems 94
    6.1.2 Dual Gentzen Deduction System 95
    6.1.3 Minimal Change 96
    6.2 R-Calculus SLP for Minimal Change 97
    6.3 R-Calculus TLP for Minimal Change 99
    References 103
    7 R-Calculi for First-Order Logic 105
    7.1 R-Calculus for S-Minimal Change 105
    7.1.1 R-Calculus sFOL for a Formula 105
    7.1.2 R-Calculus sFOL for a Theory 108
    7.2 R-Calculus for Minimal Change 109
    7.2.1 R -Calculus T FOL for a Formula 109
    7.2.2 R-Calculus TFOL for a Theory 113
    References 114
    8 Nonmonotonicity of R. Calculus 115
    8.1 Nonmonotonic Propositional Logic 116
    8.1.1 Monotonic Gentzen Deduction System G1 116
    8.1.2 Nonmonotonic Gentzen Deduction System Logic G2 117
    8.1.3 Nonmonotonicity of G2 121
    8.2 Involvement ofr K A in a Nonmonotonic Logic 123
    8.2.1 Default Logic 124
    8.2.2 Circumscription 124
    8.2.3 Autoepistemic Logic 125
    8.2.4 Logic Programming with Negation as Failure 126
    8.3 Correspondence Between R- Calculus and Default Logic 128
    8.3.1 Transformation from R-Calculus to Default Logic 128
    8.3.2 Transformation from Default Logic to R-Calculus 131
    References 132
    9 Approximate R-Calculus 133
    9.1 Finite Injury Priority Method 134
    9.1.1 Post's Problem 134
    9.1.2 Construction with Oracle 135
    9.1.3 Finite Injury Priority Method 136
    9.2 Approximate Deduction 138
    9.2.1 Approximate Deduction System for First-Order Logic 139
    9.3 R-Calculus Fapp and Finite Injury Priority Method 140
    9.3.1 Construction with Oracle 140
    9.3.2 Approximate Deduction System F app 141
    9.3.3 Recursive Construction 143
    9.3.4 Approximate R-Calculus Frece 146
    9.4 Default Logic and Priority Method 148
    9.4.1 Construction of an Extension without Injury 148
    9.4.2 Construction of a Strong Extension with Finite Injury Priority Method 150
    References 152
    10 An Application to Default Logic 153
    10.1 Default Logic and Subset-Minimal Change 154
    10.1.1 Deduction System SD for a Default 154
    10.1.2 Deduction System SD for a Set of Defaults 157
    10.2 Default Logic and Pseudo-subformula minimal Change 159
    10.2.1 Deduction System TD for a Default 159
    10.2.2 Deduction System TD for a Set of Defaults 163
    10.3 Default Logic and Deduction-Based Minimal Change 165
    10.3.1 Deduction System UD for a Default 165
    10.3.2 Deduction System UD for a Set of Defaults 169
    References 170
    11 An Application to Semantic Networks 171
    11.1 Semantic Networks 171
    11.1.1 Basic Definitions 172
    11.1.2 Deduction System G4 for Semantic Networks 175
    11.1.3 Soundness and Completeness Theorem 176
    11.2 R-Calculus for C-Minimal Change 181
    11.2.1 R-Calculus SN for a Statement 182
    11.2.2 Soundness and Completeness Theorem 184
    11.2.3 Examples 188
    11.3 R-Calculus for Minimal Change 190
    11.3.1 R-Calculus TSN for a Statement 190
    11.3.2 Soundness and Completeness Theorem of TSN 192
    Index 199
帮助中心
公司简介
联系我们
常见问题
新手上路
发票制度
积分说明
购物指南
配送方式
配送时间及费用
配送查询说明
配送范围
快递查询
售后服务
退换货说明
退换货流程
投诉或建议
版权声明
经营资质
营业执照
出版社经营许可证

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

　

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

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