Contributo in atti di convegno, 2022, ENG, 10.1007/978-3-031-21541-4_6
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
Non-monotonic reasoning, Datalog, First-order logic
Meyer Thomas Andreas, Varzinczak Ivan, Casini Giovanni
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 links
OAI-PMH: Dublin Core
OAI-PMH: Mods
OAI-PMH: RDF
DOI: 10.1007/978-3-031-21541-4_6
URL: https://link.springer.com/chapter/10.1007/978-3-031-21541-4_6#citeas
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