An argumentation based approach for practical reasoning

We build on recent work on argumentation frameworks for generating desires and plans. We provide a rich instantiation of Dung's abstract argumentation framework for (i) generating consistent desires; and (ii) generating consistent plans for achieving these desires. This is done through three distinct argumentation frameworks: one (now standard) for arguing about beliefs, one for arguing about what desires the agent should adopt, and one for arguing about what plans to intend in order to achieve the agent's desires. More specifically, we refine and extend existing approaches by providing means for comparing arguments based on decision-theoretic notions (cf. utility). Thus, the worth of desires and the cost of resources are integrated into the argumentation frameworks and taken into account when comparing arguments.

[1]  Souhila Kaci,et al.  On the Generation of Bipolar Goals in Argumentation-Based Negotiation , 2004, ArgMAS.

[2]  Antonis C. Kakas,et al.  Argumentation based decision making for autonomous agents , 2003, AAMAS '03.

[3]  Guillermo Ricardo Simari,et al.  Actions, planning and defeasible reasoning , 2004, NMR.

[4]  Henry Prakken,et al.  Argument-Based Extended Logic Programming with Defeasible Priorities , 1997, J. Appl. Non Class. Logics.

[5]  C. Bergmann,et al.  JASON Java-based AgentSpeak interpreter used with saci for multi-agent distribution over the net , 2006 .

[6]  Peter G¿rdenfors,et al.  Belief Revision , 2003 .

[7]  Henry Prakken,et al.  Logics for Defeasible Argumentation , 2001 .

[8]  Anand S. Rao,et al.  Decision Procedures for BDI Logics , 1998, J. Log. Comput..

[9]  Peter Gärdenfors,et al.  Belief Revision , 1995 .

[10]  Peter Gärdenfors,et al.  Belief Revision: Contents , 1992 .

[11]  Claudette Cayrol,et al.  A Reasoning Model Based on the Production of Acceptable Arguments , 2002, Annals of Mathematics and Artificial Intelligence.

[12]  Eduardo L. Fermé,et al.  Belief Revision , 2007, Inteligencia Artif..

[13]  Leon van der Torre,et al.  Combining goal generation and planning in an argumentation framework , 2004, NMR.

[14]  Koen V. Hindriks,et al.  Agent Programming in 3APL , 1999, Autonomous Agents and Multi-Agent Systems.

[15]  Leila Amgoud,et al.  A Formal Framework for Handling Conflicting Desires , 2003, ECSQARU.

[16]  Simon Parsons,et al.  Argumentation-based dialogues for deliberation , 2005, AAMAS '05.

[17]  Trevor J. M. Bench-Capon,et al.  Justifying Practical Reasoning , 2004 .

[18]  Phan Minh Dung,et al.  On the Acceptability of Arguments and its Fundamental Role in Nonmonotonic Reasoning, Logic Programming and n-Person Games , 1995, Artif. Intell..