信念愿望意图逻辑探析

摘要

Beliefs,desires and intensions play important roles in determining the behavior of rational agents when they seek to attain their goals. Belief-Desire-Intension logic presented by Rao and Georgeff(1991)was based on a branching-time possible-worlds model. This paper is shown how the formalism realizes many of the important elements of agents’intensions,such as beliefs,desires in-tensions and commitments. Different types of rational agents can be modeled by imposing certain con-ditions.%在理性主体寻求达成其目的的过程中，信念、愿望和意图起着重要的作用。由 Rao 和Georgeff 提出的信念愿望意图逻辑是建立在分支时间可能世界模型的基础之上的。说明了该逻辑框架对意图的重要成分（比如：信念、愿望、意图和承诺）是如何进行形式化的。另外，不同类型的理性主体可以通过添加特定的条件来进行建模。