返回首页
苏宁会员
购物车 0
易付宝
手机苏宁

服务体验

店铺评分与同行业相比

用户评价:----

物流时效:----

售后服务:----

  • 服务承诺: 正品保障
  • 公司名称:
  • 所 在 地:
本店所有商品

  • [醉染正版]基于一阶动态逻辑的AGENT行为推理及其哲学反思郝一江 哲学宗教书籍
  • 本店商品限购一件,多拍不予发货,感谢理解!
    • 作者: 郝一江著 | | 无译
    • 出版社: 科学出版社
    • 出版时间:2023-05
    送至
  • 由""直接销售和发货,并提供售后服务
  • 加入购物车 购买电子书
    服务

    看了又看

    商品预定流程:

    查看大图
    /
    ×

    苏宁商家

    商家:
    醉染图书旗舰店
    联系:
    • 商品

    • 服务

    • 物流

    搜索店内商品

    商品分类

    商品参数
    • 作者: 郝一江著| 无译
    • 出版社:科学出版社
    • 出版时间:2023-05
    • 开本:16
    • ISBN:9787030734150
    • 版权提供:科学出版社

                   店铺公告

     

    为保障消费者合理购买需求及公平交易机会,避免因非生活消费目的的购买货囤积商品,抬价转售等违法行为发生,店铺有权对异常订单不发货且不进行赔付。异常订单:包括但不限于相同用户ID批量下单,同一用户(指不同用户ID,存在相同/临近/虚构收货地址,或相同联系号码,收件人,同账户付款人等情形的)批量下单(一次性大于5本),以及其他非消费目的的交易订单。

    温馨提示:请务必当着快递员面开箱验货,如发现破损,请立即拍照拒收,如验货有问题请及时联系在线客服处理,(如开箱验货时发现破损,所产生运费由我司承担,一经签收即为货物完好,如果您未开箱验货,一切损失就需要由买家承担,所以请买家一定要仔细验货),

    关于退货运费:对于下单后且物流已发货货品在途的状态下,原则上均不接受退货申请,如顾客原因退货需要承担来回运费,如因产品质量问题(非破损问题)可在签收后,联系在线客服。

    基本信息
     
    书名:  基于一阶动态逻辑的AGENT行为推理及其哲学反思
    作者:  郝一江著
    出版社:  科学出版社
    出版日期:  2023-05-01
    版次:  1
    ISBN:  9787030734150
    市场价:  138.0
    目录
     
    目录
    国家社科基金后期资助项目出版说明
    前言
    章 绪论 1
    节 学术背景和研究价值 1
    节 国内外研究状况 6
    章 一阶动态逻辑的基础系统——命题动态逻辑 10
    节 正则命题动态逻辑的句法 11
    节 正则命题动态逻辑的语义 13
    第三节 正则命题动态逻辑的计算序列 16
    第四节 正则命题动态逻辑的可满足和有效 17
    第五节 正则命题动态逻辑的演绎系统 18
    第六节 正则命题动态逻辑的基本质 19
    一、源于模态逻辑的基本质 19
    二、选择算子∪、复合算子;和测试算子?的质 20
    三、逆算子 的质 22
    四、迭代算子*的质 25
    五、自返传递和归纳 26
    第七节 编码霍尔逻辑与正则命题动态逻辑 29
    第八节 正则命题动态逻辑的演绎接近 30
    一、正则命题动态逻辑的公理 30
    二、推理规则 30
    三、演绎接近 31
    四、逻辑后承 35
    第三章 一阶动态逻辑系统及其复杂与表达力 37
    节 一阶动态逻辑系统 37
    一、一阶动态逻辑的基本句法 38
    二、带有更丰富程序的一阶动态逻辑 41
    三、一阶动态逻辑的语义 45
    四、可满足和有效 51
    节 一阶动态逻辑与静态逻辑的关系 51
    一、非解释推理 52
    二、解释推理 57
    第三节 一阶动态逻辑的复杂 61
    一、有效问题 61
    二、谱复杂 65
    第四节 一阶动态逻辑的公理化 72
    一、非解释层面的公理化 72
    二、解释层面的公理化 77
    第五节 一阶动态逻辑的表达力 84
    一、展开质 85
    二、谱和表达力 87
    三、有界不确定 93
    四、无界存储 105
    五、带有布尔栈的一阶动态逻辑的表达力 111
    六、无界不确定 111
    第六节 一阶动态逻辑的重要变种 113
    一、算法逻辑 113
    二、非标准的一阶动态逻辑 114
    三、良基 116
    四、动态代数 119
    五、概率程序 121
    六、并发与交流 123
    第四章 基于类型命题动态逻辑的行动类型与Agent能力推理 125
    节 引言 125
    节 类型命题动态逻辑的句法和语义 128
    一、τPDL逻辑的语言和直观语义 128
    二、τPDL逻辑的框架和模型 130
    三、关于τPDL逻辑的一些事实 132
    第三节 类型命题动态逻辑可满足问题的判定 137
    第四节 类型命题动态逻辑的证明系统和接近 146
    一、矢列式和规则 146
    二、τPDL逻辑在类型语义中的可靠和接近 153
    三、标准语义中τPDL逻辑的接近 165
    第五节 结论和开问题 165
    一、τPDL逻辑与其他演算的关系 166
    二、τPDL逻辑的应用和扩展 171
    第五章 基于规划修订动态逻辑的Agent规划修订推理 176
    节 引言177
    节 相关研究 178
    第三节 Agent编程语言3APL 180
    一、3APL语言的句法 180
    二、3APL语言的语义 181
    第四节 规划修订动态逻辑PRDL 184
    一、PRDL逻辑的句法 185
    二、PRDL逻辑的语义 185
    第五节 规划修订动态逻辑PRDL的公理系统 186
    一、公理系统ASRule的可靠 188
    二、公理系统ASRule的接近 190
    第六节 不受限规划质的证明 196
    一、从受限规划到不受限规划 196
    二、相关实例分析与证明 197
    第七节 规划修订规则与过程 204
    一、对规划修订规则而言的Scott归纳规则 204
    二、施归纳于规划修订规则的应用次数 206
    第八节 结论与未来的工作 208
    第六章 基于RASA语言的命题动态逻辑的Agent交互协议推理 209
    节 引言 209
    节 RASA框架 212
    一、建模信息 212
    二、建模协议 213
    三、外延语义 217
    第三节 协议蕴涵 220
    一、关于RASA语言的命题动态逻辑(即Lα逻辑)的句法 221
    二、Lα逻辑的语义 221
    三、Lα逻辑的表达力 223
    第四节 关于RASA语言的命题动态逻辑的证明系统 224
    一、有穷Lα逻辑的演绎证明系统 224
    二、无穷Lα逻辑的演绎证明系统 227
    三、Lα逻辑与命题动态逻辑的关系 232
    第五节 从无穷Lα逻辑到有穷Lα逻辑 234
    一、迭代算子*和+算子的质 234
    二、递归协议的质 235
    三、相关讨论 241
    第六节 实验评估 242
    一、证明系统的实现 242
    二、表征和匹配协议 242
    三、表征方法与证明系统的测试 242
    第七节 相关研究 243
    一、协议说明 243
    二、Lα逻辑与命题动态逻辑的关系 244
    三、行动语言 245
    四、面向目标的规划 245
    五、递归消除 246
    第八节 结论与未来的工作 247
    第七章 相关问题的哲学反思与展望研究 249
    节 人工智能视域下的意义理论 249
    一、周礼全先生之前的意义理论 250
    二、周礼全先生的四层次意义理论 252
    三、意义理论的动态转向 253
    四、意义的算 254
    五、信息与智能交互视域下的意义理论 256
    节 一阶动态逻辑的结构主义特征;;258
    一、引言 258
    二、结构主义的四大学派及其基本观点 260
    三、现代逻辑学具有结构主义特征 262
    四、结构主义思想在一阶动态逻辑中的具体体现 264
    五、结论与未来的工作 266
    第三节 基于一阶动态逻辑的人工智能逻辑的柔化和泛逻辑化——展望研究框架 267
    一、本选题的学术依据和提出背景 267
    二、国内外研究状况与研究价值 269
    三、本选题的研究内容体框架、基本思路和研究目标 270
    四、研究的可行 274
    参考文献 275
    后记 297
    内容介绍
     
    本书以国内外新近相关文献为基础,章是"绪论"。章是"一阶动态逻辑的基础系统命题动态逻辑"。第三章是"一阶动态逻辑系统及其复杂与表达力"。第四章是"基于类型命题动态逻辑的行动类型与Agent能力推理"。第五章是"基于规划修订动态逻辑的Agent规划修订推理"。第六章是"基于动态逻辑的Agent交互协议推理"。第七章是"相关问题的哲学反思与展望研究"。
    在线试读
     
    媒体评论
     

    1
    • 商品详情
    • 内容简介

    售后保障

    最近浏览

    猜你喜欢

    该商品在当前城市正在进行 促销

    注:参加抢购将不再享受其他优惠活动

    x
    您已成功将商品加入收藏夹

    查看我的收藏夹

    确定

    非常抱歉,您前期未参加预订活动,
    无法支付尾款哦!

    关闭

    抱歉,您暂无任性付资格

    此时为正式期SUPER会员专享抢购期,普通会员暂不可抢购