Contextual Abductive Reasoning with Side-Effects

The belief bias effect is a phenomenon which occurs when we think that we judge an argument based on our reasoning, but are actually influenced by our beliefs and prior knowledge. Evans, Barston and Pollard carried out a psychological syllogistic reasoning task to prove this effect. Participants were asked whether they would accept or reject a given syllogism. We discuss one specific case which is commonly assumed to be believable but which is actually not logically valid. By introducing abnormalities, abduction and background knowledge, we adequately model this case under the weak completion semantics. Our formalization reveals new questions about possible extensions in abductive reasoning. For instance, observations and their explanations might include some relevant prior abductive contextual information concerning some side-effect or leading to a contestable or refutable side-effect. A weaker notion indicates the support of some relevant consequences by a prior abductive context. Yet another definition describes jointly supported relevant consequences, which captures the idea of two observations containing mutually supportive side-effects. Though motivated with and exemplified by the running psychology application, the various new general abductive context definitions are introduced here and given a declarative semantics for the first time, and have a much wider scope of application. Inspection points, a concept introduced by Pereira and Pinto, allows us to express these definitions syntactically and intertwine them into an operational semantics.

[1]  Keith L. Clark,et al.  Negation as Failure , 1987, Logic and Data Bases.

[2]  Steffen Hölldobler,et al.  Logics and Networks for Human Reasoning , 2009, ICANN.

[3]  C. Hempel Philosophy of Natural Science , 1966 .

[4]  Jonathan St. B. T. Evans Biases in deductive reasoning , 2012 .

[5]  Steffen Hölldobler,et al.  Logic Programs under Three-Valued Lukasiewicz Semantics , 2009, ICLP.

[6]  Kenneth A. Ross,et al.  The well-founded semantics for general logic programs , 1991, JACM.

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

[8]  P. Pollard,et al.  On the conflict between logic and belief in syllogistic reasoning , 1983, Memory & cognition.

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

[10]  Jonathan Evans Thinking Twice: Two minds in one brain , 2010 .

[11]  R. Pohl Cognitive illusions : a handbook on fallacies and biases in thinking, judgement and memory , 2004 .

[12]  Paolo Mancarella,et al.  Abductive Logic Programming , 1992, LPNMR.

[13]  Tran Cao Son,et al.  Logic Programming, Knowledge Representation, and Nonmonotonic Reasoning , 2011, Lecture Notes in Computer Science.

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

[15]  Steffen Hölldobler,et al.  Modeling the suppression task under weak completion and well-founded semantics , 2014, J. Appl. Non Class. Logics.

[16]  Keith Stenning,et al.  Semantic Interpretation as Computation in Nonmonotonic Logic: The Real Meaning of the Suppression Task , 2005, Cogn. Sci..

[17]  Robert A. Kowalski,et al.  Computational Logic and Human Thinking: How to Be Artificially Intelligent , 2011 .

[18]  L. Pereira,et al.  Inspecting side-effects of abduction in logic programs , 2011 .

[19]  Luís Moniz Pereira,et al.  Tabled Abduction in Logic Programs , 2013, Theory Pract. Log. Program..

[20]  Jack Minker,et al.  Logic and Data Bases , 1978, Springer US.

[21]  José Júlio Alferes,et al.  Hypothetical Reasoning with Well Founded Semantics , 1991, SCAI.

[22]  Pietro Torasso,et al.  On the Relationship between Abduction and Deduction , 1991, J. Log. Comput..

[23]  E. Bedel Relationship between , 2009 .

[24]  Steffen Hölldobler,et al.  A Computational Logic Approach to the Abstract and the Social Case of the Selection Task , 2013 .

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

[26]  Krzysztof R. Apt,et al.  Contributions to the Theory of Logic Programming , 1982, JACM.

[27]  Dov M. Gabbay,et al.  What Is Negation as Failure? , 2012, Logic Programs, Norms and Action.

[28]  Steffen Hölldobler,et al.  An Abductive Model for Human Reasoning , 2011, AAAI Spring Symposium: Logical Formalizations of Commonsense Reasoning.