Henrik Singmann Karl Christoph Klauer Sieghard Beller

Slides:



Advertisements
Similar presentations
Bayesian Network and Influence Diagram A Guide to Construction And Analysis.
Advertisements

Euler’s circles Some A are not B. All B are C. Some A are not C. Algorithm = a method of solution guaranteed to give the right answer.
Use a truth table to determine the validity or invalidity of this argument. First, translate into standard form “Martin is not buying a new car, since.
Reasoning Lindsay Anderson. The Papers “The probabilistic approach to human reasoning”- Oaksford, M., & Chater, N. “Two kinds of Reasoning” – Rips, L.
Statistics between Inductive Logic and Empirical Science Jan Sprenger University of Bonn Tilburg Center for Logic and Philosophy of Science 3 rd PROGIC.
Suppressing valid inferences with conditionals Ruth M.J. Byrne, MRC Applied Psychology Unit, Cambridge (1987, 1988, 1989) Ruth M.J. Byrne, MRC Applied.
Introduction  Bayesian methods are becoming very important in the cognitive sciences  Bayesian statistics is a framework for doing inference, in a principled.
PSYC512: Research Methods PSYC512: Research Methods Lecture 4 Brian P. Dyre University of Idaho.
Cognitive Processes PSY 334 Chapter 10 – Reasoning & Decision-Making August 19, 2003.
Cognitive - reasoning.ppt © 2001 Laura Snodgrass, Ph.D.1 Reasoning and Decision Making Five general strategies Reasoning and Logic Two hypotheses –inherently.
Computer vision: models, learning and inference
Probability, Bayes’ Theorem and the Monty Hall Problem
Incomplete Graphical Models Nan Hu. Outline Motivation K-means clustering Coordinate Descending algorithm Density estimation EM on unconditional mixture.
Bayesian Hierarchical Models of Individual Differences in Skill Acquisition Dr Jeromy Anglim Deakin University 22 nd May 2015.
Improving Content Validity: A Confidence Interval for Small Sample Expert Agreement Jeffrey M. Miller & Randall D. Penfield NCME, San Diego April 13, 2004.
Deduction, Proofs, and Inference Rules. Let’s Review What we Know Take a look at your handout and see if you have any questions You should know how to.
Estimating Component Availability by Dempster-Shafer Belief Networks Estimating Component Availability by Dempster-Shafer Belief Networks Lan Guo Lane.
Chapter Four Proofs. 1. Argument Forms An argument form is a group of sentence forms such that all of its substitution instances are arguments.
Abstract We offer a formal treatment of choice behaviour based on the premise that agents minimise the expected free energy of future outcomes. Crucially,
CIAR Summer School Tutorial Lecture 1b Sigmoid Belief Nets Geoffrey Hinton.
Design of Clinical Research Studies ASAP Session by: Robert McCarter, ScD Dir. Biostatistics and Informatics, CNMC
Symbolic Logic ⊃ ≡ · v ~ ∴. What is a logical argument? Logic is the science of reasoning, proof, thinking, or inference. Logic allows us to analyze a.
Cognitive Processes PSY 334 Chapter 10 – Reasoning.
- 1 - Outline Introduction to the Bayesian theory –Bayesian Probability –Bayes’ Rule –Bayesian Inference –Historical Note Coin trials example Bayes rule.
1 Propositional Proofs 1. Problem 2 Deduction In deduction, the conclusion is true whenever the premises are true.  Premise: p Conclusion: (p ∨ q) 
Fluency, the Feeling of Rightness, and Analytic Thinking Valerie Thompson Gordon Pennycook Jonathan Evans Jamie Prowse Turner.
Thinking and reasoning with everyday causal conditionals Jonathan Evans Centre for Thinking and Language School of Psychology University of Plymouth.
BHS Methods in Behavioral Sciences I April 7, 2003 Chapter 2 – Introduction to the Methods of Science.
L = # of lines n = # of different simple propositions L = 2 n EXAMPLE: consider the statement, (A ⋅ B) ⊃ C A, B, C are three simple statements 2 3 L =
Bayesian Model Selection and Averaging SPM for MEG/EEG course Peter Zeidman 17 th May 2016, 16:15-17:00.
March 23 rd. Four Additional Rules of Inference  Constructive Dilemma (CD): (p  q) (r  s) p v r q v s.
Chapter 7. Propositional and Predicate Logic
The Dual-strategy model of deductive inference
Henrik Singmann Christoph Klauer Sieghard Beller
2. The Logic of Compound Statements Summary
Bayesian Estimation and Confidence Intervals
Conditionals and Inferential Connections: A Hypothetical Inferential Theory (HIT) Henrik Singmann, Igor Douven, Shira Elqayam, David Over, & Janneke van.
Knowledge and reasoning – second part
Henrik Singmann Christoph Klauer Sieghard Beller
Chapter 11: Simple Linear Regression
A Holistic View of Persuasion
Demonstrating the validity of an argument using syllogisms.
Suppression Effects in the Dual-Source Model of Conditional Reasoning
Henrik Singmann Karl Christoph Klauer Sieghard Beller
Henrik Singmann Karl Christoph Klauer
Suppression Effects in the Dual-Source Model of Conditional Reasoning
Henrik Singmann Karl Christoph Klauer Sieghard Beller
© 2012 The McGraw-Hill Companies, Inc.
7.1 Rules of Implication I Natural Deduction is a method for deriving the conclusion of valid arguments expressed in the symbolism of propositional logic.
Henrik Singmann Karl Christoph Klauer Sieghard Beller
Henrik Singmann Karl Christoph Klauer David Over
Henrik Singmann Sieghard Beller Karl Christoph Klauer
Henrik Singmann Karl Christoph Klauer Sieghard Beller
Bayesian Models in Machine Learning
A Short Tutorial on Causal Network Modeling and Discovery
Measuring Belief Bias with Ternary Response Sets
Henrik Singmann Karl Christoph Klauer Sieghard Beller
CS 270 Math Foundations of CS
Example Human males have one X-chromosome and one Y-chromosome,
David Kellen, Henrik Singmann, Sharon Chen, and Samuel Winiger
Suppression Effects in the Dual-Source Model of Conditional Reasoning
Processing of negation in probabilistic deductive reasoning
Henrik Singmann Karl Christoph Klauer David Over
Rational analysis of the selection task
Chapter 7. Propositional and Predicate Logic
Bayesian vision Nisheeth 14th February 2019.
Henrik Singmann (University of Warwick)
Cognition and Conditioning
Chapter 8 Natural Deduction
Reward associations do not explain transitive inference performance in monkeys by Greg Jensen, Yelda Alkan, Vincent P. Ferrera, and Herbert S. Terrace.
Presentation transcript:

Henrik Singmann Karl Christoph Klauer Sieghard Beller Comparing Models of Probabilistic Conditional Reasoning: Evidence for an Influence of Form Henrik Singmann Karl Christoph Klauer Sieghard Beller

4 Conditional Inferences Modus Ponens (MP): If p, then q. p Therefore, q Affirmation of the consequent (AC): If p, then q. q Therefore, p Modus Tollens (MT): If p, then q. Not q Therefore, not p Denial of the antecedent (DA): If p, then q. Not p Therefore, not q 21.09.2018 Dual-Source Model

4 Conditional Inferences Modus Ponens (MP): If p, then q. p Therefore, q Affirmation of the consequent (AC): If p, then q. q Therefore, p Modus Tollens (MT): If p, then q. Not q Therefore, not p Denial of the antecedent (DA): If p, then q. Not p Therefore, not q valid in standard logic (i.e., truth of premises entails truth of conclusion) NOT valid in standard logic (i.e., truth of premises does NOT entail truth of conclusion) 21.09.2018 Dual-Source Model

Research Question: What is the effect of the presence of the conditional in everyday probabilistic conditional reasoning? 21.09.2018 Dual-Source Model

Example Item: Knowledge Phase Observation: A balloon is pricked with a needle. How likely is it that it will pop? 21.09.2018 Dual-Source Model

Example Item: Knowledge Phase Observation: A balloon is pricked with a needle. How likely is it that it will pop? X 21.09.2018 Dual-Source Model

Example Item: Rule Phase Rule: If a balloon is pricked with a needle, then it will pop. Observation: A balloon is pricked with a needle. How likely is it that it will pop? 21.09.2018 Dual-Source Model

Example Item: Rule Phase Rule: If a balloon is pricked with a needle, then it will pop. Observation: A balloon is pricked with a needle. How likely is it that it will pop? X 21.09.2018 Dual-Source Model

↑ conditional present ↓ Klauer, Beller, & Hütter (2010): Experiment 1 (n = 15) different lines represent different conditionals (i.e., different contents/items) ↑ conditional absent ↓ ↑ conditional present ↓ new data (n = 29) 21.09.2018 Dual-Source Model

↑ conditional present ↓ Klauer, Beller, & Hütter (2010): Experiment 1 (n = 15) different lines represent different contents of the conditional The presence of the conditional increases participants' estimates of the probability of the conclusion. Especially so for the formally valid inferences MP and MT. ↑ conditional absent ↓ ↑ conditional present ↓ new data (n = 29) 21.09.2018 Dual-Source Model

↑ conditional present ↓ Klauer, Beller, & Hütter (2010): Experiment 1 (n = 15) different lines represent different contents of the conditional How can we explain this effect of the presence of the conditional? Our data challenge pure probabilistic approaches that solely rely on background knowledge. ↑ conditional absent ↓ ↑ conditional present ↓ new data (n = 29) 21.09.2018 Dual-Source Model

Example Item: Knowledge Phase Observation: A balloon is pricked with a needle. How likely is it that it will pop? X 21.09.2018 Dual-Source Model

The Knowledge Phase Participants estimate a conclusion given minor premise only, e.g., Given p, how likely is q? Response should reflect conditional probability of conclusion given minor premise, e.g., P(q|p) "Inference" "MP" "MT" "AC" "DA" p  q ¬q  ¬p q  p ¬p  ¬q Response reflects P(q|p) P(¬p|¬q) P(p|q) P(¬q|¬p) 21.09.2018 Dual-Source Model

Formalizing the Knowledge Phase Joint probability distribution over P(p), P(q), and their negations per content: Provide the conditional probabilities, e.g.: P(MP) = P(q|p) = P(p  q) / P(q) Three independent parameters describe the joint probability distribution (e.g., P(p), P(q), and P(¬q|p), Oaksford, Chater, & Larkin, 2000). q ¬q p P(p  q) P(p  ¬q) ¬p P(¬p  q) P(¬p  ¬q) 21.09.2018 Dual-Source Model

How do we explain the effect of the conditional? Dual-source model for probabilistic conditional inferences (Klauer, Beller, & Hütter, 2010): Conditional absent (knowledge phase) Conditional probability of conclusion given minor premise (from background knowledge). E.g., Given p, how likely is q? P(q|p) Conditional present (rule phase) Conditional adds form-based evidence: Subjective probability to which inference is seen as warranted by (logical) form of inference. E.g., How likely is the conclusion given that the inference is MP? 21.09.2018 Dual-Source Model

How do we explain the effect of the conditional? Dual-source model for probabilistic conditional inferences (Klauer, Beller, & Hütter, 2010): Conditional absent (knowledge phase) Conditional probability of conclusion given minor premise (from background knowledge). E.g., Given p, how likely is q? P(q|p) Conditional present (rule phase) Conditional adds form-based evidence: Subjective probability to which inference is seen as warranted by (logical) form of inference. E.g., How likely is the conclusion given that the inference is MP? Our intuition: Conditional provides form-based information which is integrated with background knowledge. 21.09.2018 Dual-Source Model

Formalizing the Dual-Source Model Response + × (1 – λ) ξ(C,x) × λ τ(x) + (1 – τ(x)) × ξ(C,x) knowledge-based form-based C = content (1 – 4) x = inference (MP, MT, AC, & DA) 21.09.2018 Dual-Source Model

How else could we explain it? Alternative views: New paradigm psychology of reasoning (e.g., Oaksford & Chater, 2007; Pfeifer & Kleiter, 2010) Causal Bayes nets (e.g., Sloman, 2005; Fernbach & Erb, in press) Reasoning basically probability estimation from background knowledge. Presence of conditional changes knowledge base: Form affects each item idiosyncratically. 21.09.2018 Dual-Source Model

Model differences Dual-Source Model Alternative Views Knowledge Phase: Probability distribution over P(p), P(¬p), P(q), P(¬q) per content. Rule Phase: Knowledge Phase + Form-based evidence per inference (+ 4 parameters) Knowledge Phase: Probability distribution over P(p), P(¬p), P(q), P(¬q) per content. Rule Phase: Probability distribution per content updates: P'(¬q|p) < P(¬q|p) (Oaksford, Chater & Larkin, 2000) P'(q|p) > P(q|p), then minimizing KL-distance to prior distribution (Hartmann & Rafiee Rad, 2012) 21.09.2018 Dual-Source Model

Which model provides the best account to the data? Empirical Question: Which model provides the best account to the data? 21.09.2018 Dual-Source Model

The Data Sets Data sets (or parts thereof) that implement the paradigm sketched in the beginning: Knowledge phase without conditional. Rule phase with conditional being present. No additional manipulations. 6 datasets (N = 148): Klauer et al. (2010, Exps. 1 & 3, n = 15 & 18) and 2 new data sets (n = 26 & 29) exactly implemented the paradigm. (For Klauer et al.'s experiments the third sessions were omitted) For Klauer et al. (2010, Exp 4, n = 13) we omitted trials which did not follow the paradigm sketched above. One new data set (n = 47) in which we manipulated speaker expertise (i.e., two types of conditionals, experts and novices; Stevenson & Over, 2001) 21.09.2018 Dual-Source Model

General Methodology 4 different conditionals (i.e., contents) Participants responded to all four inferences per content. Participants gave two estimates per inference: original and converse inference (pooled for analysis). Two measurements (> one week in between): without conditional with conditional → 32 data points per participant. Exceptions: Klauer et al. (2010, Exp. 3): 5 conditionals = 40 data points per participant New data on speaker expertise: 6 conditionals (3 experts, 3 novice) = 48 data points 21.09.2018 Dual-Source Model

Candidate Models Fitted all five models to individual data by minimizing sum of squared deviance from data and predictions. Knowledge Phase (for all models): 3 parameters per content/conditional = 12 parameters for 4 conditionals. Rule Phase: Dual-source model (DS): + 4 form-based parameters = 16 parameters (independent of the number of conditionals) Oaksford et al. (2000, OCL): + 1 parameter per content = 16 parameters. Extended Oaksford & Chater (2007, eOC & eOC*): + 2 parameters per content = 20 parameters. (eOC* does not restrict posterior probability distribution) Minimizing the Kullback-Leibler divergence (KL): + 1 parameter per content = 16 parameters 21.09.2018 Dual-Source Model

Results I Klauer et al. (2010), Exp. 4 5 measurement points - we only use data that is comparable to other conditions (spread across 5 measurement points) Dashed line shows mean fit value of DS. Numbers behind model names = numbers of parameters per model. Ordering: DS = eOC* > OCL > KL 21.09.2018 Dual-Source Model

21.09.2018 Dual-Source Model

DS > KL > eOC* > OCL DS > eOC* > OCL = KL DS > eOC* = KL > OCL DS > eOC* = KL = OCL 21.09.2018 Dual-Source Model

Results Speaker Expertise 48 data points. In addition to DS, we fitted DS* which allowed for separate form parameters for experts and novices, respectively. Ordering: eOC* = DS* ≥ OCL = DS > KL 21.09.2018 Dual-Source Model

Summary Results Dual-source model provides overall best account for 6 datasets. For two cases where it shares the first place (with the extended model by Oaksford & Chater, 2007), it has less parameters Provides best account for 83 of 148 data sets (56%). Extended Oaksford & Chater model (48 best accounts) performs better than Kullback-Leibler model (17 best account), but has more parameters. Strong evidence for our interpretation of effect of the conditional: Provide formal information that cannot easily be accounted for by changes in participants' knowledge base only. 21.09.2018 Dual-Source Model

Beyond Model Fit Parameters of dual-source model offer insights into underlying cognitive processes: Dissociation of suppression effects: disablers decrease weighting parameters, whereas alternatives decrease background-knowledge based evidence for AC and DA (and both affect the form-based component) Speaker expertise affects weighting parameter only! Dual-source model can be easily extended to other connectives (e.g., or) → not strictly tied to conditional reasoning 21.09.2018 Dual-Source Model

Thanks for your attention Thanks for your attention. Thanks to Karl Christoph Klauer Sieghard Beller 21.09.2018 Dual-Source Model