书堆儿服务号
书堆儿App

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

作者:郝一江出版时间:2023/6/1出版社:科学出版社
ISBN:9787030734150价格:¥138
  分享至
内容简介
本书从人工智能的视角,研究了“基于一阶动态逻辑及其扩展系统的Agent行为推理”,并对相关问题进行了哲学反思。具体内容包括:作为一阶动态逻辑的基础系统的命题动态逻辑、一阶动态逻辑系统及其复杂性与表达力、基于类型命题动态逻辑的行动类型与Agent能力推理、基于规划修订动态逻辑的Agent规划修订推理、基于动态逻辑的Agent交互协议推理、相关问题的哲学反思与展望性研究。
作者简介
暂无
精彩书评
暂无
目录
暂无
书摘
暂无
精彩图书推荐