Minimal Tolerance Pairs for System Z-Like Ranking Functions for First-Order Conditional Knowledge Bases
Beierle, Christoph (University of Hagen) | Falke, Tobias (University of Hagen) | Kutsch, Steven (University of Hagen) | Kern-Isberner, Gabriele (University of Technology Dortmund)
In system Z, reasoning is done with respect to a unique minimal ranking function obtained from a partitioning of the conditionals in a knowledge base. In this paper, we extend system Z-FO, a recent proposal for a system Z-like approch to first-order conditionals. We introduce the notion of tolerance pair and show how sceptical Z-FO-inference can be defined and implemented by taking all minimal tolerance pairs into account.
