=Paper=
{{Paper
|id=Vol-2194/preface
|storemode=property
|title=None
|pdfUrl=https://ceur-ws.org/Vol-2194/preface.pdf
|volume=Vol-2194
}}
==None==
https://ceur-ws.org/Vol-2194/preface.pdf
Preface
Aims and scope of the workshop 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 in-
dicate that human reasoning cannot be completely described by classical logical
systems. Knowledge representation o↵ers a rich palette of methods for uncertain
reasoning both to describe human reasoning and to model AI approaches. Its
many facets like qualitative vs. quantitative reasoning, defeasible and analogical
reasoning, causal reasoning for action and planning, as well as nonmonotonic-
ity and belief revision, including techniques from machine learning, among many
others, have become very active fields of research. Beyond computational aspects,
these methods aim to reflect the rich variety of human reasoning in uncertain
and dynamic environments. The aim of this series of workshops is to address re-
cent 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 formal and cognitive reasoning. Previous events of
the Workshop on Dynamics of Knowledge and Belief (DKB) took place in Os-
nabrück (2007), Paderborn (2009), Berlin (2011), and Koblenz (2013), previous
editions of the Workshop on KI & Kognition (KIK) took place in Saarbrücken
(2012), Koblenz (2013), and Stuttgart (2014), and joint workshops took place in
Dresden (2015) and Dortmund (2017).
Focus of the workshop This year, again we put a special focus on papers that
provide a base for connecting formal-logical models of knowledge representation
and cognitive models of reasoning, addressing formal as well as experimental or
heuristic issues. Reflecting this focus, the workshop Formal and Cognitive Rea-
soning at KI 2018 was organized jointly by the GI special interest groups FG
Wissensrepräsentation und Schließen and FG Kognition. This volume contains
the papers presented at the DKB/KIK 2018 workshop on formal and cogni-
tive reasoning held on 25-Sep-2018 in Berlin. There were seven submissions to
the workshop. Each submission was reviewed by two program committee mem-
bers. The committee decided to accept five papers. In consequence, the workshop
hosted contributions from diverse fields such as ontology-based query answering,
belief change, probabilistic reasoning, intelligent agents, and non-monotonic rea-
soning. The program was enriched this year by two interesting keynote talks: Tom
Gordon presented a computational model of argument based on argumentation
schemes that overcomes simplifying assumptions in many of the state-of-the-art
approaches to computational argumentation and is able to address general prob-
lem solving. Ute Schmid provided a brief history of machine learning research
followed by a presentation of specific approaches of symbolic machine learning
towards explainable AI.
Acknowledgments The organizers of this workshop would like to thank the or-
ganizers of the KI 2018 conference in Berlin for their excellent support. We also
would like to thank the members of the program committee for their help in
selecting and improving the submitted papers, and finally all participants of the
workshop for their contributions. Our wish is that new inspirations and collab-
orations between the contributing disciplines will emerge from this workshop.
August 2018 Christoph Beierle
Gabriele Kern-Isberner
Marco Ragni
Frieder Stolzenburg
Matthias Thimm
(Chairs)