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

正版保障假一赔十电子发票

93.49 6.8折 138 全新

库存6件

湖北武汉

认证卖家担保交易快速发货售后保障

作者郝一江著

出版社科学出版社

ISBN9787030734150

出版时间2023-05

装帧平装

开本其他

定价138元

货号4403270

上书时间2024-12-23

已实名已认证进店收藏店铺

商品描述: 目录
本书从人工智能的视角, 研究了“基于一阶动态逻辑及其扩展系统的Agent行为推理”, 并对相关问题进行了哲学反思。具体内容包括: 作为一阶动态逻辑的基础系统的命题动态逻辑、一阶动态逻辑系统及其复杂性与表达力、基于类型命题动态逻辑的行动类型与Agent能力推理、基于规划修订动态逻辑的Agent规划修订推理、基于动态逻辑的Agent交互协议推理、相关问题的哲学反思与展望性研究。

内容摘要
本书以国内外新近相关文献为基础，第一章是"绪论"。第二章是"一阶动态逻辑的基础系统命题动态逻辑"。第三章是"一阶动态逻辑系统及其复杂性与表达力"。第四章是"基于类型命题动态逻辑的行动类型与Agent能力推理"。第五章是"基于规划修订动态逻辑的Agent规划修订推理"。第六章是"基于动态逻辑的Agent交互协议推理"。第七章是"相关问题的哲学反思与展望性研究"。

— 没有更多了 —