[CogSci] CFP: 4th International Workshop on Bridging the Gap between Human and Automated Reasoning

[Sangeet Khemlani]

CALL FOR PAPERS

Fourth International Workshop on
Bridging the Gap between Human and Automated Reasoning

a FAIM workshop (supported by IFIP TC12) Stockholm, Sweden

Reasoning is a core ability in human cognition. Its power lies in the ability to theorize about the environment, to make implicit knowledge explicit, to generalize given knowledge, and to gain new insights. Early work often used propositional logic as a normative framework, where any deviation from logic was considered an error. The desire to explain difficulty in human reasoning inspired a shift from propositional logic towards other modeling frameworks, such as probabilistic approaches, mental models, and non-monotonic logics. The central goal of these frameworks is to model human reasoning patterns.

Automated reasoning, on the other hand, is mainly focused on leveraging logical calculi to perform automated proof search. And indeed there is tremendous success in advancing both the calculi and the proof search machinery during the last several decades.

Despite a common research interest - reasoning - the fields of automated deduction and the psychology of reasoning are disjoint. The present workshop's central goal is to foster better interdisciplinary research by connecting researchers in artificial intelligence, cognitive science, and cognitive psychology. The workshop aims to...
...develop a better understanding of methods, techniques, and approaches applied in both research fields.
...have a synopsis of the relevant state-of-the-art in both research directions.
...combine methods and techniques from both fields and find synergies.
...generate better experimental data that can be used to benchmark automated systems.
...advance cognitive theories through computational modeling.
The workshop will explore how both fields - human and automated reasoning - can contribute to these milestones and are in fact a conditio sine qua non. Achievements in both fields can inform the others. Deviations between fields can inspire researchers to seek a new and profound understanding of the nature of reasoning. Topics of interest include, but are not limited to the following:
benchmark problems relevant in both fields
approaches to tackle Benchmark problems like the Winograd Schema Challenge or the COPA challenge
limits and differences between automated and human reasoning
psychology of deduction and common sense reasoning
logics modeling human reasoning
non-monotonic, defeasible, and classical reasoning
The workshop is part of the FAIM workshop program located at the Federated Artificial Intelligence Meeting (FAIM) which includes the major conferences IJCAI, ECAI, ICML, AAMAS, ICCBR and SoCS. The Bridging workshop is supported by IFIP TC12. This is the fourth workshop in a series of successful Bridging the Gap Between Human and Automated Reasoning workshops.

IMPORTANT DATES
Full Paper submission deadline:	25th of April, 2018
Notification: 3rd of June, 2018 
Final submission: 17th of June, 2018 
Workshop: July 2018

SUBMISSION AND CONTRIBUTION FORMAT
Papers, including the description of work in progress are welcome and should be formatted according to IJCAI guidelines. The length should not exceed 6 pages excluding references. All papers must be submitted in PDF. Formatting instructions and the style files can be obtained http://www.ijcai.org/authors_kit. The EasyChair submission site is available at: https://easychair.org/conferences/?conf=bridging2018

PROCEEDINGS
Proceedings of the workshop will be published as CEUR workshop proceedings.

ORGANIZERS
Ulrich Furbach, University of Koblenz
Sangeet Khemlani, Naval Research Laboratory, Washington DC
Oliver Obst, Western Sydney University
Marco Ragni, University of Freiburg
Claudia Schon, University of Koblenz

PROGRAM COMMITTEE
Emmanuelle Diez Saldanha, University of Dresden
Ulrich Furbach, University of Koblenz
Steffen Hoelldobler, University of Dresden
Antonis C. Kakas, University Cyprus, Cyprus
Gabriele Kern-Isberner, TU Dortmund 
Sangeet Khemlani, Naval Research Lab, USA 
Robert A. Kowalski, Imperial College London, GB
Oliver Obst, Western Sydney University
Luis Moniz Pereira, Universidade Nova Lisboa, Portugal
Marco Ragni, University of Freiburg
Claudia Schon, University of Koblenz
Frieder Stolzenburg, Harz University of Applied Sciences
Contact: Claudia Schon, schon at uni-koblenz.de
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://lists.cognitivesciencesociety.org/pipermail/announcements-cognitivesciencesociety.org/attachments/20180329/c6e52d31/attachment.html>