基于一阶动态逻辑的Agent行为推理及其哲学反思
作者: 郝一江著
出版社: 科学出版社
出版日期: 2023.05
ISBN-13: 9787030734150
ISBN-10: 7030734157
页数: 297
原书定价: 138.00
开本: 16开
丛书名: 无
主题词: 动态逻辑·研究
中图分类号: B815.5
中图分类名: 哲学、宗教›逻辑学（论理学）›哲理逻辑（非经典逻辑）›时态逻辑
本书从人工智能的视角，研究了“基于一阶动态逻辑及其扩展系统的Agent行为推理”，并对相关问题进行了哲学反思。具体内容包括：作为一阶动态逻辑的基础系统的命题动态逻辑、一阶动态逻辑系统及其复杂性与表达力、基于类型命题动态逻辑的行动类型与Age…目录仅对会员开放。