Strategic argumentation: a game theoretical investigation

Argumentation is modelled as a game where the payoffs are measured in terms of the probability that the claimed conclusion is, or is not, defeasibly provable, given a history of arguments that have actually been exchanged, and given the probability of the factual premises. The probability of a conclusion is calculated using a standard variant of Defeasible Logic, in combination with standard probability calculus. It is a new element of the present approach that the exchange of arguments is analysed with game theoretical tools, yielding a prescriptive and to some extent even predictive account of the actual course of play. A brief comparison with existing argument-based dialogue approaches confirms that such a prescriptive account of the actual argumentation has been almost lacking in the approaches proposed so far.

[1]  Glenn Shafer,et al.  A Mathematical Theory of Evidence , 2020, A Mathematical Theory of Evidence.

[2]  Hector Geffner,et al.  Conditional Entailment: Bridging two Approaches to Default Reasoning , 1992, Artif. Intell..

[3]  Thomas F. Gordon,et al.  The pleadings game: formalizing procedural justice , 1993, ICAIL '93.

[4]  David Billington,et al.  Defeasible Logic is Stable , 1993, J. Log. Comput..

[5]  Thomas F. Gordon,et al.  Pleadings game - an artificial intelligence model of procedural justice , 1995 .

[6]  Jaap Hage,et al.  Reason-based logic: a logic for reasoning with rules and reasons , 1994 .

[7]  Ariel Rubinstein,et al.  A Course in Game Theory , 1995 .

[8]  Dov M. Gabbay,et al.  Handbook of Logic in Artificial Intelligence and Logic Programming: Volume 3: Nonmonotonic Reasoning and Uncertain Reasoning , 1994 .

[9]  T. Gordon The Pleadings Game , 1993, ICAIL '93.

[10]  A. Rubinstein,et al.  A Course in Game Theory , 1995 .

[11]  J. Hage Reasoning with Rules: An Essay on Legal Reasoning and Its Underlying Logic , 1996 .

[12]  Jaap Hage,et al.  Reasoning with Rules , 1997 .

[13]  A. Lodder DiaLaw : on legal justification and dialog games , 1998 .

[14]  Guido Governatori,et al.  On the Modeling and Analysis of Regulations , 1999 .

[15]  Michael J. Maher,et al.  On the analysis of regulations using defeasible rules , 1999, Proceedings of the 32nd Annual Hawaii International Conference on Systems Sciences. 1999. HICSS-32. Abstracts and CD-ROM of Full Papers.

[16]  L. Zadeh Fuzzy sets as a basis for a theory of possibility , 1999 .

[17]  Trevor J. M. Bench-Capon Specification and Implementation of Toulmin Dialogue Game , 1999 .

[18]  G. Aldo Antonelli Review: Dov M. Gabbay, C. J. Hogger, J. A. Robinson, D. Nute, Handbook of Logic in Artificial Intelligence and Logic Programming, Volume 3, Nonmonotonic Reasoning and Uncertain Reasoning , 2000 .

[19]  Michael J. Maher,et al.  Representation results for defeasible logic , 2000, TOCL.

[20]  Guido Governatori,et al.  A formal approach to protocols and strategies for (legal) negotiation , 2001, ICAIL '01.

[21]  Michael J. Maher Under consideration for publication in Theory and Practice of Logic Programming 1 Propositional Defeasible Logic has Linear Complexity , 2004 .

[22]  A. C. Roth,et al.  Case-based reasoning in the law : a formal theory of reasoning by case comparison , 2003 .

[23]  Thomas F. Gordon,et al.  The Pleadings Game , 1994, Artificial Intelligence and Law.

[24]  Ronald Prescott Loui Jaap Hage, Reasoning with Rules: An Essay on Legal Reasoning and Its Underlying Logic. Law and Philosophy Library , 2004, Artificial Intelligence and Law.

[25]  Henry Prakken,et al.  Modelling Reasoning with Precedents in a Formal Dialogue Game , 2004, Artificial Intelligence and Law.

[26]  Michael J. Maher,et al.  Argumentation Semantics for Defeasible Logic , 2004, J. Log. Comput..

[27]  Didier Dubois,et al.  Possibility Theory, Probability Theory and Multiple-Valued Logics: A Clarification , 2001, Annals of Mathematics and Artificial Intelligence.

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

[29]  Guido Governatori,et al.  Programming Cognitive Agents in Defeasible Logic , 2005, LPAR.

[30]  Guido Governatori,et al.  Representing business contracts in RuleML , 2005, Int. J. Cooperative Inf. Syst..

[31]  Henry Prakken,et al.  Coherence and Flexibility in Dialogue Games for Argumentation , 2005, J. Log. Comput..

[32]  Guido Governatori,et al.  The cost of social agents , 2006, AAMAS '06.

[33]  Arthur P. Dempster,et al.  A Generalization of Bayesian Inference , 1968, Classic Works of the Dempster-Shafer Theory of Belief Functions.

[34]  Ilhan Kubilay Geçkil,et al.  Game Theory and the Law , 2009 .