|
FCR-2023: 9th Workshop on Formal and Cognitive ReasoningWorkshop 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 |
|
[ Call for Papers ] [ Committee ] [ Dates ] [ Submission ] [ Program ] [ Local Information ] |
|
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.
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:| 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.
| 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 |
| 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 |
| Deadline for Submission: | July 21, 2023 (extended) |
| Notification of Authors: | August 25, 2023 (updated) |
| Camera-ready Paper: | September 13, 2023 |
| Workshop: | September 26, 2023 |
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 can be found on the web pages of the KI-2023 conference.
Last modified 2023-09-11