Zeitschriftenartikel
Qualitative and Semi-Quantitative Inductive Reasoning with Conditionals
Vorschaubild nicht verfügbar
Volltext URI
Dokumententyp
Text/Journal Article
Zusatzinformation
Datum
2015
Autor:innen
Zeitschriftentitel
ISSN der Zeitschrift
Bandtitel
Verlag
Springer
Zusammenfassung
Conditionals like “birds fly—if bird then fly” are crucial for commonsense reasoning. In this technical project report we show that conditional logics provide a powerful formal framework that helps understanding if-then sentences in a way that is much closer to human reasoning than classical logic and allows for high-quality reasoning methods. We describe methods that inductively generate models from conditional knowledge bases. For this, we use both qualitative (like preferential models) and semi-quantitative (like Spohn’s ranking functions) semantics. We show similarities and differences between the resulting inference relations with respect to formal properties. We further report on two graphical methods on top of the ranking approaches which allow to decompose the models into smaller, more feasible components and allow for local inferences.