<!DOCTYPE article PUBLIC "-//NLM//DTD JATS (Z39.96) Journal Archiving and Interchange DTD v1.0 20120330//EN" "JATS-archivearticle1.dtd">
<article xmlns:xlink="http://www.w3.org/1999/xlink">
  <front>
    <journal-meta />
    <article-meta>
      <title-group>
        <article-title>High-level inference through mental simulation</article-title>
      </title-group>
      <contrib-group>
        <contrib contrib-type="author">
          <string-name>Marco Ragni</string-name>
          <email>ragni@informatik.uni-freiburg.de</email>
          <xref ref-type="aff" rid="aff0">0</xref>
          <xref ref-type="aff" rid="aff1">1</xref>
          <xref ref-type="aff" rid="aff2">2</xref>
          <xref ref-type="aff" rid="aff3">3</xref>
          <xref ref-type="aff" rid="aff4">4</xref>
          <xref ref-type="aff" rid="aff5">5</xref>
        </contrib>
        <aff id="aff0">
          <label>0</label>
          <institution>Center for Cognitive Science, University of Freiburg D-79098 Freiburg</institution>
          ,
          <country country="DE">Germany</country>
        </aff>
        <aff id="aff1">
          <label>1</label>
          <institution>Chairperson Robert Mackiewicz Department of Psychology, University of Social Science and Humanities</institution>
          ,
          <addr-line>PL - 03815 Warsaw</addr-line>
          ,
          <country country="PL">Poland</country>
        </aff>
        <aff id="aff2">
          <label>2</label>
          <institution>Discussant Sangeet Khemlani Navy Center for Applied Research in Artificial Intelligence, Naval Research Laboratory Washington</institution>
          ,
          <addr-line>DC 20375</addr-line>
          <country country="US">USA</country>
        </aff>
        <aff id="aff3">
          <label>3</label>
          <institution>Philipp Koralus Faculty of Philosophy, University of Oxford Oxford</institution>
          ,
          <addr-line>OX2 6GG</addr-line>
          ,
          <country country="UK">UK</country>
        </aff>
        <aff id="aff4">
          <label>4</label>
          <institution>Robert Mackiewicz Department of Psychology, University of Social Science and Humanities PL - 03815 Warsaw</institution>
          ,
          <country country="PL">Poland</country>
        </aff>
        <aff id="aff5">
          <label>5</label>
          <institution>Walter Schaeken Laboratory for Experimental Psychology, KU Leuven B - 3000 Leuven</institution>
          ,
          <country country="BE">Belgium</country>
        </aff>
      </contrib-group>
      <fpage>22</fpage>
      <lpage>24</lpage>
    </article-meta>
  </front>
  <body>
    <sec id="sec-1">
      <title>Speakers</title>
      <p>
        Reasoners without any background in logic can make
valid deductions. They can reason about sentences and
relations (Mackiewicz &amp; Johnson-Laird, 2012), ascribe
culpability and causality
        <xref ref-type="bibr" rid="ref2">(Bucciarelli et al., 2008)</xref>
        , creatively
generate algorithms to solve tasks
        <xref ref-type="bibr" rid="ref8">(Khemlani et al., 2013)</xref>
        ,
make inferences about mechanisms and physical scenes
        <xref ref-type="bibr" rid="ref1 ref4">(Hegarty, 2004; Battaglia et al., 2013)</xref>
        , and construct
explanations to cope with inconsistencies
        <xref ref-type="bibr" rid="ref6">(Johnson-Laird et
al., 2004)</xref>
        . Recent evidence implicates mental simulation as
the conceptual foundation of all these behaviors
        <xref ref-type="bibr" rid="ref5">(JohnsonLaird &amp; Khemlani, 2014)</xref>
        . People appear to build
smallscale discrete mental simulations that mimic the relations of
what they represent, and
        <xref ref-type="bibr" rid="ref3">Craik (1943)</xref>
        was the first to
explore their importance in thinking. The idea can be used
to predict reasoning difficulty: the more simulations
reasoners have to build for a given problem, the harder that
problem will be.
      </p>
      <p>Despite considerable theoretical development in the last
30 years, open questions remain: how does simulation
synthesize deductive, inductive, and abductive reasoning?
How does it develop? How do reasoners incorporate
uncertainty into their simulations? Do simulations arise in
non-linguistic contexts? Researchers have begun to
investigate each of these outstanding issues. This
symposium highlights recent insights from the last five
years into the pivotal role that mental simulation plays
across a broad swathe of high-level reasoning behavior.
Discussants will highlight developmental trends,
computational models, and new data that provide
converging progress toward a unified theory of human
reasoning based on mental simulation.</p>
      <sec id="sec-1-1">
        <title>Illusory inferences and the erotetic theory of reasoning</title>
      </sec>
    </sec>
    <sec id="sec-2">
      <title>Philipp Koralus</title>
      <p>
        Human reasoners are subject to fallacious inferences from
very simple premises that have been described as
tantamount to cognitive illusions
        <xref ref-type="bibr" rid="ref6 ref7">(Walsh &amp; Johnson-Laird,
2004; Khemlani &amp; Johnson-Laird, 2009)</xref>
        . We present new
experiments that show that these phenomena are much more
general and systematic than has previously been thought,
including inferences from disjunctive premises and premises
involving quantifiers. The novel illusory inferences we
present are predicted by the erotetic theory of reasoning
        <xref ref-type="bibr" rid="ref9">(Koralus and Mascarenhas, 2013)</xref>
        . The key idea is that, by
default, we reason by interpreting successive premises as
questions and maximally strong answers to those questions,
which generates the observed fallacies.
      </p>
      <sec id="sec-2-1">
        <title>Kinematic mental simulations in childrens’ abduction of algorithms</title>
      </sec>
    </sec>
    <sec id="sec-3">
      <title>Robert Mackiewicz</title>
      <p>The theory of mental models postulates that the creation of
algorithms depends on kinematic mental simulations. We
present three experiments with children whose task was to
devise informal algorithms to rearrange the order of cars in
trains (using a siding). Children were able to solve
rearrangements of trains containing six cars and the minimal
theoretical number of moves predicted the difficulty of
rearrangement (Experiment 1). When children were asked to
create and verbally describe algorithms for rearrangements,
the difficulty of the task depended not on the number of
moves but on the theoretical complexity of the algorithm
(Experiment 2). Children used many gestures mimicking
actual moves in formulating their algorithms. Gestures
obviate verbal identifications of cars and descriptions of
their moves. A final study supported this hypothesis:
children formulated accurate algorithms on 13% more trials
when they were able to gesture than when they were unable
to gesture (Experiment 3).</p>
      <sec id="sec-3-1">
        <title>Tracing Cognitive Complexity in Relational</title>
      </sec>
      <sec id="sec-3-2">
        <title>Reasoning</title>
      </sec>
    </sec>
    <sec id="sec-4">
      <title>Marco Ragni</title>
      <p>The core interest from a cognitive modeling perspective is
to find theory inherent predictions for human reasoning
difficulty typically measured by error rates or response
times. The theory of mental logic, for instance, claims that
reasoning difficulty depends on the number and kind of
rules that need to be applied to derive a conclusion. In
contrast the mental model theory explains reasoning
difficulty by the initial mental model and the possible
number of models. In this talk I will first introduce
prominent theories for relational reasoning. In a second step
I will analyze their predictions for cognitive complexity and
discuss if measures from artificial intelligence can provide
additional insights.</p>
      <sec id="sec-4-1">
        <title>Training of Spatial Reasoning</title>
      </sec>
    </sec>
    <sec id="sec-5">
      <title>Walter Schaeken</title>
      <p>The mental models theory of relational reasoning postulates
that individuals reason by constructing the possible models
of the situation described by the premises. The present
article reports two experiments about spatial relational
reasoning and focuses on the possibility of training In
Experiment 1, we compared two different training methods,
one in line with the mental models theory and one in line
with the rule-based account Both accuracy and training data
supported the mental models theory. In Experiment 2, we
compared different training methods for children. Again,
results were in line with the mental models theory. Hence,
training both children and adults in small-scale discrete
mental simulations that mimic the relations expressed by the
premises enhances the reasoning performance.</p>
      <p>Mackiewicz, R. &amp; Johnson-Laird, P.N. (2012). Reasoning
from connectives and relations between entities. Memory
&amp; Cognition, 40, 266-279.</p>
      <p>Walsh, C.R. &amp; Johnson-Laird, P.N. (2004). Co-reference
and reasoning. Memory &amp; Cognition, 32, 96-106.</p>
    </sec>
  </body>
  <back>
    <ref-list>
      <ref id="ref1">
        <mixed-citation>
          <string-name>
            <surname>Battaglia</surname>
            ,
            <given-names>P. W.</given-names>
          </string-name>
          ,
          <string-name>
            <surname>Hamrick</surname>
            ,
            <given-names>J. B.</given-names>
          </string-name>
          , &amp;
          <string-name>
            <surname>Tenenbaum</surname>
            ,
            <given-names>J. B.</given-names>
          </string-name>
          (
          <year>2013</year>
          ).
          <article-title>Simulation as an engine of physical scene understanding</article-title>
          .
          <source>Proceedings of the National Academy of Sciences</source>
          ,
          <volume>110</volume>
          ,
          <fpage>18327</fpage>
          -
          <lpage>18332</lpage>
          .
        </mixed-citation>
      </ref>
      <ref id="ref2">
        <mixed-citation>
          <string-name>
            <surname>Bucciarelli</surname>
            ,
            <given-names>M.</given-names>
          </string-name>
          ,
          <string-name>
            <surname>Khemlani</surname>
            ,
            <given-names>S.</given-names>
          </string-name>
          , &amp;
          <string-name>
            <surname>Johnson-Laird</surname>
            ,
            <given-names>P.N.</given-names>
          </string-name>
          (
          <year>2008</year>
          ).
          <source>The Psychology of Moral Reasoning. Judgment and Decision Making</source>
          ,
          <volume>3</volume>
          ,
          <fpage>121</fpage>
          -
          <lpage>139</lpage>
          .
        </mixed-citation>
      </ref>
      <ref id="ref3">
        <mixed-citation>
          <string-name>
            <surname>Craik</surname>
            ,
            <given-names>K.</given-names>
          </string-name>
          (
          <year>1943</year>
          ).
          <source>The Nature of Explanation</source>
          . Cambridge: Cambridge University Press.
        </mixed-citation>
      </ref>
      <ref id="ref4">
        <mixed-citation>
          <string-name>
            <surname>Hegarty</surname>
            ,
            <given-names>M.</given-names>
          </string-name>
          (
          <year>2004</year>
          ).
          <article-title>Mechanical reasoning by mental simulation</article-title>
          .
          <source>Trends in Cognitive Sciences</source>
          ,
          <volume>8</volume>
          ,
          <fpage>280</fpage>
          -
          <lpage>285</lpage>
          .
        </mixed-citation>
      </ref>
      <ref id="ref5">
        <mixed-citation>
          <string-name>
            <surname>Johnson-Laird</surname>
            ,
            <given-names>P.N.</given-names>
          </string-name>
          &amp;
          <string-name>
            <surname>Khemlani</surname>
            ,
            <given-names>S.S.</given-names>
          </string-name>
          (
          <year>2014</year>
          ).
          <article-title>Toward a unified theory of reasoning</article-title>
          .
          <source>Psychology of Learning and Motivation</source>
          ,
          <volume>59</volume>
          ,
          <fpage>1</fpage>
          -
          <lpage>42</lpage>
          .
        </mixed-citation>
      </ref>
      <ref id="ref6">
        <mixed-citation>
          <string-name>
            <surname>Johnson-Laird</surname>
            ,
            <given-names>P.N.</given-names>
          </string-name>
          ,
          <string-name>
            <surname>Girotto</surname>
            ,
            <given-names>V.</given-names>
          </string-name>
          ,
          <string-name>
            <surname>Legrenzi</surname>
            ,
            <given-names>P.</given-names>
          </string-name>
          (
          <year>2004</year>
          ).
          <article-title>Reasoning from inconsistency to consistency</article-title>
          .
          <source>Psychological Review</source>
          ,
          <volume>111</volume>
          ,
          <fpage>640</fpage>
          -
          <lpage>661</lpage>
          .
        </mixed-citation>
      </ref>
      <ref id="ref7">
        <mixed-citation>
          <string-name>
            <surname>Khemlani</surname>
            ,
            <given-names>S.S.</given-names>
          </string-name>
          &amp;
          <string-name>
            <surname>Johnson-Laird</surname>
            ,
            <given-names>P.N.</given-names>
          </string-name>
          (
          <year>2009</year>
          ).
          <article-title>Disjunctive illusory inferences and how to eliminate them</article-title>
          .
          <source>Memory &amp; Cognition</source>
          ,
          <volume>37</volume>
          ,
          <fpage>615</fpage>
          -
          <lpage>623</lpage>
          .
        </mixed-citation>
      </ref>
      <ref id="ref8">
        <mixed-citation>
          <string-name>
            <surname>Khemlani</surname>
            ,
            <given-names>S.S.</given-names>
          </string-name>
          ,
          <string-name>
            <surname>Mackiewicz</surname>
            ,
            <given-names>R.</given-names>
          </string-name>
          ,
          <string-name>
            <surname>Bucciarelli</surname>
            ,
            <given-names>M.</given-names>
          </string-name>
          , &amp;
          <string-name>
            <surname>Johnson-Laird</surname>
            ,
            <given-names>P.N.</given-names>
          </string-name>
          (
          <year>2013</year>
          ).
          <article-title>Kinematic mental simulations in abduction and deduction</article-title>
          .
          <source>Proceedings of the National Academy of Sciences of the United States of America</source>
          ,
          <volume>110</volume>
          ,
          <fpage>16766</fpage>
          -
          <lpage>16771</lpage>
          .
        </mixed-citation>
      </ref>
      <ref id="ref9">
        <mixed-citation>
          <string-name>
            <surname>Koralus</surname>
            ,
            <given-names>P.</given-names>
          </string-name>
          &amp;
          <string-name>
            <surname>Mascarenhas</surname>
            ,
            <given-names>S.</given-names>
          </string-name>
          (
          <year>2013</year>
          ).
          <article-title>The erotetic theory of reasoning: Bridges between formal semantics and the psychology of deductive inference</article-title>
          .
          <source>Philosophical Perspectives</source>
          ,
          <volume>27</volume>
          ,
          <fpage>312</fpage>
          -
          <lpage>365</lpage>
          .
        </mixed-citation>
      </ref>
    </ref-list>
  </back>
</article>