Logic, language and the brain: how autists reason with rules and - - PowerPoint PPT Presentation

logic language and the brain how autists reason with
SMART_READER_LITE
LIVE PREVIEW

Logic, language and the brain: how autists reason with rules and - - PowerPoint PPT Presentation

Logic, language and the brain: how autists reason with rules and exceptions Michiel van Lambalgen* Cognitive Science Center Amsterdam University of Amsterdam * in collaboration with Keith Stenning, Edinburgh; Judith Pijnacker, F.C. Donders


slide-1
SLIDE 1

Logic, language and the brain: how autists reason with rules and exceptions

Michiel van Lambalgen* Cognitive Science Center Amsterdam University of Amsterdam

* in collaboration with Keith Stenning, Edinburgh; Judith Pijnacker, F.C. Donders Centre for Cognitive Neuroimaging, Nijmegen

slide-2
SLIDE 2

This will make you feel good ....

slide-3
SLIDE 3

This will make you feel good ....

If Marian has an essay, she studies late in the library.

slide-4
SLIDE 4

This will make you feel good ....

If Marian has an essay, she studies late in the library. Marian has an essay.

slide-5
SLIDE 5

This will make you feel good ....

If Marian has an essay, she studies late in the library. Marian has an essay. Does Marian study late in the library?

slide-6
SLIDE 6

This will make you feel good ....

If Marian has an essay, she studies late in the library. Marian has an essay. Does Marian study late in the library? Is there a change if the following premise is added?

slide-7
SLIDE 7

This will make you feel good ....

If Marian has an essay, she studies late in the library. Marian has an essay. Does Marian study late in the library? Is there a change if the following premise is added? If the library is open, Marian studies late in the library.

slide-8
SLIDE 8

These problems are in fact quite natural ...

slide-9
SLIDE 9

These problems are in fact quite natural ...

On Schiphol Airport boarding cards one can read

slide-10
SLIDE 10

These problems are in fact quite natural ...

On Schiphol Airport boarding cards one can read If it’s thirty minutes before your flight departure, make your way to the gate.

slide-11
SLIDE 11

These problems are in fact quite natural ...

On Schiphol Airport boarding cards one can read If it’s thirty minutes before your flight departure, make your way to the gate. As soon as the gate number is announced, make your way to the gate.

slide-12
SLIDE 12

These problems are in fact quite natural ...

On Schiphol Airport boarding cards one can read If it’s thirty minutes before your flight departure, make your way to the gate. As soon as the gate number is announced, make your way to the gate. What to do if the gate number is announced, but it’s two hours ahead of departure?

slide-13
SLIDE 13

Main themes

slide-14
SLIDE 14

Main themes

  • autism and its hypothesised causes
slide-15
SLIDE 15

Main themes

  • autism and its hypothesised causes
  • a role for logic in cognitive science
slide-16
SLIDE 16

Main themes

  • autism and its hypothesised causes
  • a role for logic in cognitive science
  • logical analysis of tasks diagnostic for autism: closed world

reasoning about exceptions

slide-17
SLIDE 17

Main themes

  • autism and its hypothesised causes
  • a role for logic in cognitive science
  • logical analysis of tasks diagnostic for autism: closed world

reasoning about exceptions

  • direct test of the hypothesis
slide-18
SLIDE 18

Main themes

  • autism and its hypothesised causes
  • a role for logic in cognitive science
  • logical analysis of tasks diagnostic for autism: closed world

reasoning about exceptions

  • direct test of the hypothesis
  • neurological implications
slide-19
SLIDE 19

What is autism?

slide-20
SLIDE 20

What is autism?

  • A `pervasive developmental

disorder’ (diagnosed roughly at 2) characterised by

slide-21
SLIDE 21

What is autism?

  • A `pervasive developmental

disorder’ (diagnosed roughly at 2) characterised by

  • poor or unusual social interaction skills
slide-22
SLIDE 22

What is autism?

  • A `pervasive developmental

disorder’ (diagnosed roughly at 2) characterised by

  • poor or unusual social interaction skills
  • delayed development or difficulties in both

verbal and non-verbal (gestures, pointing, showing, ...) communication

slide-23
SLIDE 23

What is autism?

  • A `pervasive developmental

disorder’ (diagnosed roughly at 2) characterised by

  • poor or unusual social interaction skills
  • delayed development or difficulties in both

verbal and non-verbal (gestures, pointing, showing, ...) communication

  • the presence of repetitive behaviours and

an insistence on sameness

slide-24
SLIDE 24

Theories of autism

slide-25
SLIDE 25

Theories of autism

  • `Theory of mind’ deficit (Baron-Cohen,

Leslie..) (ToM) -- most prominent

slide-26
SLIDE 26

Theories of autism

  • `Theory of mind’ deficit (Baron-Cohen,

Leslie..) (ToM) -- most prominent

  • Weak Central Coherence Theory (Frith,

Happé) (WCC) [not studied here]

slide-27
SLIDE 27

Theories of autism

  • `Theory of mind’ deficit (Baron-Cohen,

Leslie..) (ToM) -- most prominent

  • Weak Central Coherence Theory (Frith,

Happé) (WCC) [not studied here]

  • Affective Foundation theory (Hobson) (AF)

[not studied here]

slide-28
SLIDE 28

Theories of autism

  • `Theory of mind’ deficit (Baron-Cohen,

Leslie..) (ToM) -- most prominent

  • Weak Central Coherence Theory (Frith,

Happé) (WCC) [not studied here]

  • Affective Foundation theory (Hobson) (AF)

[not studied here]

  • Executive Dysfunction theory (Russell,

Ozonoff, ...) (ED)

slide-29
SLIDE 29

Theories of autism

  • `Theory of mind’ deficit (Baron-Cohen,

Leslie..) (ToM) -- most prominent

  • Weak Central Coherence Theory (Frith,

Happé) (WCC) [not studied here]

  • Affective Foundation theory (Hobson) (AF)

[not studied here]

  • Executive Dysfunction theory (Russell,

Ozonoff, ...) (ED)

  • in what sense are these different?
slide-30
SLIDE 30

Some tests diagnostic for autism

slide-31
SLIDE 31

Some tests diagnostic for autism

  • false belief tasks (ToM)
slide-32
SLIDE 32

Some tests diagnostic for autism

  • false belief tasks (ToM)
  • supposedly show that autistic children are

unable to take someone else’s perspective

slide-33
SLIDE 33

Some tests diagnostic for autism

  • false belief tasks (ToM)
  • supposedly show that autistic children are

unable to take someone else’s perspective

  • box task (ED)
slide-34
SLIDE 34

Some tests diagnostic for autism

  • false belief tasks (ToM)
  • supposedly show that autistic children are

unable to take someone else’s perspective

  • box task (ED)
  • supposedly shows that autistic children

suffer from `inability to inhibit the prepotent response’

slide-35
SLIDE 35

False belief task

slide-36
SLIDE 36

False belief task

slide-37
SLIDE 37

False belief task

slide-38
SLIDE 38

False belief task

slide-39
SLIDE 39

False belief task

Maxi puts his bar of chocolate in the green box and then leaves the

  • room. While he is away, his Mum

moves his chocolate bar to the blue box.

slide-40
SLIDE 40

False belief task

Maxi puts his bar of chocolate in the green box and then leaves the

  • room. While he is away, his Mum

moves his chocolate bar to the blue box. Where does Maxi believe his chocolate bar is when he comes back?

slide-41
SLIDE 41

False belief task

Maxi puts his bar of chocolate in the green box and then leaves the

  • room. While he is away, his Mum

moves his chocolate bar to the blue box. Where does Maxi believe his chocolate bar is when he comes back?

slide-42
SLIDE 42

Box task

(Hughes/Russell)

slide-43
SLIDE 43

Box task

(Hughes/Russell)

The task is to retrieve the marble lying on the platform inside the box. If a child reaches through the

  • pening, an infrared beam is

interrupted - marble falls through trapdoor. The infrared mechanism can be deactivated using the switch on the left side of the box.

slide-44
SLIDE 44

Box task

(Hughes/Russell)

The task is to retrieve the marble lying on the platform inside the box. If a child reaches through the

  • pening, an infrared beam is

interrupted - marble falls through trapdoor. The infrared mechanism can be deactivated using the switch on the left side of the box.

slide-45
SLIDE 45

Box task

(Hughes/Russell)

The task is to retrieve the marble lying on the platform inside the box. If a child reaches through the

  • pening, an infrared beam is

interrupted - marble falls through trapdoor. The infrared mechanism can be deactivated using the switch on the left side of the box.

slide-46
SLIDE 46

Box task

(Hughes/Russell)

The task is to retrieve the marble lying on the platform inside the box. If a child reaches through the

  • pening, an infrared beam is

interrupted - marble falls through trapdoor. The infrared mechanism can be deactivated using the switch on the left side of the box.

slide-47
SLIDE 47

But there are benefits of logical analysis...

  • celebrated diagnostic tests such as `false

belief task’ have a logical form

  • this logical form is actually the same across

several important tasks (some non-verbal):

  • closed world reasoning about exceptions
  • this logical form gives rise to a verbal logical

task on which autists are expect to perform differently from neurotypical subjects

slide-48
SLIDE 48

Executive function

slide-49
SLIDE 49

Executive function

  • `executive function' is an umbrella term for

processes responsible for higher-level action control that are necessary for maintaining a goal and achieving it in possibly adverse circumstances

slide-50
SLIDE 50

Executive function

  • `executive function' is an umbrella term for

processes responsible for higher-level action control that are necessary for maintaining a goal and achieving it in possibly adverse circumstances

  • we may take executive function to be

composed of planning, initiation, inhibition, coordination and control of action sequences, leading toward a goal held in

slide-51
SLIDE 51

(Some) Logic can be seen as `computational level’ analysis of EF

slide-52
SLIDE 52

(Some) Logic can be seen as `computational level’ analysis of EF

  • basic building block of EF: inhibitable rule of

the form

slide-53
SLIDE 53

(Some) Logic can be seen as `computational level’ analysis of EF

  • basic building block of EF: inhibitable rule of

the form A ∧ ¬ab → E

slide-54
SLIDE 54

(Some) Logic can be seen as `computational level’ analysis of EF

  • basic building block of EF: inhibitable rule of

the form A ∧ ¬ab → E

  • to be read as `if A and nothing abnormal is

the case then E’

slide-55
SLIDE 55

(Some) Logic can be seen as `computational level’ analysis of EF

  • basic building block of EF: inhibitable rule of

the form A ∧ ¬ab → E

  • to be read as `if A and nothing abnormal is

the case then E’

  • here, `ab’ is governed by the closed world

assumption:

slide-56
SLIDE 56

(Some) Logic can be seen as `computational level’ analysis of EF

  • basic building block of EF: inhibitable rule of

the form A ∧ ¬ab → E

  • to be read as `if A and nothing abnormal is

the case then E’

  • here, `ab’ is governed by the closed world

assumption:

  • if there is no necessity to assume ab,

conclude ¬ab

slide-57
SLIDE 57

Logical analysis of EF: example

slide-58
SLIDE 58

Logical analysis of EF: example

suppose we know only A and A ∧ ¬ab → E; since there is no information about ab we conclude ¬ab, and E follows

slide-59
SLIDE 59

Logical analysis of EF: example

suppose we know only A and A ∧ ¬ab → E; since there is no information about ab we conclude ¬ab, and E follows now suppose a possible abnormality C comes to light: C → ab; but no other abnormalities

slide-60
SLIDE 60

Logical analysis of EF: example

suppose we know only A and A ∧ ¬ab → E; since there is no information about ab we conclude ¬ab, and E follows now suppose a possible abnormality C comes to light: C → ab; but no other abnormalities then in fact C ↔ ab, so that the rule becomes A ∧ C → E

slide-61
SLIDE 61

Logical analysis of EF: example

suppose we know only A and A ∧ ¬ab → E; since there is no information about ab we conclude ¬ab, and E follows now suppose a possible abnormality C comes to light: C → ab; but no other abnormalities then in fact C ↔ ab, so that the rule becomes A ∧ C → E and A is no longer sufficient to activate the rule to conclude C

slide-62
SLIDE 62

A `formal’ analysis of the box task

slide-63
SLIDE 63

A `formal’ analysis of the box task

If you put your hand through the opening and nothing funny is going on, you can retrieve the marble.

slide-64
SLIDE 64

A `formal’ analysis of the box task

If you put your hand through the opening and nothing funny is going on, you can retrieve the marble. At first sight, nothing funny appears to be going on, so retrieve the marble. [Closed world reasoning]

slide-65
SLIDE 65

A `formal’ analysis of the box task

If you put your hand through the opening and nothing funny is going on, you can retrieve the marble. At first sight, nothing funny appears to be going on, so retrieve the marble. [Closed world reasoning] The marble drops out of sight, so something funny is happening.

slide-66
SLIDE 66

A `formal’ analysis of the box task

If you put your hand through the opening and nothing funny is going on, you can retrieve the marble. At first sight, nothing funny appears to be going on, so retrieve the marble. [Closed world reasoning] The marble drops out of sight, so something funny is happening.

This `something’ is unified with switch-position.

slide-67
SLIDE 67

A `formal’ analysis of the box task

If you put your hand through the opening and nothing funny is going on, you can retrieve the marble. At first sight, nothing funny appears to be going on, so retrieve the marble. [Closed world reasoning] The marble drops out of sight, so something funny is happening.

This `something’ is unified with switch-position.

slide-68
SLIDE 68

An insightful comment

[T]aking what one might call a `defeasibility stance' towards rules is an innate human endowment - and thus one that might be innately lacking .. [H]umans appear to possess a capacity - whatever that is - for abandoning one relatively entrenched rule for some novel ad hoc procedure. The claim can be made, therefore, that this capacity islacking in autism, and it is this that gives rise to failures on `frontal' tasks - not to mention the behavioural rigidity that individuals with the disorder show outside the laboratory (Russell 2002)

slide-69
SLIDE 69

False belief task

slide-70
SLIDE 70

False belief task

Maxi puts his bar of chocolate in the green box and then leaves the room.

slide-71
SLIDE 71

False belief task

Maxi puts his bar of chocolate in the green box and then leaves the room. While he is away, his Mum moves his chocolate bar to the blue box.

slide-72
SLIDE 72

False belief task

Maxi puts his bar of chocolate in the green box and then leaves the room. While he is away, his Mum moves his chocolate bar to the blue box. Where does Maxi believes his chocolate bar is when he comes back?

slide-73
SLIDE 73

Is the false belief task about belief only?

slide-74
SLIDE 74

Is the false belief task about belief only?

  • if so, an analysis in epistemic logic may be

appropriate -- and box task is different

slide-75
SLIDE 75

Is the false belief task about belief only?

  • if so, an analysis in epistemic logic may be

appropriate -- and box task is different

  • but much more seems to be involved
slide-76
SLIDE 76

Is the false belief task about belief only?

  • if so, an analysis in epistemic logic may be

appropriate -- and box task is different

  • but much more seems to be involved
  • causal relation between perception and

belief

slide-77
SLIDE 77

Is the false belief task about belief only?

  • if so, an analysis in epistemic logic may be

appropriate -- and box task is different

  • but much more seems to be involved
  • causal relation between perception and

belief

  • inertial properties of belief
slide-78
SLIDE 78

Is the false belief task about belief only?

  • if so, an analysis in epistemic logic may be

appropriate -- and box task is different

  • but much more seems to be involved
  • causal relation between perception and

belief

  • inertial properties of belief
  • inhibition of response tendencies
slide-79
SLIDE 79

Is the false belief task about belief only?

  • if so, an analysis in epistemic logic may be

appropriate -- and box task is different

  • but much more seems to be involved
  • causal relation between perception and

belief

  • inertial properties of belief
  • inhibition of response tendencies
  • (and some FBTs do not involve other agents!)
slide-80
SLIDE 80

The false belief task and executive function

slide-81
SLIDE 81

The false belief task and executive function

`executive function’ contains response rules such as (*) B(φ) ∧ ¬ab(φ) → R(φ)

slide-82
SLIDE 82

The false belief task and executive function

`executive function’ contains response rules such as (*) B(φ) ∧ ¬ab(φ) → R(φ) `if an agent Believes φ and nothing abnormal is the case, then the agent Reports φ’

slide-83
SLIDE 83

The false belief task and executive function

`executive function’ contains response rules such as (*) B(φ) ∧ ¬ab(φ) → R(φ) `if an agent Believes φ and nothing abnormal is the case, then the agent Reports φ’ two possibly competing instances of (*)

slide-84
SLIDE 84

The false belief task and executive function

`executive function’ contains response rules such as (*) B(φ) ∧ ¬ab(φ) → R(φ) `if an agent Believes φ and nothing abnormal is the case, then the agent Reports φ’ two possibly competing instances of (*)

  • 1. φ is actual location of chocolate
slide-85
SLIDE 85

The false belief task and executive function

`executive function’ contains response rules such as (*) B(φ) ∧ ¬ab(φ) → R(φ) `if an agent Believes φ and nothing abnormal is the case, then the agent Reports φ’ two possibly competing instances of (*)

  • 1. φ is actual location of chocolate
  • 2. φ is Maxi’

s belief about the location of the chocolate

slide-86
SLIDE 86

The false belief task and inhibition

slide-87
SLIDE 87

The false belief task and inhibition

the response rules 1. and 2. mutually inhibit each other via conditions on the abnormalities ab(φ)

slide-88
SLIDE 88

The false belief task and inhibition

the response rules 1. and 2. mutually inhibit each other via conditions on the abnormalities ab(φ) e.g. relative to B(φ) ∧ ¬ab(φ) → R(φ) with φ the actual location of the chocolate, we have a clause reflecting task understanding:

slide-89
SLIDE 89

The false belief task and inhibition

the response rules 1. and 2. mutually inhibit each other via conditions on the abnormalities ab(φ) e.g. relative to B(φ) ∧ ¬ab(φ) → R(φ) with φ the actual location of the chocolate, we have a clause reflecting task understanding: B(B’(¬φ)) →ab(φ), where B’ is Maxi’ s belief

slide-90
SLIDE 90

The false belief task and inhibition

the response rules 1. and 2. mutually inhibit each other via conditions on the abnormalities ab(φ) e.g. relative to B(φ) ∧ ¬ab(φ) → R(φ) with φ the actual location of the chocolate, we have a clause reflecting task understanding: B(B’(¬φ)) →ab(φ), where B’ is Maxi’ s belief

`if the agent believes that Maxi has a false belief (B’(¬φ)) about the location of the chocolate, his own response is

slide-91
SLIDE 91

The false belief task and inhibition

slide-92
SLIDE 92

The false belief task and inhibition

if the agent has computed the wrong belief about Maxi, i.e. if B(B’(φ))

slide-93
SLIDE 93

The false belief task and inhibition

if the agent has computed the wrong belief about Maxi, i.e. if B(B’(φ))

  • r if the inhibitory link B(B’(¬φ)) →ab(φ) is

not functioning

slide-94
SLIDE 94

The false belief task and inhibition

if the agent has computed the wrong belief about Maxi, i.e. if B(B’(φ))

  • r if the inhibitory link B(B’(¬φ)) →ab(φ) is

not functioning then the response rule B(φ) ∧ ¬ab(φ) → R(φ) will not be inhibited by ab(φ)

slide-95
SLIDE 95

The false belief task and inhibition

if the agent has computed the wrong belief about Maxi, i.e. if B(B’(φ))

  • r if the inhibitory link B(B’(¬φ)) →ab(φ) is

not functioning then the response rule B(φ) ∧ ¬ab(φ) → R(φ) will not be inhibited by ab(φ) hence the agent will wrongly report the actual location of the chocolate

slide-96
SLIDE 96

Conclusions from this analysis

  • f FBT & the box taski
slide-97
SLIDE 97

Conclusions from this analysis

  • f FBT & the box taski
  • the analysis suggests that to succeed on FBT, a

subject needs intact executive capacities plus insight into causal relation between perception and belief

slide-98
SLIDE 98

Conclusions from this analysis

  • f FBT & the box taski
  • the analysis suggests that to succeed on FBT, a

subject needs intact executive capacities plus insight into causal relation between perception and belief

  • this predicts asymmetric relation between FBT

and EF tasks: in autists one can have intact EF while failing on FBT

slide-99
SLIDE 99

Conclusions from this analysis

  • f FBT & the box taski
  • the analysis suggests that to succeed on FBT, a

subject needs intact executive capacities plus insight into causal relation between perception and belief

  • this predicts asymmetric relation between FBT

and EF tasks: in autists one can have intact EF while failing on FBT

  • and indeed: E. Pellicano, Dev. Psych. 2007
slide-100
SLIDE 100

Conclusion from this analysis of FBT and box task (2)

slide-101
SLIDE 101

Conclusion from this analysis of FBT and box task (2)

slide-102
SLIDE 102

Conclusion from this analysis of FBT and box task (2)

  • FBT is verbal, box task is nonverbal - still there is similarity

in logical structure

slide-103
SLIDE 103

Conclusion from this analysis of FBT and box task (2)

  • FBT is verbal, box task is nonverbal - still there is similarity

in logical structure

  • an important component of the reasoning in both tasks

involves exception-tolerant rules of the form A ∧¬ab → B

slide-104
SLIDE 104

Conclusion from this analysis of FBT and box task (2)

  • FBT is verbal, box task is nonverbal - still there is similarity

in logical structure

  • an important component of the reasoning in both tasks

involves exception-tolerant rules of the form A ∧¬ab → B

  • here, `reasoning’ is not identified with overt/conscious

reasoning from given premises

slide-105
SLIDE 105

Conclusion from this analysis of FBT and box task (2)

  • FBT is verbal, box task is nonverbal - still there is similarity

in logical structure

  • an important component of the reasoning in both tasks

involves exception-tolerant rules of the form A ∧¬ab → B

  • here, `reasoning’ is not identified with overt/conscious

reasoning from given premises

  • could it be that `reasoning with exceptions’ is compromised

in autism?

slide-106
SLIDE 106

A reasoning task with the same formal structure

slide-107
SLIDE 107

A reasoning task with the same formal structure

If Marian has an essay, she studies late in the library.

slide-108
SLIDE 108

A reasoning task with the same formal structure

If Marian has an essay, she studies late in the library. Marian has an essay.

slide-109
SLIDE 109

A reasoning task with the same formal structure

If Marian has an essay, she studies late in the library. Marian has an essay. Does Marian study late in the library?

slide-110
SLIDE 110

A reasoning task with the same formal structure

If Marian has an essay, she studies late in the library. Marian has an essay. Does Marian study late in the library? Is there a change if the following premise is added?

slide-111
SLIDE 111

A reasoning task with the same formal structure

If Marian has an essay, she studies late in the library. Marian has an essay. Does Marian study late in the library? Is there a change if the following premise is added? If the library is open, Marian studies late in the library.

slide-112
SLIDE 112

Similarly for the argument form `affirmation of consequent’

slide-113
SLIDE 113

Similarly for the argument form `affirmation of consequent’

If Marian has an essay, she studies late in the library.

slide-114
SLIDE 114

Similarly for the argument form `affirmation of consequent’

If Marian has an essay, she studies late in the library. Marian studies late in the library.

slide-115
SLIDE 115

Similarly for the argument form `affirmation of consequent’

If Marian has an essay, she studies late in the library. Marian studies late in the library. Does Marian have an essay?

slide-116
SLIDE 116

Similarly for the argument form `affirmation of consequent’

If Marian has an essay, she studies late in the library. Marian studies late in the library. Does Marian have an essay? Is there a change if the following premise is added?

slide-117
SLIDE 117

Similarly for the argument form `affirmation of consequent’

If Marian has an essay, she studies late in the library. Marian studies late in the library. Does Marian have an essay? Is there a change if the following premise is added? If Marian has a textbook to read, she studies late in the library.

slide-118
SLIDE 118

A reasoning task with the same formal structure

slide-119
SLIDE 119

A reasoning task with the same formal structure

  • we’ve just seen two conditions in the

suppression task (R. Byrne 1989): MP and AC

slide-120
SLIDE 120

A reasoning task with the same formal structure

  • we’ve just seen two conditions in the

suppression task (R. Byrne 1989): MP and AC

  • supplying an additional [`library open’]

premise makes MP drop from 90% to 60%

slide-121
SLIDE 121

A reasoning task with the same formal structure

  • we’ve just seen two conditions in the

suppression task (R. Byrne 1989): MP and AC

  • supplying an additional [`library open’]

premise makes MP drop from 90% to 60%

  • supplying an alternative premise [`textbook’]

makes AC drop from 55% to 15%

slide-122
SLIDE 122

A reasoning task with the same formal structure

  • we’ve just seen two conditions in the

suppression task (R. Byrne 1989): MP and AC

  • supplying an additional [`library open’]

premise makes MP drop from 90% to 60%

  • supplying an alternative premise [`textbook’]

makes AC drop from 55% to 15%

  • a logical analysis will show the formal

similarity to the previous tasks:

slide-123
SLIDE 123

Computation in the suppression task

slide-124
SLIDE 124

Computation in the suppression task

  • Stenning-vL hypothesise that the underlying

representation of the conditional is

slide-125
SLIDE 125

Computation in the suppression task

  • Stenning-vL hypothesise that the underlying

representation of the conditional is If Marian has an essay and nothing abnormal is the case, then she studies late in the library.

slide-126
SLIDE 126

Computation in the suppression task

  • Stenning-vL hypothesise that the underlying

representation of the conditional is If Marian has an essay and nothing abnormal is the case, then she studies late in the library.

  • in the 2-premise case, closed world

reasoning is applied to the abnormality

slide-127
SLIDE 127

Computation in the suppression task

  • Stenning-vL hypothesise that the underlying

representation of the conditional is If Marian has an essay and nothing abnormal is the case, then she studies late in the library.

  • in the 2-premise case, closed world

reasoning is applied to the abnormality

  • in the 3-premise case, the abnormality is

connected to `the library is closed’

slide-128
SLIDE 128

Computation in the suppression task

  • Stenning-vL hypothesise that the underlying

representation of the conditional is If Marian has an essay and nothing abnormal is the case, then she studies late in the library.

  • in the 2-premise case, closed world

reasoning is applied to the abnormality

  • in the 3-premise case, the abnormality is

connected to `the library is closed’

  • this suggests autists will suppress MP (and MT) much less!
slide-129
SLIDE 129

Computation in the suppression task

  • Stenning-vL hypothesise that the underlying

representation of the conditional is If Marian has an essay and nothing abnormal is the case, then she studies late in the library.

  • in the 2-premise case, closed world

reasoning is applied to the abnormality

  • in the 3-premise case, the abnormality is

connected to `the library is closed’

  • this suggests autists will suppress MP (and MT) much less!
  • Oaksford & Chater, ‘Bayesian Rationality’, BBS 2008; commentary by SvL
slide-130
SLIDE 130

A reasoning experiment*

slide-131
SLIDE 131

A reasoning experiment*

(*with Judith Pijnacker, F.C. Donders Center for Cognitive Neuroimaging, Nijmegen)

slide-132
SLIDE 132

A reasoning experiment*

(*with Judith Pijnacker, F.C. Donders Center for Cognitive Neuroimaging, Nijmegen)

  • participants: 28 HF autists, 28 matched

controls

slide-133
SLIDE 133

A reasoning experiment*

(*with Judith Pijnacker, F.C. Donders Center for Cognitive Neuroimaging, Nijmegen)

  • participants: 28 HF autists, 28 matched

controls

  • Materials: MP, MT, AC, DA for 2 or 3

premises, with additional or alternative conditionals

slide-134
SLIDE 134

A reasoning experiment*

(*with Judith Pijnacker, F.C. Donders Center for Cognitive Neuroimaging, Nijmegen)

  • participants: 28 HF autists, 28 matched

controls

  • Materials: MP, MT, AC, DA for 2 or 3

premises, with additional or alternative conditionals

  • 120 reasoning problems
slide-135
SLIDE 135

A reasoning experiment*

(*with Judith Pijnacker, F.C. Donders Center for Cognitive Neuroimaging, Nijmegen)

  • participants: 28 HF autists, 28 matched

controls

  • Materials: MP, MT, AC, DA for 2 or 3

premises, with additional or alternative conditionals

  • 120 reasoning problems
  • reaction times measured
slide-136
SLIDE 136

Predictions

slide-137
SLIDE 137

Predictions

  • autists should show less suppression on MP,

MT with additional premise

slide-138
SLIDE 138

Predictions

  • autists should show less suppression on MP,

MT with additional premise

  • otherwise they should perform as controls
slide-139
SLIDE 139

Predictions

  • autists should show less suppression on MP,

MT with additional premise

  • otherwise they should perform as controls
  • although they may have a stronger tendency

to apply classical logic

slide-140
SLIDE 140

Predictions

  • autists should show less suppression on MP,

MT with additional premise

  • otherwise they should perform as controls
  • although they may have a stronger tendency

to apply classical logic

  • reaction times: in both groups
slide-141
SLIDE 141

Predictions

  • autists should show less suppression on MP,

MT with additional premise

  • otherwise they should perform as controls
  • although they may have a stronger tendency

to apply classical logic

  • reaction times: in both groups
  • backward inferences (MT, AC) should be slower
slide-142
SLIDE 142

Predictions

  • autists should show less suppression on MP,

MT with additional premise

  • otherwise they should perform as controls
  • although they may have a stronger tendency

to apply classical logic

  • reaction times: in both groups
  • backward inferences (MT, AC) should be slower
  • processing of additional premises should be slower
slide-143
SLIDE 143

Predictions

  • autists should show less suppression on MP,

MT with additional premise

  • otherwise they should perform as controls
  • although they may have a stronger tendency

to apply classical logic

  • reaction times: in both groups
  • backward inferences (MT, AC) should be slower
  • processing of additional premises should be slower
  • suppression must take more time than non-suppression
slide-144
SLIDE 144

Typical results, including how autists differ from controls

ASD Control % responses yes no maybe yes no maybe MP 89.6 0.0 10.4 96.1 2.5 1.4 MP add 71.0 1.1 28.0 51.1 0.7 48.2 MP alt 92.9 0.4 6.8 97.5 0.7 1.8 MT 1.4 79.6 19.0 2.5 92.8 4.7 MT add 0.7 62.1 37.1 0.7 45.0 54.3 MT alt 0.4 90.3 9.3 1.1 95.0 3.9 AC 45.0 1.1 53.9 67.1 2.1 30.7 AC add 28.1 1.1 70.9 35.7 0.0 64.3 AC alt 12.2 2.2 85.7 9.6 0.0 90.4 DA 1.1 48.0 50.9 0.4 69.1 30.6 DA add 2.9 28.9 68.2 2.5 33.6 63.9 DA alt 3.2 15.7 81.1 1.1 10.4 88.5

Table 5. Proportion of responses for the simple task and the suppression task. add = additional and alt=alternative premise.

slide-145
SLIDE 145

Results of the reasoning experiment: two premises

slide-146
SLIDE 146

Results of the reasoning experiment: two premises

  • both groups (autists, controls) showed high rates of

endorsement of MP and MT

slide-147
SLIDE 147

Results of the reasoning experiment: two premises

  • both groups (autists, controls) showed high rates of

endorsement of MP and MT

  • but autists showed considerably more `maybe’ responses

than controls (p = 0.001)

slide-148
SLIDE 148

Results of the reasoning experiment: two premises

  • both groups (autists, controls) showed high rates of

endorsement of MP and MT

  • but autists showed considerably more `maybe’ responses

than controls (p = 0.001)

  • autists endorsed AC and DA less than controls (p = 0.006)
slide-149
SLIDE 149

Results of the reasoning experiment: two premises

  • both groups (autists, controls) showed high rates of

endorsement of MP and MT

  • but autists showed considerably more `maybe’ responses

than controls (p = 0.001)

  • autists endorsed AC and DA less than controls (p = 0.006)
  • reaction times tend to show that backward inferences (MT,

AC) are slower for autists than controls (p = 0.053); for controls no significant difference between forward and backward

slide-150
SLIDE 150

Results of the reasoning experiment: three premises

slide-151
SLIDE 151

Results of the reasoning experiment: three premises

  • in case of an additional premise, autists

suppressed MP and MT significantly less than controls (p = 0.025; conditionalised on endorsement of two premise inference)

slide-152
SLIDE 152

Results of the reasoning experiment: three premises

  • in case of an additional premise, autists

suppressed MP and MT significantly less than controls (p = 0.025; conditionalised on endorsement of two premise inference)

  • no significant differences between groups for

additional premises in AC and DA

slide-153
SLIDE 153

Results of the reasoning experiment: three premises

  • in case of an additional premise, autists

suppressed MP and MT significantly less than controls (p = 0.025; conditionalised on endorsement of two premise inference)

  • no significant differences between groups for

additional premises in AC and DA

  • no significant differences between groups for

alternative premises in all inferences

slide-154
SLIDE 154

Reaction time experiment: three premises

slide-155
SLIDE 155

Reaction time experiment: three premises

  • processing of additional premises takes significantly longer (p =

0.000; no difference between groups)

slide-156
SLIDE 156

Reaction time experiment: three premises

  • processing of additional premises takes significantly longer (p =

0.000; no difference between groups)

  • backward inferences slower than forward inferences (p = 0.000; no

difference between groups)

slide-157
SLIDE 157

Reaction time experiment: three premises

  • processing of additional premises takes significantly longer (p =

0.000; no difference between groups)

  • backward inferences slower than forward inferences (p = 0.000; no

difference between groups)

  • inferences involving a negation are slower than those without (p =

0.000; no difference between groups)

slide-158
SLIDE 158

Reaction time experiment: three premises

  • processing of additional premises takes significantly longer (p =

0.000; no difference between groups)

  • backward inferences slower than forward inferences (p = 0.000; no

difference between groups)

  • inferences involving a negation are slower than those without (p =

0.000; no difference between groups)

  • suppression of MP takes longer than non-suppression (p = 0.038)
slide-159
SLIDE 159

What to conclude from this?

slide-160
SLIDE 160

What to conclude from this?

  • AC/DA: different behaviour of autists not

due to failure to integrate second conditional premise, as WCC would perhaps suggest

slide-161
SLIDE 161

What to conclude from this?

  • AC/DA: different behaviour of autists not

due to failure to integrate second conditional premise, as WCC would perhaps suggest

  • the theoretical model proposed by Stenning-

vL predicts that suppression in MP and MT is due to incorporation of exceptions

slide-162
SLIDE 162

What to conclude from this?

  • AC/DA: different behaviour of autists not

due to failure to integrate second conditional premise, as WCC would perhaps suggest

  • the theoretical model proposed by Stenning-

vL predicts that suppression in MP and MT is due to incorporation of exceptions

  • on this model, the observations imply that

autists `do not’ incorporate exceptions

slide-163
SLIDE 163

What to conclude from this?

  • AC/DA: different behaviour of autists not

due to failure to integrate second conditional premise, as WCC would perhaps suggest

  • the theoretical model proposed by Stenning-

vL predicts that suppression in MP and MT is due to incorporation of exceptions

  • on this model, the observations imply that

autists `do not’ incorporate exceptions

  • the same phenomenon was uncovered in our analysis of box

task and FBT!

slide-164
SLIDE 164

Neural correlate of well- founded semantics

slide-165
SLIDE 165

Neural correlate of well- founded semantics

slide-166
SLIDE 166

Abnormalities

slide-167
SLIDE 167

Inhibition in the autistic brain

slide-168
SLIDE 168

Inhibition in the autistic brain

  • the neural correlate of the computational theory predicts

that an inhibitory neuron interrupts the link from `has an essay’ to `studies in library’

slide-169
SLIDE 169

Inhibition in the autistic brain

  • the neural correlate of the computational theory predicts

that an inhibitory neuron interrupts the link from `has an essay’ to `studies in library’

  • there are indications that at the neural level inhibition is

compromised in autists

slide-170
SLIDE 170

Inhibition in the autistic brain

  • the neural correlate of the computational theory predicts

that an inhibitory neuron interrupts the link from `has an essay’ to `studies in library’

  • there are indications that at the neural level inhibition is

compromised in autists

  • immature inhibitory interneurons due to brain growth

spurt

slide-171
SLIDE 171

Inhibition in the autistic brain

  • the neural correlate of the computational theory predicts

that an inhibitory neuron interrupts the link from `has an essay’ to `studies in library’

  • there are indications that at the neural level inhibition is

compromised in autists

  • immature inhibitory interneurons due to brain growth

spurt

  • deficient GABA production
slide-172
SLIDE 172

Inhibition in the autistic brain

  • the neural correlate of the computational theory predicts

that an inhibitory neuron interrupts the link from `has an essay’ to `studies in library’

  • there are indications that at the neural level inhibition is

compromised in autists

  • immature inhibitory interneurons due to brain growth

spurt

  • deficient GABA production
  • imbalance between excitatory and inhibitory neurons
slide-173
SLIDE 173

Inhibition in the autistic brain

  • the neural correlate of the computational theory predicts

that an inhibitory neuron interrupts the link from `has an essay’ to `studies in library’

  • there are indications that at the neural level inhibition is

compromised in autists

  • immature inhibitory interneurons due to brain growth

spurt

  • deficient GABA production
  • imbalance between excitatory and inhibitory neurons
  • (at least) 2 types of inhibitory interneurons: basket cells

(local connectivity) and Lugaro cells (long range)

slide-174
SLIDE 174

An ERP study

slide-175
SLIDE 175

ERP waveforms

slide-176
SLIDE 176

A puzzle?

slide-177
SLIDE 177

A puzzle?

  • in the new condition, the behavioural data of

autists are not significantly different from those of neurotypicals

slide-178
SLIDE 178

A puzzle?

  • in the new condition, the behavioural data of

autists are not significantly different from those of neurotypicals

  • yet the ERP waveforms are significantly

different!

slide-179
SLIDE 179

A puzzle?

  • in the new condition, the behavioural data of

autists are not significantly different from those of neurotypicals

  • yet the ERP waveforms are significantly

different!

  • look again at the experimental material...
slide-180
SLIDE 180

A puzzle?

  • in the new condition, the behavioural data of

autists are not significantly different from those of neurotypicals

  • yet the ERP waveforms are significantly

different!

  • look again at the experimental material...
  • the new premises can be taken as

inconsistent!

slide-181
SLIDE 181

Book

Keith Stenning & Michiel van Lambalgen `Human reasoning and cognitive science’ MIT Press 2008 (esp. chapters 7, 8, 9)