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 perception. In this work, we introduce a Revision Operator by a Set of Sentences which is a non-prioritized belief revision operator for changing the agent’s beliefs. These beliefs are contained in a Knowledge Base which is represented using the language of Defeasible Logic Programming. This formalism provides a framework for knowledge representation and reasoning about beliefs and intentions. The Knowledge Base is in fact a defeasible logic program and the belief revision operator will transform this program preserving as much information as possible taking into account for this transformation the reasons offered to justify the change in beliefs.

• Type: Conference
• Year: 2004
• Where: NMR
• Authors: Marcelo A. Falappa, Alejandro Javier García, Guillermo Ricardo Simari
• Keywords: Artificial Intelligence, BDI Model, Belief Revision Operator, NMR 2004, Revision Operator