=Paper=
{{Paper
|id=Vol-1444/preface
|storemode=property
|title=None
|pdfUrl=https://ceur-ws.org/Vol-1444/preface.pdf
|volume=Vol-1444
}}
==None==
<pdf width="1500px">https://ceur-ws.org/Vol-1444/preface.pdf</pdf>
<pre>
Proceedings of the KI 2015 Workshop on Formal and Cognitive Reasoning


                                  Preface


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. Generally, people
employ both inductive and deductive reasoning to arrive at beliefs; but the same
argument that is inductively strong or powerful may be deductively invalid.
Therefore, a wide range of reasoning mechanisms has to be considered, such
as analogical or defeasible reasoning. 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. Its many facets like qualitative vs.
quantitative reasoning, argumentation and negotiation in multi-agent systems,
causal reasoning for action and planning, as well as nonmonotonicity and belief
revision, 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 the series of workshops is on the one hand 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 and on the other hand to foster
a multidisciplinary exchange between the fields of AI and cognition by bringing
together researchers from artificial intelligence, automated deduction, computer
science, cognitive psychology, and philosophy. Previous events of the Workshop
on Dynamics of Knowledge and Belief (DKB) took place in Osnabrü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).
    This year, 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, addressing formal as well as experimental or
heuristic issues. Reflecting this focus, the workshop Formal and Cognitive Rea-
soning at KI 2015 is organized jointly by the GI special interest groups FG
Wissensrepräsentation und Schließen and FG Kognition.
    Out of eight submissions, five have been selected for presentation at the work-
shop after a thorough review process, four of them as regular papers and one
as a short paper. In consequence, the workshop hosts contributions on learning
rules for cooperative problem solving, qualitative probabilistic inference with
default inheritance, algebraic semantics for graded propositions, functional com-
pleteness of argumentation semantics, and approximate reasoning with fuzzy-
syllogistic systems. We are happy also to have two invited talks, jointly with
the Workshop on Neural-Cognitive Integration (NCI @ KI 2015) and the 29th
Workshop on (Constraint) Logic Programming (WLP 2015). The two invited



                                     1
Proceedings of the KI 2015 Workshop on Formal and Cognitive Reasoning


speakers, Herbert Jaeger and Steffen Hölldobler, both outstanding researchers
in their respective fields, present interesting insights in recurrent neural net-
works with conceptors, and aim at combining human reasoning, logic programs
and connectionist systems, respectively.

Acknowledgments
The organizers of this workshop would like to thank the organizers of the KI 2015
conference in Dresden, especially the workshop chair, Anni-Yasmin Turhan, 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 collaborations between the contributing disciplines will
emerge from this workshop.

   Christoph Beierle, Gabriele Kern-Isberner, Marco Ragni, Frieder Stolzenburg


Workshop Organizers and Co-Chairs
Christoph Beierle          FernUniversität in Hagen, Germany
Gabriele Kern-Isberner     TU Dortmund, Germany
Marco Ragni                Universität Freiburg, Germany
Frieder Stolzenburg        Hochschule Harz, Germany


Program Committee
Thomas Barkowsky           Universität Bremen, Germany
Gerd Brewka                Universität Leipzig, Germany
Igor Douven                Paris-Sorbonne University, France
Christian Freksa           Universität Bremen, Germany
Ulrich Furbach             Universität Koblenz, Germany
Joachim Hertzberg          Universität Osnabrück, Germany
Andreas Herzig             Universite Paul Sabatier, Toulouse, France
Steffen Hölldobler         Technische Universität Dresden, Germany
Manfred Kerber             University of Birmingham, UK
Gerhard Lakemeyer          RWTH Aachen, Germany
Bernhard Nebel             Albert-Ludwigs-Universität Freiburg, Germany
Henri Prade                IRIT – CNRS, France
Hans Rott                  Universität Regensburg, Germany
Ute Schmid                 Universität Bamberg, Germany
Matthias Thimm             Universität Koblenz-Landau, Germany
Paul Thorn                 Universität Düsseldorf, Germany
Hans Tompits               TU Wien, Austria
Christoph Wernhard         Technische Universität Dresden, Germany
Stefan Wölfl               Albert-Ludwigs-Universität Freiburg, Germany



                                     2

</pre>