=Paper=
{{Paper
|id=Vol-1651/prefaceonly
|storemode=property
|title=None
|pdfUrl=https://ceur-ws.org/Vol-1651/prefaceonly.pdf
|volume=Vol-1651
}}
==None==
<pdf width="1500px">https://ceur-ws.org/Vol-1651/prefaceonly.pdf</pdf>
<pre>
Preface
This volume contains the papers presented at Bridging-16: Bridging the Gap
between Human and Automated Reasoning held on July 9th, 2016 in New York
in conjunction with the 25th International Joint Conference on Artificial Intel-
ligence.
    Human reasoning or the psychology of deduction is well researched in cog-
nitive psychology and in cognitive science. There are a lot of findings which are
based on experimental data about reasoning tasks, among others models for the
Wason selection task or the suppression task discussed by Byrne and others. This
research is supported also by brain researchers, who aim at localizing reasoning
processes within the brain. Automated deduction, on the other hand, is mainly
focusing on the automated proof search in logical calculi. And indeed there is
tremendous success during the last decades. Recently a coupling of the areas of
cognitive science and automated reasoning is addressed in several approaches.
For example, there is increasing interest in modeling human reasoning within
automated reasoning systems including modeling with answer set programming,
deontic logic or abductive logic programming. There are also various approaches
within AI research.
    This workshop is a follow-up event of the successful Bridging-15 workshop
which was located at CADE-25. Like its preceding event, it is intended to get an
overview of existing approaches and makes a step towards a cooperation between
computational logic and cognitive science.
    In total, ten papers were submitted to the workshop. From these, seven have
been accepted for presentation. The papers present the following strands: spatial
cognition, theorem proving and natural games; logic programming approaches to
model human reasoning; syllogistic reasoning; computational models for human
reasoning; benchmarks for commonsense reasoning; argumentation.
    Apart from the accepted papers, the workshop program includes a keynote
presentation by Sangeet Khemlani. His research extends across many areas of
cognitive science including human reasoning and mental models. His talk on
Automating Human Inference considers both automated and human reasoning
which makes it an interesting step to bridge human and automated reasoning.
    Finally, the Bridging-16 organizers seize the opportunity to thank the Pro-
gram Committee members for their most valuable comments on the submissions,
the authors for inspiring papers, the audience for their interest in this workshop,
the local organizers from the IJCAI-16 team, the Workshops Chair and IFIP for
supporting the workshop.
    We hope that in the years to come, Bridging will become a platform for di-
alogue and interaction for researchers in both cognitive science and automated
reasoning and will e↵ectively help to bridge the gap between human and auto-
mated reasoning.


June 23, 2016                                                      Claudia Schon
Koblenz                                                            Ulrich Furbach


                                         i

</pre>