Nonmonotonic reasoning is a discipline of computer science, epistemology, and cognition: It models inferences where classical logic is inadequate in symbolic AI, defines normative models for reasoning with defeasible information in epistemology, and models human reasoning under information change in cognition. Its building blocks are defeasible rules formalised as DeFinetti conditionals. In this thesis, Christian Eichhorn examines qualitative and semi-quantitative inference relations on top said conditionals, using the conditional structure of the knowledge base and Spohn’s Ordinal Conditional Functions, using established properties. Converting network approaches from probabilistics, he shows how to approach the relations with regard to implementation.

Keywords

Authors and Affiliations

Iserlohn, Germany

Christian Eichhorn

About the author

The Author
Christian Eichhorn received his doctorate from the Computer Science Department at the Technical University, Dortmund. His research was supported by the interdisciplinary Priority Programme SPP1516 „New Frameworks of Rationality” of the Deutsche Forschungsgemeinschaft.

Bibliographic Information

Book Title: Rational Reasoning with Finite Conditional Knowledge Bases
Book Subtitle: Theoretical and Implementational Aspects
Authors: Christian Eichhorn
DOI: https://doi.org/10.1007/978-3-476-04824-0
Publisher: J.B. Metzler Stuttgart
eBook Packages: J.B. Metzler Humanities (German Language)
Copyright Information: Springer-Verlag GmbH Germany, part of Springer Nature 2018
Softcover ISBN: 978-3-476-04823-3Published: 12 January 2019
eBook ISBN: 978-3-476-04824-0Published: 28 December 2018
Edition Number: 1
Number of Pages: XXVIII, 365
Number of Illustrations: 1 b/w illustrations
Topics: Epistemology, Knowledge based Systems, Logic in AI

Publish with us

Policies and ethics

Authors:

Sections

Buy it now

Buying options

Other ways to access

Table of contents (9 chapters)

Front Matter

Back Matter

About this book