• Christian Eichhorn


This chapter recalls the formal background which provides the formal base this thesis is built upon. We start by introducing the running example, a variant of the iconic example from nonmonotonic reasoning speaking about birds and penguins with respect to their ability to fly. This example is then used to illustrate the stepwise recallection of the necessary preliminaries in propositional logic and classical entailment (Section 2.1), conditionals and knowledge bases (Section 2.2), and nonmonotonic inference (Section 2.3).


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

Copyright information

© Springer-Verlag GmbH Germany, part of Springer Nature 2018

Authors and Affiliations

  1. 1.IserlohnGermany

Personalised recommendations