Information for real life AI applications is usually pervaded by uncertainty and subject to change, and thus demands for non-classical reasoning approaches. 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 mechanism 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. We put a special focus on papers from both fields that provide a base for connecting formal-logical models of knowledge representation and cognitive models of reasoning and learning, addressing formal as well as experimental or heuristic issues. Previous events of the Workshop on Formal and Cognitive Reasoning took place in Dresden (2015), Bremen (2016), Dortmund (2017), Berlin (2018), and Kassel (2019).
As in the past, the workshop Formal and Cognitive Reasoning (FCR-2020) at KI-2020, the 43rd German Conference on Artificial Intelligence, was organized jointly by the GI special interest groups Wissensrepr¨asentation und Schließen and Kognition. Because of the success of this joint workshop series, we will use solely the single acronym FCR. The workshop series emerged from two separate workshop series, namely Dynamics of Knowledge and Belief (DKB) and KI & Kognition (KIK).
This volume contains the papers presented at the FCR-2020 workshop held on 22-Sep-2020. The KI-2020 conference and all its workshops were expected to take place in Bamberg, Germany. However, because of the corona pandemic all were turned into fully virtual events – as so many events in 2020.
There were eight submissions to the workshop. Each submission was reviewed by two program committee members. The committee decided to accept six papers for presentation. In consequence, the workshop hosted contributions with diverse topics such as artificial mental states, automated reasoning, belief revision, consciousness, description logics, natural language understanding, norms and defeasibility.
The organizers of this workshop would like to thank the organizers of the KI2020 conference for their support. We also would like to thank the members of the program committee and the additional reviewers for their help in carefully reviewing and selecting the submitted papers, and finally all participants of the workshop for their contributions. Our wish is that new inspirations and collaborations between the contributing disciplines will emerge from this workshop. Last but not least, we are very grateful to Michael Kohlhase for enriching the program by an invited talk.
Christoph Beierle, Marco Ragni, Frieder Stolzenburg, Matthias Thimm
Emmanuelle-Anna Dietz Ulrich Furbach Lupita Estefania Gazzo Castaneda Haythem O. Ismail Manfred Kerber Gabriele Kern-Isberner Sylwia Polberg Nico Potyka Ute Schmid Claudia Schon Hans Tompits Christoph Wernhard Stefan Woltran Additional Reviewers Adrian Haret Markus Ulbricht