Belief dynamics and defeasible argumentation in rational agents

The BDI model provides what it is possibly one of the most promising architectures for the development of intelligent agents, and has become one of the most studied and well known in the literature. The basic BDI model needs to be complemented with two mechanisms: one for reasoning about intentions, and one for revising beliefs upon percep-tion. In this work, we introduce a Revision Operator by a Set of Sentences which is a non-prioritized belief revision opera-tor for changing the agent’s beliefs. These beliefs are con-tained in a Knowledge Base which is represented using the language of Defeasible Logic Programming. This formalism provides a framework for knowledge representation and rea-soning about beliefs and intentions. The Knowledge Base is in fact a defeasible logic program and the belief revision op-erator will transform this program preserving as much infor-mation as possible taking into account for this transformation the reasons offered to justify the change in beliefs