An Argumentation Framework for Reasoning about Bounded Resources

This paper is intended to lay down the basic foundations of logic-based argumentation for reasoning about bounded resources. First, a simple variant of Boolean logic is introduced, allowing us to reason about consuming resources. An adapted tableau method is presented as a means for automated reasoning in the logic. Then, the main concepts of logic-based argumentation are revisited in this framework.

[1]  Emanuel Santos,et al.  A Default Logic Based Framework for Argumentation , 2008, ECAI.

[2]  Anthony Hunter,et al.  A logic-based theory of deductive arguments , 2001, Artif. Intell..

[3]  Ana Gabriela Maguitman,et al.  Logical models of argument , 2000, CSUR.

[4]  V. S. Costa,et al.  Theory and Practice of Logic Programming , 2010 .

[5]  Paul Ruet,et al.  Non-Commutative Logic I: The Multiplicative Fragment , 1999, Ann. Pure Appl. Log..

[6]  Trevor J. M. Bench-Capon,et al.  Argumentation in artificial intelligence , 2007, Artif. Intell..

[7]  David J. Pym,et al.  On bunched predicate logic , 1999, Proceedings. 14th Symposium on Logic in Computer Science (Cat. No. PR00158).

[8]  J. A. Robinson,et al.  A Machine-Oriented Logic Based on the Resolution Principle , 1965, JACM.

[9]  John Fox,et al.  A LOGIC OF ARGUMENTATION FOR REASONING UNDER UNCERTAINTY , 1995, Comput. Intell..

[10]  Patrick Lincoln,et al.  Linear logic , 1992, SIGA.

[11]  Henry Prakken,et al.  A dialectical model of assessing conflicting arguments in legal reasoning , 1996, Artificial Intelligence and Law.

[12]  John L. Pollock,et al.  How to Reason Defeasibly , 1992, Artif. Intell..

[13]  Iyad Rahwan,et al.  Argumentation in Multi-Agent Systems, 6th International Workshop, ArgMAS 2009, Budapest, Hungary, May 12, 2009. Revised Selected and Invited Papers , 2010, ArgMAS.

[14]  Michael Wooldridge,et al.  Properties and Complexity of Some Formal Inter-agent Dialogues , 2003, J. Log. Comput..

[15]  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..

[16]  Peter W. O'Hearn,et al.  The Logic of Bunched Implications , 1999, Bulletin of Symbolic Logic.

[17]  Anthony Hunter,et al.  Elements of Argumentation , 2007, ECSQARU.

[18]  Guillermo Ricardo Simari,et al.  Defeasible logic programming: an argumentative approach , 2003, Theory and Practice of Logic Programming.

[19]  Éric Grégoire,et al.  MUS-based generation of arguments and counter-arguments , 2010, 2010 IEEE International Conference on Information Reuse & Integration.