Rational Inference in Formal Concept Analysis

Lucas Carr, Nicholas Leisegang, Thomas Meyer +1

Defeasible conditionals are a form of non-monotonic inference which enable the expression of statements like "if $\varphi$ then normally $\psi$". The KLM framework defines a semantics for t…