0去购物车结算
购物车中还没有商品，赶紧选购吧！
当前位置: > 基于一阶动态逻辑的Agent行为推理及其哲学反思

相同语种的商品

销售排行榜

浏览历史

基于一阶动态逻辑的Agent行为推理及其哲学反思


联系编辑
 
标题：
 
内容：
 
联系方式：
 
  
基于一阶动态逻辑的Agent行为推理及其哲学反思
  • 书号：9787030734150
    作者：郝一江
  • 外文书名：
  • 装帧：平装
    开本：16
  • 页数：296
    字数：330000
    语种：zh-Hans
  • 出版社：科学出版社
    出版时间：2023-05-01
  • 所属分类：
  • 定价： ￥138.00元
    售价： ￥109.02元
  • 图书介质:
    纸质书

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

内容介绍

样章试读

用户评论

全部咨询

本书从人工智能的视角，研究了“基于一阶动态逻辑及其扩展系统的Agent行为推理”，并对相关问题进行了哲学反思。具体内容包括：作为一阶动态逻辑的基础系统的命题动态逻辑、一阶动态逻辑系统及其复杂性与表达力、基于类型命题动态逻辑的行动类型与Agent能力推理、基于规划修订动态逻辑的Agent规划修订推理、基于动态逻辑的Agent交互协议推理、相关问题的哲学反思与展望性研究。
样章试读
  • 暂时还没有任何用户评论
总计 0 个记录，共 1 页。 第一页 上一页 下一页 最末页

全部咨询(共0条问答)

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

目录

  • 目录
    国家社科基金后期资助项目出版说明
    前言
    第一章 绪论 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
帮助中心
公司简介
联系我们
常见问题
新手上路
发票制度
积分说明
购物指南
配送方式
配送时间及费用
配送查询说明
配送范围
快递查询
售后服务
退换货说明
退换货流程
投诉或建议
版权声明
经营资质
营业执照
出版社经营许可证

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

　

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

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