Belief dynamics and defeasible argumentation in rational agents

9 years 9 months ago
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.
Marcelo A. Falappa, Alejandro Javier García
Added 02 Jul 2010
Updated 02 Jul 2010
Type Conference
Year 2004
Where NMR
Authors Marcelo A. Falappa, Alejandro Javier García, Guillermo Ricardo Simari
Comments (0)