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

全新正版假一赔十可开发票

96.94 7.0折 138 全新

库存4件

北京东城

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

作者郝一江

出版社科学出版社

ISBN9787030734150

出版时间2023-05

装帧平装

开本16开

定价138元

货号1202980499

上书时间2024-08-24

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

商品描述: 目录
国家社科基金后期资助项目出版说明

前言

第一章绪论

第一节学术背景和研究价值

第二节国内外研究状况

第二章一阶动态逻辑的基础系统——命题动态逻辑

第一节正则命题动态逻辑的句法

第二节正则命题动态逻辑的语义

第三节正则命题动态逻辑的计算序列

第四节正则命题动态逻辑的可满足性和有效性

第五节正则命题动态逻辑的演绎系统

第六节正则命题动态逻辑的基本性质

一、源于模态逻辑的基本性质

二、选择算子∪、复合算子；和测试算子？的性质

三、逆算子-的性质

……

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

— 没有更多了 —