A neural cognitive model of argumentation with application to legal inference and decision making

Formal models of argumentation have been investigated in several areas, from multi-agent systems and artificial intelligence (AI) to decision making, philosophy and law. In artificial intelligence, logic-based models have been the standard for the representation of argumentative reasoning. More recently, the standard logic-based models have been shown equivalent to standard connectionist models. This has created a new line of research where (i) neural networks can be used as a parallel computational model for argumentation and (ii) neural networks can be used to combine argumentation, quantitative reasoning and statistical learning. At the same time, non-standard logic models of argumentation started to emerge. In this paper, we propose a connectionist cognitive model of argumentation that accounts for both standard and non-standard forms of argumentation. The model is shown to be an adequate framework for dealing with standard and non-standard argumentation, including joint-attacks, argument support, ordered attacks, disjunctive attacks, meta-level attacks, self-defeating attacks, argument accrual and uncertainty. We show that the neural cognitive approach offers an adequate way of modelling all of these different aspects of argumentation. We have applied the framework to the modelling of a public prosecution charging decision as part of a real legal decision making case study containing many of the above aspects of argumentation. The results show that the model can be a useful tool in the analysis of legal decision making, including the analysis of what-if questions and the analysis of alternative conclusions. The approach opens up two new perspectives in the short-term: the use of neural networks for computing prevailing arguments efficiently through the propagation in parallel of neuronal activations, and the use of the same networks to evolve the structure of the argumentation network through learning (e.g. to learn the strength of arguments from data).

[1]  Michael Wooldridge,et al.  Inconsistency tolerance in weighted argument systems , 2009, AAMAS.

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

[3]  Phan Minh Dung,et al.  Modular argumentation for modelling legal doctrines in common law of contract , 2008, Artificial Intelligence and Law.

[4]  Rolf Haenni,et al.  Probabilistic Argumentation Systems , 2003 .

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

[6]  Stephen Muggleton,et al.  Meta-interpretive learning of higher-order dyadic datalog: predicate invention revisited , 2013, Machine Learning.

[7]  Sanjay Modgil,et al.  Reasoning about preferences in argumentation frameworks , 2009, Artif. Intell..

[8]  Dov M. Gabbay,et al.  Neural-Symbolic Cognitive Reasoning , 2008, Cognitive Technologies.

[9]  Dov M. Gabbay,et al.  Temporal Dynamics of Support and Attack Networks: From Argumentation to Zoology , 2005, Mechanizing Mathematical Reasoning.

[10]  H. B. Verheij Rules, reasons, arguments : formal studies of argumentation and defeat , 1996 .

[11]  John L. Pollock,et al.  Self-defeating arguments , 1991, Minds and Machines.

[12]  Iyad Rahwan,et al.  Behavioral Experiments for Assessing the Abstract Argumentation Semantics of Reinstatement , 2010, Cogn. Sci..

[13]  Howard Bowman,et al.  On the Fringe of Awareness: The Glance-Look Model of Attention-Emotion Interactions , 2010, ICANN.

[14]  David Poole,et al.  The Independent Choice Logic and Beyond , 2008, Probabilistic Inductive Logic Programming.

[15]  Antonino Rotolo,et al.  Probabilistic rule-based argumentation for norm-governed learning agents , 2012, Artificial Intelligence and Law.

[16]  Dov M. Gabbay,et al.  Logical Modes of Attack in Argumentation Networks , 2009, Stud Logica.

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

[18]  Dov M. Gabbay,et al.  Fibring Argumentation Frames , 2009, Stud Logica.

[19]  Phan Minh Dung,et al.  An Abstract, Argumentation-Theoretic Approach to Default Reasoning , 1997, Artif. Intell..

[20]  S. Hyakin,et al.  Neural Networks: A Comprehensive Foundation , 1994 .

[21]  Martin Caminada,et al.  On the evaluation of argumentation formalisms , 2007, Artif. Intell..

[22]  Bart Verheij,et al.  Accrual of arguments in defeasible argumentation , 1999 .

[23]  Stefan Woltran,et al.  Abstract Dialectical Frameworks , 2010, KR.

[24]  Trevor J. M. Bench-Capon Persuasion in Practical Argument Using Value-based Argumentation Frameworks , 2003, J. Log. Comput..

[25]  Simon Parsons,et al.  A Model for Integrating Dialogue and the Execution of Joint Plans , 2009, ArgMAS.

[26]  Anthony Hunter,et al.  A probabilistic approach to modelling uncertain logical arguments , 2013, Int. J. Approx. Reason..

[27]  Ivan Bratko,et al.  Argument based machine learning , 2006, Artif. Intell..

[28]  Martin Caminada,et al.  On the Issue of Reinstatement in Argumentation , 2006, JELIA.

[29]  Krysia Broda,et al.  Neural-symbolic learning systems - foundations and applications , 2012, Perspectives in neural computing.

[30]  Francesca Toni,et al.  Abstract argumentation , 1996, Artificial Intelligence and Law.

[31]  Gerhard Brewka,et al.  Dynamic Argument Systems: A Formal Model of Argumentation Processes Based on Situation Calculus , 2001, J. Log. Comput..

[32]  Trevor J. M. Bench-Capon,et al.  Exploring the Role of Emotions in Rational Decision Making , 2010, COMMA.

[33]  Dov M. Gabbay,et al.  Handbook of defeasible reasoning and uncertainty management systems: volume 2: reasoning with actual and potential contradictions , 1998 .

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

[35]  Ivan Bratko,et al.  Argument-Based Machine Learning , 2006, ISMIS.

[36]  Michael Gelfond,et al.  Classical negation in logic programs and disjunctive databases , 1991, New Generation Computing.

[37]  Dov M. Gabbay,et al.  Value-based Argumentation Frameworks as Neural-symbolic Learning Systems , 2005, J. Log. Comput..

[38]  Hajime Sawamura,et al.  A Hybrid Argumentation of Symbolic and Neural Net Argumentation (Part I) , 2007, ArgMAS.

[39]  Carlos Iván Chesñevar,et al.  Integrating defeasible argumentation with fuzzy ART neural networks for pattern classification , 2004 .