Information for real life AI applications is usually pervaded by uncertainty and subject to change, and thus demands for nonclassical 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 o↵ers 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 di↵erent paradigms of reasoning. This year we welcomed especially contributions on intersections between human and formal aspects such as computational thinking. 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
As in the past, the workshop This volume contains the papers presented at the FCR-2021 workshop held on 28-Sep-2021. The KI-2021 conference and all its workshops were expected to take place in Berlin, Germany. However, because of the corona pandemic all were turned into fully virtual events.
Each FCR submission was reviewed by two program committee members. The committee decided to accept seven papers for presentation. In consequence, the workshop hosted contributions with diverse topics such as artificial mental states, consciousness, cognitive models, conditionals, description logics, belief revision, and defeasibility. We are grateful to Abhaya Nayak for enriching the program by a very inspiring keynote talk.
The organizers of this workshop would like to thank the organizers of the KI-2021 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. Christoph Beierle, Marco Ragni, Frieder Stolzenburg, Matthias Thimm Workshop Organizers and Co-Chairs Christoph Beierle FernUniversität in Hagen, Germany Marco Ragni TU Chemnitz, Germany Frieder Stolzenburg Hochschule Harz, Germany Matthias Thimm FernUniversität in Hagen, Germany Program Committee Ringo Baumann Universität Leipzig, Germany Christoph Benzmüller Freie Universität Berlin, Germany François Bry Ludwig Maximilian University of Munich, Germany Emmanuelle-Anna Dietz TU Dresden, Germany Lupita Estefania Gazzo Castaneda Universität Gießen, Germany Haythem O. Ismail German University in Cairo, Egypt Manfred Kerber University of Birmingham, UK Gabriele Kern-Isberner TU Dortmund, Germany Steven Kutsch inovex GmbH, Germany Sylwia Polberg Cardi↵ University, UK Nico Potyka Universität Stuttgart, Germany Sebastian Rudolph TU Dresden, Germany Ute Schmid Universität Bamberg, Germany Claudia Schon Universität Koblenz-Landau, Germany Christian Strasser Ruhr-University Bochum, Germany Hans Tompits TU Wien, Austria Anni-Yasmin Turhan TU Dresden, Germany Christoph Wernhard TU Dresden, Germany Stefan Woltran TU Wien, Austria
Universität Leipzig, Germany Preface