- 商品参数
-
- 作者:
郝一江著|
无译
- 出版社:科学出版社
- 出版时间: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