|
题名:
|
基于一阶动态逻辑的Agent行为推理及其哲学反思 / 郝一江著 , |
|
ISBN:
|
978-7-03-073415-0 价格： CNY138.00 |
|
语种:
|
chi |
|
载体形态:
|
296页 24cm |
|
出版发行:
|
出版地： 北京 出版社： 科学出版社 出版日期： 2023 |
|
内容提要:
|
本书研究了“基于一阶动态逻辑及其扩展系统的Agent行为推理”，并对相关问题进行了哲学反思。具体内容包括：作为一阶动态逻辑的基础系统的命题动态逻辑、一阶动态逻辑系统及其复杂性与表达力、基于类型命题动态逻辑的行动类型与Agent能力推理、基于规划修订动态逻辑的Agent规划修订推理、基于动态逻辑的Agent交互协议推理、相关问题的哲学反思与展望性研究。 |
|
主题词:
|
动态逻辑 研究 |
|
中图分类法:
|
B815.5 版次： 5 |
|
主要责任者:
|
郝一江 著 |
|
附注:
|
国家社科基金后期资助项目“人工智能视域下的一阶动态逻辑与Agent行为推理及其哲学反思的最终成果 |