Abstract: 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 ukasiewicz logic and propositional dynamic logic to formulize this model,the authors proposed a GBDIPDL+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 ukasiewicz logic.The GBDIPDL+LLagent model in this paper explicitly represents the uncertainty of beliefs,desires and intensions by using multi-context systems,and is general enough to specify different types of agents.The GBDIPDL+LLagent’s behavior is determined by different 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 GBDIPDL+LLlogic 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.

Key words: Graded belief-desire-intention (BDI) agents,Uncertain reasoning,Contexts,Actions,Models