KLM-style defeasibility for restricted first-order logic

Casini G., Meyer T., Paterson-Jones G.

Non-monotonic reasoning  Defeasible reasoning  First order logic 

We extend the KLM approach to defeasible reasoning to be applicable to a restricted version of first-order logic. We describe defeasibility for this logic using a set of rationality postulates, provide an appropriate semantics for it, and present a representation result that characterises the semantic description of defeasibility in terms of the rationality postulates. Based on this theoretical core, we then propose a version of defeasible entailment that is inspired by Rational Closure as it is defined for defeasible propositional logic and defeasible description logics. We show that this form of defeasible entailment is rational in the sense that it adheres to our rationality postulates. The work in this paper is the first step towards our ultimate goal of introducing KLM-style defeasible reasoning into the family of Datalog+/- ontology languages.

Source: NMR 2021 - 19th International Workshop on Non-Monotonic Reasoning, pp. 184–193, Online Conference, 3-5/11/2021