信念愿望意图逻辑探析

摘要：

在理性主体寻求达成其目的的过程中，信念、愿望和意图起着重要的作用。由 Rao 和Georgeff 提出的信念愿望意图逻辑是建立在分支时间可能世界模型的基础之上的。说明了该逻辑框架对意图的重要成分（比如：信念、愿望、意图和承诺）是如何进行形式化的。另外，不同类型的理性主体可以通过添加特定的条件来进行建模。

关键词：信念、愿望、意图、承诺、BDI 逻辑

所属期刊栏目：30

分类号：B81(逻辑学(论理学))

资助基金：教育部人文社会科学研究规划基金项目“基于 BDI信念、愿望和意图逻辑的慎思 Agent 的行为决策研究”13YJA72040001

在线出版日期：2016-05-12（万方平台首次上网日期，不代表论文的发表时间）

页数：共7页

页码：18-24