Cognitive Argumentation and the Suppression Task

This paper addresses the challenge of modeling human reasoning, within a new framework called Cognitive Argumentation. This framework rests on the assumption that human logical reasoning is inherently a process of dialectic argumentation and aims to develop a cognitive model for human reasoning that is computational and implementable. To give logical reasoning a human cognitive form the framework relies on cognitive principles, based on empirical and theoretical work in Cognitive Science, to suitably adapt a general and abstract framework of computational argumentation from AI. The approach of Cognitive Argumentation is evaluated with respect to Byrne's suppression task, where the aim is not only to capture the suppression effect between different groups of people but also to account for the variation of reasoning within each group. Two main cognitive principles are particularly important to capture human conditional reasoning that explain the participants' responses: (i) the interpretation of a condition within a conditional as sufficient and/or necessary and (ii) the mode of reasoning either as predictive or explanatory. We argue that Cognitive Argumentation provides a coherent and cognitively adequate model for human conditional reasoning that allows a natural distinction between definite and plausible conclusions, exhibiting the important characteristics of context-sensitive and defeasible reasoning.

[1]  Loizos Michael,et al.  Cognitive Reasoning and Learning Mechanisms , 2016, AIC.

[2]  Chris Reed,et al.  Debating Technology for Dialogical Argument , 2017, ACM Trans. Internet Techn..

[3]  Antonis C. Kakas,et al.  GORGIAS: Applying argumentation , 2018, Argument Comput..

[4]  Steffen Hölldobler,et al.  The Syllogistic Reasoning Task: Reasoning Principles and Heuristic Strategies in Modeling Human Clusters , 2017, DECLARE.

[5]  Sangeet Khemlani,et al.  Why Machines Don’t (yet) Reason Like People , 2019, KI - Künstliche Intelligenz.

[6]  R. Byrne Suppressing valid inferences with conditionals , 1989, Cognition.

[7]  P. Johnson-Laird,et al.  Mental Models: Towards a Cognitive Science of Language, Inference, and Consciousness , 1985 .

[8]  J. Pollock Cognitive Carpentry: A Blueprint for How to Build a Person , 1995 .

[9]  Henry Prakken,et al.  Logical Tools for Modelling Legal Argument: A Study of Defeasible Reasoning in Law , 1997 .

[10]  Walter Schaeken,et al.  Strategies during complex conditional inferences , 2000 .

[11]  Philip N. Johnson-Laird,et al.  Mental Models in Cognitive Science , 1980, Cogn. Sci..

[12]  Philip M. Fernbach,et al.  Neglect of Alternative Causes in Predictive but Not Diagnostic Reasoning , 2010, Psychological science.

[13]  P. Johnson-Laird,et al.  Reasoning from inconsistency to consistency. , 2004, Psychological review.

[14]  D. Walton Argumentation Schemes for Presumptive Reasoning , 1995 .

[15]  Siobhan Chapman Logic and Conversation , 2005 .

[16]  Steffen Hölldobler,et al.  Obligation versus Factual Conditionals under the Weak Completion Semantics , 2017, YSIP.

[17]  Paolo Mancarella,et al.  The Acceptability Semantics for Logic Programs , 1994, ICLP.

[18]  Philip N. Johnson-Laird,et al.  Facts and Possibilities: A Model-Based Theory of Sentential Reasoning , 2018, Cogn. Sci..

[19]  Keith Stenning,et al.  Human Reasoning and Cognitive Science , 2008 .

[20]  Karolin Baecker,et al.  Inference to the Best Explanation: , 2021, The Material Theory of Induction.

[21]  Antonis C. Kakas,et al.  Computing Argumentation in Logic Programming , 1999, J. Log. Comput..

[22]  R. Nickerson Conditional Reasoning: The Unruly Syntactics, Semantics, Thematics, and Pragmatics of "If" , 2015 .

[23]  Pavlos Moraitis,et al.  Making Decisions through Preference-Based Argumentation , 2008, KR.

[24]  Richard A. Griggs,et al.  The elusive thematic‐materials effect in Wason's selection task , 1982 .

[25]  Steffen Hölldobler,et al.  A Computational Logic Approach to the Suppression Task , 2012, CogSci.

[26]  Paolo Mancarella,et al.  On Argumentation Logic and Propositional Logic , 2018, Stud Logica.

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

[28]  D. Sperber,et al.  Relevance: Communication and Cognition , 1997 .

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

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

[31]  Karin Baier,et al.  The Uses Of Argument , 2016 .

[32]  Emmanuelle-Anna Dietz Saldanha,et al.  Cognitive Argumentation for Human Syllogistic Reasoning , 2019, KI - Künstliche Intelligenz.

[33]  R. Byrne Précis of The Rational Imagination: How People Create Alternatives to Reality , 2007, Behavioral and Brain Sciences.

[34]  Antonis C. Kakas,et al.  Informalizing Formal Logic , 2019, Bridging@CogSci.

[35]  Phan Minh Dung,et al.  Dialectic proof procedures for assumption-based, admissible argumentation , 2006, Artif. Intell..

[36]  S. Toulmin The uses of argument , 1960 .

[37]  Henry Prakken,et al.  A general account of argumentation with preferences , 2013, Artif. Intell..

[38]  A. Tversky,et al.  Prospect theory: an analysis of decision under risk — Source link , 2007 .

[39]  J. Dessalles,et al.  Arguing, reasoning, and the interpersonal (cultural) functions of human consciousness , 2011, Behavioral and Brain Sciences.

[40]  H. Kelley The processes of causal attribution. , 1973 .

[41]  Ines Gloeckner,et al.  Relevance Communication And Cognition , 2016 .

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

[43]  P C Wason,et al.  Reasoning about a Rule , 1968, The Quarterly journal of experimental psychology.

[44]  Anton Kühberger,et al.  The Framing of Decisions: A New Look at Old Problems , 1995 .

[45]  S. Sloman When explanations compete: the role of explanatory coherence on judgements of likelihood , 1994, Cognition.

[46]  John L. Pollock,et al.  Defeasible Reasoning , 2020, Synthese Library.

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

[48]  Drew McDermott,et al.  A critique of pure reason 1 , 1987, The Philosophy of Artificial Intelligence.