机读格式显示(MARC)

• 000 01369nam0 2200265 450

• 001 0000475443

• 005 20241008151300.0

• 010 __ |a 978-7-03-073415-0 |d CNY138.00

• 100 __ |a 20230708d2023 em y0chiy50 ea

• 101 0_ |a chi

• 102 __ |a CN |b 110000

• 105 __ |a a a 000yy

• 106 __ |a r

• 200 1_ |a 基于一阶动态逻辑的Agent行为推理及其哲学反思 |A ji yu yi jie dong tai luo ji de Agent xing wei tui li ji qi zhe xue fan si |f 郝一江著

• 210 __ |a 北京 |c 科学出版社 |d 2023

• 215 __ |a 296页 |c 图 |d 24cm

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

• 314 __ |a 郝一江, 2002年取得浙江大学哲学博士学位, 中国社会科学院和华中科技大学两站博士后, 中国社会科学院哲学所副研究员。

• 320 __ |a 有书目 (第275-296页)

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

• 606 0_ |a 动态逻辑 |A dong tai luo ji |x 研究

• 690 __ |a B815.5 |v 5

• 701 _0 |a 郝一江 |A hao yi jiang |4 著

• 801 _0 |a CN |b 湖北三新 |c 20230708

• 905 __ |a AUSTL |d B815.5/H921