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

收藏
  • 【作者】郝一江
  • 【关键词】动态逻辑 研究
  • 【出版社】科学出版社
  • 【出版日期】2023.05
  • 【ISBN】978-7-03-073415-0
  • 【中图分类号】 B815.5
  • 【内容简介】本书从人工智能的视角,研究了“基于一阶动态逻辑及其扩展系统的Agent行为推理”,并对相关问题进行了哲学反思。具体内容包括:作为一阶动态逻辑的基础系统的命题动态逻辑、一阶动态逻辑系统及其复杂性与表达力、基于类型命题动态逻辑的行动类型与Agent能力推理、基于规划修订动态逻辑的Agent规划修订推理、基于动态逻辑的Agent交互协议推理、相关问题的哲学反思与展望性研究。全部展开
  • 【页码】296页
  • 【文献类型】图书
  • 【所属馆】

    浙江图书馆

  • 【获取途径】
联合资源统一检索系统 超星 V2.0
已保存的题录(0)
选出输出字段:
加载保存列表...
清空文件夹
注:
通过勾选,使对应参与检索,从而可以轻松获得更全面的检索结果。