基于一阶动态逻辑的Agent行为推理及其哲学反思
全新正版 极速发货
￥ 89.4 6.5折 ￥ 138 全新
库存4件
广东广州
认证卖家担保交易快速发货售后保障
作者郝一江
出版社科学出版社
ISBN9787030734150
出版时间2023-05
装帧平装
开本16开
定价138元
货号1202980499
上书时间2024-08-07
商品详情
- 品相描述：全新
- 商品描述
-
目录
国家社科基金后期资助项目出版说明
前言
第一章绪论
第一节学术背景和研究价值
第二节国内外研究状况
第二章一阶动态逻辑的基础系统——命题动态逻辑
第一节正则命题动态逻辑的句法
第二节正则命题动态逻辑的语义
第三节正则命题动态逻辑的计算序列
第四节正则命题动态逻辑的可满足性和有效性
第五节正则命题动态逻辑的演绎系统
第六节正则命题动态逻辑的基本性质
一、源于模态逻辑的基本性质
二、选择算子∪、复合算子；和测试算子？的性质
三、逆算子-的性质
……
内容摘要
《基于一阶动态逻辑的Agent行为推理及其哲学反思》从人工智能的视角，研究了“基于一阶动态逻辑及其扩展系统的Agent行为推理”，并对相关问题进行了哲学反思。具体内容包括：作为一阶动态逻辑的基础系统的命题动态逻辑、一阶动态逻辑系统及其复杂性与表达力、基于类型命题动态逻辑的行动类型与Agent能力推理、基于规划修订动态逻辑的Agent规划修订推理、基于动态逻辑的Agent交互协议推理、相关问题的哲学反思与展望性研究。
— 没有更多了 —
以下为对购买帮助不大的评价