智能主体的等级BDI(信念、愿望和意图)模型

Graded Belief-Desire-Intention(BDI)Models for Agent Architectures

BDI(信念、愿望和意图)模型是影响最为广泛的主体技术之一。在把无穷值的ukasiewicz逻辑和命题动态逻辑进行融合后对等级BDI主体模型进行形式化的基础上,提出了GBDI_(PDL+LL)逻辑。为了通过概率、必然性和可能性对不确定性行为进行表示和推理,把相应的公理添加到■ukasiewicz逻辑中。文中的GBDI_(PDL+LL)主体模型使用多背景系统,清晰地表示了信念、愿望和意图的不确定性。GBDI_(PDL+LL)主体行为则通过添加具体条件的每种背景的不同测度来决定。对信念、愿望和意图的模型进行了公理化,并说明了它们对主体行为的影响,该模型可以很轻易地向包括其他心理状态的主体进行推广。在给出了GBDI_(PDL+LL)模型语言、语义和GBDI_(PDL+LL)逻辑的公理和演绎规则后,证明了此逻辑系统的完全性和可靠性。之后,在对复合行动进行形式刻画的基础上,描述了GBDI_(PDL+LL)模型的不同背景之间的关系。文章立足于不确定性的表示和推理,志在为分布式人工智能提供形式支持。

The Belief-Desire-Intention （BDI） model is one of the most influential theories with respect to agent techno- logy. On the basis of blending the infinite-valued Lukasiewicz logic and propositional dynamic logic to formulize this model, the authors proposed a GBDIPDL＋LL logic in this paper. In order to represent the uncertainty behavior as a probability,necessity and possibility, the corresponding axioms were added to the Lcukasiewicz logic. The GBDIPDL＋LL agent model in this paper explicitly represents the uncertainty of beliefs, desires and intensions by using multi-context sys- tems, and is general enough to specify differe.nt types of agents. The GBDIPDL＋LL agent＇s behavior is determined by dif- ferent measures of each context which is added by concrete conditions. This paper is to look for a possible axiomatic modeling of beliefs, desires and intensions, and to show how they influence the agent＇s behavior. This model can also easily be extended to the people who have other mental attitudes. After presenting the language and semantics for this model, we proposed axioms and rules for the GBDIPDL＋LL logic and proved soundness and completeness. On the basis of dealing with composite action, we illustrated the relationship between/among contexts for the model. It is hoped that the present study will make contributions to uncertain representation and reasoning as well as providing a formal support for distributed artificial intelligence.