杭州电子科技大学图书馆书目检索系统

Online Public Access Catalogue

题名/责任者:

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

出版发行项:

北京:科学出版社,2023

ISBN及定价:

978-7-03-073415-0/CNY138.00

载体形态项:

296页:图;24cm

个人责任者:

郝一江 著

学科主题:

动态逻辑-研究

中图法分类号:

B815.5

一般附注:

国家社科基金后期资助项目“人工智能视域下的一阶动态逻辑与Agent行为推理及其哲学反思(批准号: 20FZXB037)”的最终成果

书目附注:

有书目 (第275-296页)

提要文摘附注:

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

豆瓣简介：