Contributo in atti di convegno, 2022, ENG, 10.1007/978-3-031-21541-4_6

KLM-style defeasibility for restricted first-order logic

Casini G.; Meyer T.; Paterson-Jones G.; Varzinczak I.

CNR-ISTI, Pisa, Italy; University of Cape Town and CAIR, Cape Town, South Africa and CNR-ISTI, Pisa, Italy; University of Cape Town and CAIR, Cape Town, South Africa; CNR-ISTI, Pisa, Italy and CAIR, Cape Town, South Africa and LIASD, Université Paris 8, Paris, France and Stellenbosch University, Stellenbosch, South Africa

In this paper, we extend the KLM approach to defeasible reasoning beyond the propositional setting. We do so by making it applicable to a restricted version of first-order logic. We describe defeasibility for this logic using a set of rationality postulates, provide a suitable and intuitive semantics for it, and present a representation result characterising the semantic description of defeasibility in terms of our postulates. An advantage of our semantics is that it is sufficiently general to be applicable to other restricted versions of first-order logic as well. Based on this theoretical core, we then propose a version of defeasible entailment that is inspired by the well-known notion of 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 the full set of rationality postulates.

RuleML+RR 2022 - International Joint Conference on Rules and Reasoning, pp. 81–94, Berlin, Germany, 26-28/09/2022

Keywords

Non-monotonic reasoning, Datalog, First-order logic

CNR authors

Meyer Thomas Andreas, Varzinczak Ivan, Casini Giovanni

CNR institutes

ISTI – Istituto di scienza e tecnologie dell'informazione "Alessandro Faedo"

ID: 488500

Year: 2022

Type: Contributo in atti di convegno

Creation: 2023-11-14 17:07:10.000

Last update: 2023-11-16 15:52:03.000

External IDs

CNR OAI-PMH: oai:it.cnr:prodotti:488500

DOI: 10.1007/978-3-031-21541-4_6

Scopus: 2-s2.0-85145262813

ISI Web of Science (WOS): 000917073300006