书目详细信息
： 基于一阶动态逻辑的Agent行为推理及其哲学反思
书目信息 机读格式(MARC)
| ISBN/价格： | 978-7-03-073415-0:CNY138.00 |
|---|---|
| 作品语种： | chi |
| 出版国别： | CN 110000 |
| 题名责任者项： | 基于一阶动态逻辑的Agent行为推理及其哲学反思/.郝一江著 |
| 出版发行项： | 北京:,科学出版社:,2023.05 |
| 载体形态项： | 296页:;+24cm |
| 一般附注： | 本书是国家社科基金后期资助项目“人工智能视域下的一阶动态逻辑与Agent行为推理及其哲学反思”的最终成果 国家社科基金后期资助项目 |
| 提要文摘： | 本书从人工智能的视角, 研究了“基于一阶动态逻辑及其扩展系统的Agent行为推理”, 并对相关问题进行了哲学反思。具体内容包括: 作为一阶动态逻辑的基础系统的命题动态逻辑、一阶动态逻辑系统及其复杂性与表达力、基于类型命题动态逻辑的行动类型与Agent能力推理、基于规划修订动态逻辑的Agent规划修订推理、基于动态逻辑的Agent交互协议推理、相关问题的哲学反思与展望性研究。 |
| 题名主题： | 动态逻辑 研究 |
| 索书号： | B815.5/H33 |
| 中图分类： | B815.5 |
| 个人名称等同： | 郝一江 著 |
| 记录来源： | CN 人天书店 20230707 |