Is domain-specific reasoning in conditional reasoning tasks really domain-specific? The 2 nd London Reasoning Workshop 28-29/08/2007 Akira Nakagaki (Waseda.

Slides:



Advertisements
Similar presentations
1.
Advertisements

The Cost of Authoring with a Knowledge Layer Judy Kay and Lichao Li School of Information Technologies The University of Sydney, Australia.
Deductive Reasoning. Are the following syllogism valid? A syllogism is valid if the conclusion follows from the premises All soldiers are sadistic Some.
Descriptive Approach Pragmatic Reasoning Schemas (Cheng & Holyoak)
The Logic of Intelligence Pei Wang Department of Computer and Information Sciences Temple University.
 Cognitive Modules › Background  Wason Selection Task › Purpose › Puzzles vs Social Contract problems  Fiddick & Erlich’s Paper › Introduction › Methods.
The SOCIAL CONTRACT. Trivers – Reciprocal Altruism and the Human Psychological System Humans have an acute sense sense of fairness and a built in “cheating.
Wason’s selection task
Logical Reasoning: Deduction. Logic A domain-general system of reasoning Deductive reasoning System for constructing proofs –What must be true given certain.
Chapter 13 Reasoning and Decision-Making. Some Questions to Consider What kinds of errors do people make in reasoning? What kinds of reasoning “traps”
OASIS Reference Model for Service Oriented Architecture 1.0
Cognitive Processes PSY 334 Chapter 10 – Reasoning.
Solved the Maze? Start at phil’s house. At first, you can only make right turns through the maze. Each time you cross the red zigzag sign (under Carl’s.
LEARNING FROM OBSERVATIONS Yılmaz KILIÇASLAN. Definition Learning takes place as the agent observes its interactions with the world and its own decision-making.
Introduction to Research
LEARNING FROM OBSERVATIONS Yılmaz KILIÇASLAN. Definition Learning takes place as the agent observes its interactions with the world and its own decision-making.
Cognitive Processes PSY 334 Chapter 10 – Reasoning & Decision-Making August 19, 2003.
Reasoning Psych 414 Prof. Jessica Sommerville. Learning objectives Define reasoning and recognize changes in formal reasoning Identify limitations of.
Conceptual modelling. Overview - what is the aim of the article? ”We build conceptual models in our heads to solve problems in our everyday life”… ”By.
1. Introduction Which rules to describe Form and Function Type versus Token 2 Discourse Grammar Appreciation.
GAAP PowerPoint #2. Understandability Decision Usefulness Relevance Predictive Value Feedback Value Timeliness Reliability Verifiability Neutrality Representational.
(Business Research Methods)
Depth of Knowledge (DOK)
SECURITY REQUIREMENT FROM PROBLEM FRAMES PERPECTIVE Fabricio Braz 01/25/08.
Chapter One Theories of Learning
Copyright © 2006 by The McGraw-Hill Companies, Inc. All rights reserved. McGraw-Hill Technology Education Logic and Problem Solving Advanced Computer Programming.
UMBC  CSEE   1 Inference in First-Order Logic Chapter 9 Some material adopted from notes by.
Recognizing Employee Contributions with Pay
What now? Is this the best? PROBLEM SOLVING AS A STRATEGY.
Paradigms, Theory, And Research
Cognition – 2/e Dr. Daniel B. Willingham Chapter 10: Decision Making & Deductive Reasoning PowerPoint by Glenn E. Meyer, Trinity University © 2004 Prentice.
Debate: Reasoning. Claims & Evidence Review Claims are statements that serve to support your conclusion. Evidence is information discovered through.
Chapter 4: Local integration 1: Reasoning & evolutionary psychology.
THEORETICAL FRAMEWORK and Hypothesis Development
Evolution of Logical Reasoning
GAAP PowerPoint #2. Understandability Decision Usefulness Relevance Predictive Value Feedback Value Timeliness Reliability Verifiability Neutrality Representational.
1 The Theoretical Framework. A theoretical framework is similar to the frame of the house. Just as the foundation supports a house, a theoretical framework.
HOW TO CRITIQUE AN ARGUMENT
©2010 John Wiley and Sons Chapter 2 Research Methods in Human-Computer Interaction Chapter 2- Experimental Research.
What do we mean by cause in public health ? Constantine E. Frangakis Department of Biostatistics
The Cognitive Perspective Computers vs. Humans. Starter (10 mins) Name the 5 perspectives in Psychology. Name the 5 perspectives in Psychology. Name 3.
Cognitive Science - Project Presentation Domain-Specific Reasoning: Social Contracts and Cheating - Jayant Sharma.
Puzzles - Try These Relevance to teaching and learning mathematics?
Tuesday 08/12 Grab DOK handouts and put them in your “Units” tab. Warm-up: Look over the Academic Integrity Policy that you researched for homework. Respond.
URBDP 591 I Lecture 4: Research Question Objectives How do we define a research question? What is a testable hypothesis? How do we test an hypothesis?
Deduction biases and content effects bias = whenever there is a systematic deviation in performance from the normative approach.
Anne Watson Hong Kong  grasp formal structure  think logically in spatial, numerical and symbolic relationships  generalise rapidly and broadly.
Search Engine Optimization © HiTech Institute. All rights reserved. Slide 1 Click to edit Master title style What is Business Analysis Body of Knowledge?
Cognitive Processes PSY 334 Chapter 10 – Reasoning.
Communication, Gender & Culture.  What is Theory?  A way to describe, explain and predict relationship among phenomena  We use theories to explain.
Thinking: Reasoning Reasoning: manipulating internal representations to arrive at new knowledge or to draw new conclusions. Syllogistic reasoning: based.
Projection and the Reality of Routines – reflections of a computational modeller Bruce Edmonds Centre for Policy Modelling Manchester Metropolitan University.
Session 5: Review of the Scientific Method and The ATS Development Process 1.
Cognitive Adaptations for Social Exchange Leda Cosmides and John Tooby presented by Nat Twarog.
Rational analysis of the selection task Oaksford and Chater (1994) Presented by Bryan C. Russell.
Chapter 5 Population Health Quality and Safety Learning Objectives 1. Explain why it is difficult to monitor healthcare quality and safety at the population.
Conditional Expected Utility and the Acceptability of Deontic Health and Safety Rules Linden J. Ball & David Alford Department of Psychology LANCASTER.
Philosophy of science What is a scientific theory? – Is a universal statement Applies to all events in all places and time – Explains the behaviour/happening.
The 3rd London Reasoning Workshop 18-19/08/2007
Scientific/Mathematical Thinking and Human Nature Uri Leron Technion – Israel Institute of Technology Submitted to The Journal of Half-Baked Ideas.
Axiomatic Number Theory and Gödel’s Incompleteness Theorems
Purpose of the Study and Theoretical Rationale a mini tutorial
Cooperation within Groups
Theoretical Definition Conceptual Model
2.2 Analyze Conditional Statements
Reciprocity and Cooperation
Rational analysis of the selection task
Presentation transcript:

Is domain-specific reasoning in conditional reasoning tasks really domain-specific? The 2 nd London Reasoning Workshop 28-29/08/2007 Akira Nakagaki (Waseda University)

2 Three theories of domain- specific conditional reasoning  Theory of Pragmatic Reasoning Schemas (Cheng & Holyoak, 1985; Cheng, Holyoak et al., 1986)  Social Contract Theory (Cosmides, 1989)  Deontic Reasoning Theory (Manktelow & Over, 1991, 1995)

3  Rule: If any purchase exceeds $ 100, then the receipt must have the signature of the departmental manager on the back (The manager is called Peter Wason).  Task: Which card or cards do you have to turn over in order to check whether they obey or violate the rule. How to Explain a “Sears” task ( D’Andrade cited in Rumelhart 1980 ) (p)(¬p)(q) (¬q)(¬q) Four Receipts used in Sears Task by D’Andrade (adapted from Rumelhart 1980) signature ________ signature ________ Purchase Chair $ 40 Purchase Desk $ 150 Peter Wason (p)(¬p)(q) (¬q)(¬q) Four Receipts used in Sears Task by D’Andrade (adapted from Rumelhart 1980) signature ________ signature ________ Purchase Chair $ 40 Purchase Desk $ 150 Peter Wason

4 Theory of Pragmatic Reasoning Schemas (Cheng & Hollyoak, 1985, Cheng, Hollyoak et al., 1986)  People reason using pragmatic reasoning schemas which are abstract knowledge structures induced from ordinary life experiences such as “ permission, ” “ causation, ” etc.  PRS consists of a set of generalized, context-sensitive rules defined and evoked in terms of goals of actions and their relationships.  The permission schema describes a type of regulation in which taking a particular action requires satisfaction of a certain precondition. Rule1: If the action is to be taken, then the precondition must be satisfied. Rule2: ・・・ not to be taken, ・・・ need not be satisfied. Rule3: If the precondition is satisfied, then the action may be taken. Rule4: ・・・ is not satisfied, ・・・ must not be taken.

5  Regulation: If a form says, “ENTERING” on one side, then the other side includes cholera among the list of diseases. Rationale: The form lists any inoculations the passenger has had in the past 6 months. This is to ensure that entering passengers are protected against the disease.  Task: In order to check if the regulation is being followed, which of the forms below would you need to turn over. A Typical Task of PRS ( Cheng & Holyoak, 1985 ) (p)(p) (¬p) (q)(q) (¬q )(¬q ) Four forms presented in PRT ( Cheng & Holyoak, 1985 Experiment 1 ) typhoid hepatitis cholera typhoid hepatitis ENTERING (¬q )(¬q ) typhoid hepatitis cholera TRANSIT ENTERING

6 Social Contract Theory (Cosmides, 1989)  The “ look for cheaters" algorithm is one of the built-in algorithms, evoked in social contract context and urges humans to detect cheaters in cost-benefit representations  In order to successfully engage in social exchange, humans have the built-in algorithms that govern how humans reason about social exchange.  These algorithms in human reasoning are evolved through natural selection and produce and operate on cost-benefit representations of exchange interactions.

7  Rule 1 (Standard Social Contract ) : p ⇒ q If you take the benefit, then you pay the cost.  Rule 2 (Switched Social Contract ) : q ⇒ p If you pay the cost, then you take the benefit.  Task: Indicate only those card(s) you definitely need to turn over to see if any of these people are breaking this law. A Typical Task in Social Contract Context ( Cosmides,1985 ) (p)(p)(¬p)(q)(q) (¬q)(¬q) Four Cards presented in SSC Benefit Accepted Cost Paid Benefit NOT Accepted Cost NOT Paid

8 Deontic Reasoning Theory (Manktelow & Over, 1991,1995)  Deontic reasoning is what we are doing when we are trying to decide which action we must or may perform.  It is different from deductive reasoning and highly dependent on social, pragmatic and subjective factors including subjective utilities or probabilities.  What subjects do in deontic selection tasks is to look for possible violations or failures to conform to the rule.  Four possible outcomes in which there can be a failure to conform to the rule in some sense Case1: The agent sees p is true but does not allow q (unfair agent). Case2: The agent does not see p is true but allow q (weak agent). Case3: The actor makes p true but does not make q true (self- denying actor). Case4: The actor does not make p true but makes q true (cheating actor).

9  Rule given by the mother to her son : If you tidy your room, then you may go out to play. ( p ⇒ q )  Task in Case 1 ( Actor’s perspective ) : Select only those cards which would show whether the mother had broken the rule.  Task in Case4 ( Agent’s perspective ) : Select only those cards which would show whether the boy had broken the rule. A Typical Task in DRT ( Manktelow & Over, 1991 ) (p)(¬p) (q) (¬q)(¬q) Four cards presented in DRT Tidied the room Went out to play Not tidied the room Not went out to play

10 Abstract Selection Tasks (Wason, 1966)  Statement: If a card has E on the face, then it has 8 on the back. (p ⇒ q )  Task: Which card or cards do you have to turn over in order to decide whether the statement is true or false?  Hypothetico-deductive reasoning  Very difficult task (usually around 10% correct)  Selection patterns: selection p, q (46%), selection p (33%), selection p, q, ¬ q (7%), selection p, ¬ q (4%) ( Johnson-Laird & Wason 1970 ) Four Cards presented in AST (p)(p)(¬p)(q)(q) (¬q)(¬q) 85EK

11  Statement Ⅰ : If a card has E on the face, then it has 8 on the back. (p ⇒ q)  Statement Ⅱ : If a card has E, it has not 8.(p ⇒ ¬ q)  Statement Ⅲ : If a card has not E, it has 8.( ¬ p ⇒ q)  Task: Which card or cards do you have to turn over in order to decide whether the statement is true or false? Abstract Selection Tasks with negative conditionals (Evans, 1972) Four cards presented in AST (p)(p)(¬p)(q)(q) (¬q)(¬q) E8K5

12 Matching Bias in Abstract Selection Tasks (Evans, 1972)  Participants tend to select the cards whose symbols correspond to those mentioned in the statement irrespective of the position of negation. StatementMatching Bias Logical Selection Statement Ⅰ p ⇒ qp,qp,qp, ¬qp, ¬q Statement Ⅱ p ⇒¬ qp,qp,qp,qp,q Statement Ⅲ ¬ p ⇒ qp,qp,q ¬ p ,¬ q

13 Comparison of effects between Reasoning by PRS and M Bias in p ⇒¬ q Matching Bias in p ⇒¬ q Statement Ⅱ Card Selection p ⇒¬ qp,qp,q Replace q with ¬ q → p ⇒ qp ,¬ q  What is happening in PRS is structurally the same as the matching bias in p ⇒¬ q.  Card selection is guided by attention to a violator of the rule in PRS , whereas it is guided by attention to a counterexample in p ⇒¬ q. Both phenomena are an effect of cognitive prégnance. Reasoning by PRS Regulation Card Selection p ⇒ qp ,¬ q

14 Comparison of effects between Reasoning in SCT and M Bias in AST  What is happening in standard and switched versions of SCT is structurally the same as M bias in p ⇒¬ q and ¬ p ⇒ q.  Unchanging selection is caused by constancy of the violator in the rules of SCT in spite of exchanging p and q , whereas it is caused by constancy of prégnance in both statements of AST in spite of shifting negation. Matching bias in AST StatementCard Selection p ⇒¬ qp,qp,q ¬ p ⇒ qp,qp,q Replace q with ¬ q, and then convert ¬ p ⇒¬ q → p ⇒ qp ,¬ q q ⇒ pp ,¬ q Reasoning in SCT RuleCard Selection Standard p ⇒ q p ,¬ q Switched q ⇒ p p ,¬ q

15 Comparison of effects between Reasoning in DRT and in ¬ p ⇒ q  What is happening in actor’s and agent’s versions of DRT is structurally the same as two types of selection in ¬ p ⇒ q.  Mutually exclusive selection is caused by shifting perspective in DRT , whereas it is caused by shifting phase between the modal selection and the logical selection in ¬ p ⇒ q. Two types of selections in AST StatementCard Selection ¬ p ⇒ qp , q as the modal selection ¬ p ⇒ q ¬ p ,¬ q as the logical selection Replace p with ¬ p → p ⇒ q ¬ p, q¬ p, q p ,¬ q Reasoning in DRT RuleCard Selection p ⇒ q in agent’s perspective ¬p,q¬p,q p ⇒ q in actor’s perspective p ,¬ q

16 Comparison of effects between Reasoning in DRT and M Bias in AST  What is happening in actor’s and agent’s versions of DRT is structurally the same as M bias in p ⇒¬ q and ¬ p ⇒ q.  Shifting perspective in the same deontic rule produces mutually exclusive selection , in this case, reciprocal selection, whereas shifting negation in p ⇒¬ q and ¬ p ⇒ q, that is, reciprocal conditionals produce the same selection. Matching Bias in ASTReasoning in DRT StatementCard SelectionRuleCard Selection ¬ p ⇒ qp,qp,q p ⇒ q in agent’s perspective ¬p,q¬p,q p ⇒ ¬ qp,qp,q p ⇒ q in actor’s perspective p ,¬ q Replace p,q with ¬ p, ¬ q → p ⇒ ¬ q ¬ p, ¬q¬ p, ¬q Repeat as it is → p ⇒ ¬ q p , q

17 Conclusion  From the structural point of view, major findings in domain-specific (or thematic) conditional reasoning are the same as phenomena characteristic of abstract conditional reasoning.  Domain-specific reasoning is not domain-specific but one of the various manifestations of domain-general reasoning.  The cognitive system in charge of conditional reasoning does not consist of a heterogeneous mixture of logical elements, but of an interrelated structure which transforms itself as a whole.

18  Rule: If any purchase exceeds $ 100, then the receipt must have the signature of the departmental manager on the back (The manager is called Peter Wason).  Task: Which card or cards do you have to turn over in order to check whether they obey or violate the rule. How to Explain a “Sears” task ( D’Andrade cited in Rumelhart 1980 ) (p)(¬p)(q) (¬q)(¬q) Four Receipts used in Sears Task by D’Andrade (adapted from Rumelhart 1980) signature ________ signature ________ Purchase Chair $ 40 Purchase Desk $ 150 Peter Wason (p)(¬p)(q) (¬q)(¬q) Four Receipts used in Sears Task by D’Andrade (adapted from Rumelhart 1980) signature ________ signature ________ Purchase Chair $ 40 Purchase Desk $ 150 Peter Wason Martin Braine