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

定　价：¥138.00

作　者：	郝一江
出版社：	科学出版社
丛编项：
标　签：	暂缺

购买这本书可以去

当当网 (¥103.50)

ISBN：	9787030734150	出版时间：	2023-06-01	包装：	平装胶订
开本：		页数：		字数：

内容简介

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