信念-愿望-意图逻辑的哲学基础及其在人工智能中的应用
定 价：198 元
- 作者：郝一江著
- 出版时间：2024/10/1
- ISBN：9787030797063
- 出 版 社：科学出版社
- 中图法分类：B81
- 页码：261页
- 纸张：
- 版次：1
- 开本：26cm
本专著以国内外新近相关文献为基础，围绕“信念-愿望-意图逻辑的哲学基础及其前沿问题”进行了研究。主要内容包括：信念-愿望-意图(简称BDI)逻辑的哲学基础、信念-愿望-意图逻辑的形式系统、面向Agent环境的信念修正、Agent结构的等级BDI模型、等级BDI逻辑的执行语言、带有偏好的等级BDI-Agent模型、BDI-Agent情感触发器的形式模型、情感等级BDI-Agent的形式模型、带有规范性慎思的BDI推理、BDI逻辑的纤维语义学、BDI逻辑在有穷状态世界上的模型检测、基于BDI逻辑的多Agent系统中的学习机制、多Agent系统的形式说明与验证、社会仿真中的BDI-Agent、BDI逻辑的旧问题与新观点。
更多科学出版社服务，请扫码获取。
1991.9--1995.6：山西师范大学哲学专业本科毕业
1995.9--1998.6：贵州师范大学哲学专业硕士毕业
1998.9--2002.6：浙江大学希腊哲学专业博士毕业
2002.7--2005.9：中国社会科学院哲学所数学哲学博士后
2013.9--2017.9：华中科技大学哲学博士后2005年9月至今：中国社会科学院哲学研究所[01]主持：2020年国家社科基金后期项目"人工智能视域下的一阶动态逻辑与Agent行为推理及其哲学反思"（项目编号：20FZXB037）
[02]主持：2005年中国社会科学院青年科研启动基金项目"柏拉图后期数学哲学研究"
无
目录
国家社科基金后期资助项目出版说明
前言
第一章 导论 1
第一节 本选题的学术依据和提出背景 1
第二节 国内外研究状况 3
第三节 主要内容、研究方法、研究价值等 10
第二章 信念-愿望-意图逻辑的哲学基础 18
第一节 引言 19
第二节 通向规划理论的道路 28
第三节 规划与实践推理 39
第四节 关于Agent理性的一般理论 56
第五节 重新考虑与Agent理性 63
第六节 Agent理性的历史原则 76
第七节 承诺再论 102
第八节 意图的两面性 105
第九节 意图行动 118
第十节 意图和预期的副作用 127
第十一节 结论与未来的工作 147
第三章 信念-愿望-意图逻辑的形式系统 150
第一节 引言 150
第二节 研究方法 156
第三节 理性行为形式理论的要素 157
第四节 持续目标 171
第五节 关于行动的信念 175
第六节 作为持续目标的意图 178
第七节 满足意图的要求 182
第八节 狂热目标的终结 186
第九节 Agent系统结构的作用 188
第十节 结论与未来的工作 189
第四章 面向Agent环境的信念修正：行动改变心智 191
第一节 引言 192
第二节 知识、信念、能力、机会及其结果 193
第三节 行动改变心智 198
第四节 结论与未来的工作 225
第五章 Agent结构的等级BDI 模型 227
第一节 引言 227
第二节 等级BDI-Agent模型 229
第三节 信念背景 230
第四节 愿望背景 233
第五节 意图背景 236
第六节 规划和交流背景 237
第七节 桥规则 238
第八节 等级BDI-Agent在旅游建议中的应用实例 240
第九节 结论与未来的工作 242
第六章 等级BDI-Agent的执行语言 244
第一节 引言 244
第二节 过程演算 245
第三节 多背景演算 249
第四节 操作语义 252
第五节 等级BDI-Agent到多背景演算的映射 254
第六节 结论与未来的工作 259
第七章 带有偏好的等级BDI-Agent模型 261
第一节 引言 261
第二节 愿望背景 DC 263
第三节 意图背景 IC 269
第四节 信念背景 BC 271
第五节 等级BDI-Agent的运行步骤 272
第六节 结论与未来的工作 274
第八章 BDI-Agent情感触发器的形式模型 276
第一节 引言 276
第二节 OCC模型 278
第三节 OCC模型情感诱发条件的形式化 284
第四节 动态信念逻辑基础 294
第五节 基于信念-愿望-意图的逻辑基础 301
第六节 相关研究 310
第七节 结论与未来的工作 313
附录 命题证明 314
第九章 情感等级BDI-Agent的形式模型 318
第一节 引言 318
第二节 情感等级BDI逻辑EBDI 319
第三节 对EBDI逻辑中的情感的建模准备 329
第四节 对EBDI逻辑中的情感进行建模 332
第五节 相关研究对比 335
第六节 结论与未来的工作 336
第十章 带有规范性慎思的BDI推理 337
第一节 引言 337
第二节 说明性场景 339
第三节 经典的BDI推理 339
第四节 对规范的处理 347
第五节 使用规范对经典BDI推理进行扩展 362
第六节 相关工作 363
第七节 结论与未来的工作 368
附录一 基本定义 370
附录二 带规范的 BDI 推理算法 371
第十一章 BDI逻辑的纤维语义学 377
第一节 引言 377
第二节 BDI逻辑和多模态逻辑 378
第三节 模态逻辑的纤维表示 380
第四节 Agent心智状态的语义学 382
第五节 纤维函数的条件 384
第六节 结论与未来的工作 388
第十二章 BDI逻辑在有穷状态世界上的模型检测 389
第一节 引言 389
第二节 带有BDI模态算子的分支时间逻辑CTL*BDI 391
第三节 判定算法 392
第四节 结论与未来的工作 396
第十三章 基于BDI 逻辑的多Agent系统的学习机制 397
第一节 引言 397
第二节 BDI-Agent 398
第三节 BDI学习Agent 403
第四节 第一层级的学习：集中化学习 406
第五节 第二层级的学习：多Agent系统中的BDI学习Agent 409
第六节 结论与未来的工作 410
第十四章 多Agent系统的形式说明与验证 412
第一节 引言 412
第二节 多 Agent系统的形式说明 413
第三节 多 Agent系统结构 417
第四节 BDICTL模型检测方法 419
第五节 结论与未来的工作 420
第十五章 社会仿真中的BDI-Agent及其应用 421
第一节 引言 421
第二节 社会仿真中 BDI-Agent及其优点 424
第三节 方法论指南：何时在仿真中使用 BDI-Agent？ 430
第四节 技术指南：如何在仿真中集成 BDI-Agent？ 451
第五节 BDI-Agent应用实例一：护理机器人 454
第六节 BDI-Agent应用实例二：空中交通管理系统 458
第七节 结论与未来的工作 468
第十六章 信念-愿望-意图逻辑的旧问题与新观点 469
第一节 Bratman的信念-愿望-意图模型 470
第二节 BDI的实现及其缺点 472
第三节 BDI逻辑及其不足 475
第四节 未来研究的挑战 478
参考文献 483
附录 基础知识 519
附录一 无穷值？ukasiewicz逻辑 519
附录二 Pavelka有理数逻辑 523
附录三 模糊逻辑与概率模糊逻辑 524
附录四 多模态分支时间逻辑 BDICTL 534
后记 537
书单推荐
