From desires to intentions through dialectical analysis

ABSTRACT

In this work, we introduce a framework where defeasible argumentation is used for reasoning about beliefs, desires and intentions. A dialectical filtering process is introduced in order to obtain a subset of the agent's desires containing only those that are actually achievable in the current situation. In our framework, different agents types can be defined and this will affect the way in which current desires are obtained. Finally, intentions will be current desires that the agent may commit to pursue.

REFERENCES

• 1: L. Amgoud. A formal framework for handling conflicting desires. In Proc. of the 7th ECSQARU, pages 552--563, 2003.
• 2: Jan Broersen , Mehdi Dastani , Joris Hulstijn , Zisheng Huang , Leendert van der Torre, The BOID architecture: conflicts between beliefs, obligations, intentions and desires, Proceedings of the fifth international conference on Autonomous agents, p.9-16, May 2001, Montreal, Quebec, Canada [doi>10.1145/375735.375766]
• 3: Marcelo A. Falappa , Gabriele Kern-Isberner , Guillermo R. Simari, Explanations, belief revision and defeasible reasoning, Artificial Intelligence, v.141 n.1, p.1-28, October 2002 [doi>10.1016/S0004-3702(02)00258-8]
• 4: Alejandro J. García , Guillermo R. Simari, Defeasible logic programming: an argumentative approach, Theory and Practice of Logic Programming, v.4 n.2, p.95-138, January 2004 [doi>10.1017/S1471068403001674]
• 5: S. Parsons, C. Sierra, and N. Jennings. Agents that reason and negotiate by arguing. Journal of Logic and Computation, 8(3):261--292, 1998.
• 6: Iyad Rahwan , Leila Amgoud, An argumentation based approach for practical reasoning, Proceedings of the fifth international joint conference on Autonomous agents and multiagent systems, May 08-12, 2006, Hakodate, Japan [doi>10.1145/1160633.1160696]
• 7: N. D. Rotstein and A. J. García. Defeasible reasoning about beliefs and desires. In Proc. of the 11th NMR, pages 429--436, 2006.
• 8: R. Thomason. Desires and defaults: A framework for planning with inferred goals. In Proc. of the 7th KR, pages 702--713, 2000.

INDEX TERMS

Primary Classification:
  I. Computing Methodologies
  I.2 ARTIFICIAL INTELLIGENCE
        I.2.11 Distributed Artificial Intelligence

General Terms:
Theory

Keywords:
BDI architecture, argumentation in agent systems, defeasible argumentation