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