9th Workshop on Formal and Cognitive Reasoning

Workshop at the

46th German Conference on Artificial Intelligence (KI-2023)

September 27 - September 29, 2023: Berlin, Germany

Organized by the SIG Knowledge Representation and Reasoning and SIG Cognition of the GI

GI Logo 200x200gif

Call for Papers ] Committee ] [ Dates ] [ Submission ] Program ] [ Local Information ]

Aims and Scope

In real-life AI applications, information is usually pervaded by uncertainty and subject to change, and thus requires non-classical systems. At the same time, psychological findings indicate that human reasoning cannot be completely described by classical logical systems. Sources of explanations are incomplete knowledge, incorrect beliefs, or inconsistencies. A wide range of reasoning mechanisms has to be considered, such as analogical or defeasible reasoning, possibly in combination with machine learning methods. The field of knowledge representation and reasoning offers a rich palette of methods for uncertain reasoning both to describe human reasoning and to model AI approaches.

Call for Papers

The aim of this series of workshops is to address recent challenges and to present novel approaches to uncertain reasoning and belief change in their broad senses, and in particular provide a forum for research work linking different paradigms of reasoning. A special focus is on papers that provide a base for connecting formal-logical models of knowledge representation and cognitive models of reasoning and learning, addressing formal and experimental or heuristic issues. Previous events of the Workshop on "Formal and Cognitive Reasoning" and joint workshops took place in Dresden (2015), Bremen (2016), Dortmund (2017), Berlin (2018), Kassel (2019), Bamberg (2020, online), Berlin (2021, online), and Trier (2022, online).

We welcome papers on the following and any related topics:

Keynote Speaker

In Memory of Steffen Hölldobler: From Logic to Formal and Cognitive Reasoning
Ulrich Furbach University of Koblenz, Germany
Meghna Bhadra TU Dresden, Germany
The two authors would like to pay tribute to the memory of their dear friend and colleague Steffen Hölldobler, who left us far too early in 2023. Ulrich (UF), in his time as a postdoc at the University of the Bundeswehr Munich, mentored Steffen as a student in his first logic lectures. Meghna (MB) is Steffen's last PhD student. Although there is so much more to the wonderful man Steffen was, this article strives to briefly touch upon some of the various hats he donned during his lifetime -- as a student, a researcher, a professor and a friend.
The Relevance of Formal Logics for Cognitive Logics, and Vice Versa
Gabriele Kern-Isberner TU Dortmund University, Germany
Classical logics like propositional or predicate logic have been considered as the gold standard for rational human reasoning, and hence as a solid, desirable norm on which all human knowledge and decision making should be based, ideally. For instance, Boolean logic was set up as kind of an algebraic framework that should help make rational reasoning computable in an objective way, similar to the arithmetics of numbers. Computer scientists adopted this view to (literally) implement objective knowledge and rational deduction, in particular for AI applications. Psychologists have used classical logics as norms to assess the rationality of human commonsense reasoning. However, both disciplines could not ignore the severe limitations of classical logics, e.g., computational complexity and undecidedness, failures of logic-based AI systems in practice, and lots of psychological paradoxes. Many of these problems are caused by the inability of classical logics to deal with uncertainty in an adequate way. Both disciplines have used probabilities as a way out of this dilemma, hoping that numbers and the Kolmogoroff axioms can do the job (somehow). However, psychologists have been observing also lots of paradoxes here (maybe even more).
So then, are humans hopelessly irrational? Is human reasoning incompatible with formal, axiomatic logics? In the end, should computer-based knowledge and information processing be considered as superior in terms of objectivity and rationality?
Cognitive logics aim at overcoming the limitations of classical logics and resolving the observed paradoxes by proposing logic-based approaches that can model human reasoning consistently and coherently in benchmark examples. The basic idea is to reverse the normative way of assessing human reasoning in terms of logics resp. probabilities, and to use typical human reasoning patterns as norms for assessing the cognitive quality of logics. Cognitive logics explore the broad field of logic-based approaches between the extreme points marked by classical logics and probability theory with the goal to find more suitable logics for AI applications, on the one hand, and to gain more insights into the structures of human rationality, on the other. In particular, the talk features conditionals and preferential nonmonotonic reasoning as a powerful framework to explore characteristics of human rational reasoning.


The proceedings will be made available in the CEUR Workshop Proceedings series.

Workshop Organizers and Co-Chairs

Christoph Beierle FernUniversität in Hagen, Germany
Kai Sauerwald FernUniversität in Hagen, Germany
François Schwarzentruber University of Rennes, CNRS, IRISA, France
Frieder Stolzenburg Hochschule Harz, Germany

Program Committee

Theofanis Aravanis University of Patras, Greece
Laura Giordano Universit?? del Piemonte Orientale, Italy
Jesse Heyninck Open Universiteit Heerlen, the Netherlands
Haythem O. Ismail German University in Cairo, Egypt
Gabriele Kern-Isberner TU Dortmund, Germany
Jean-Guy Mailly Université Paris Cité, France
Meltem Ozturk Université Paris Dauphine, France
Özgür Lütfü Özcep University of Lübeck, Germany
Sylwia Polberg Cardiff University, UK
Ute Schmid Universität Bamberg, Germany
Claudia Schon Universität Koblenz-Landau, Germany
Matthias Thimm FernUniversität in Hagen, Germany
Markus Ulbricht University of Leipzig, Germany
Johannes P. Wallner Graz University of Technology, Austria
Christoph Wernhard Technische Universität Dresden, Germany

Important Dates

Deadline for Submission: July 21, 2023 (extended)
Notification of Authors: August 25, 2023 (updated)
Camera-ready Paper: September 13, 2023
Workshop: September 26, 2023

Submission Details

Papers should be formatted in CEUR style (2-column style) without enabled header and footer. The author kit can be found at http://ceur-ws.org/Vol-XXX/CEURART.zip. The length of each paper should not exceed 8-12 pages. All papers must be written in English and submitted in PDF format via the EasyChair system. One of the authors is expected to participate in the workshop and present their paper.

Local Information

Local information can be found on the web pages of the KI-2023 conference.

Last modified 2023-09-11