Bridging 2016 - Second Workshop on: Bridging the Gap between Human and Automated Reasoning

Human reasoning or the psychology of deduction is well researched in cognitive 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 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 modelling 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 workshop (http://ratiolog.uni-koblenz.de/bridging.html) which was located at CADE-25. Like its preceding event, it is intended to get an overview of existing approaches and make a step towards a cooperation between computational logic and cognitive science. Topics of interest include, but are not limited to the following:
Limits and differences between automated and human reasoning
Psychology of deduction
Common sense reasoning
Logics modeling human cognition
Modeling human reasoning using automated reasoning systems
Non-monotonic, defeasible, and classical reasoning and possible explanations for human reasoning
Application fields of automated reasoning in the interaction with human reasoners
The workshop will be held in conjunction with IJCAI-16 and is supported by IFIP TC12.