Abstract
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).
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
Author information
Authors and Affiliations
Corresponding author
Rights and permissions
Copyright information
© 2018 Springer-Verlag GmbH Germany, part of Springer Nature
About this chapter
Cite this chapter
Eichhorn, C. (2018). Preliminaries. In: Rational Reasoning with Finite Conditional Knowledge Bases. J.B. Metzler, Stuttgart. https://doi.org/10.1007/978-3-476-04824-0_2
Download citation
DOI: https://doi.org/10.1007/978-3-476-04824-0_2
Published:
Publisher Name: J.B. Metzler, Stuttgart
Print ISBN: 978-3-476-04823-3
Online ISBN: 978-3-476-04824-0
eBook Packages: J.B. Metzler Humanities (German Language)