Defeasible justification for KLM-style logic
Chama V., Wang S., Meyer T., Casini G.
Defeasible entailment, Rational closure, Justification based explanations
Research in description logics (DLs) and formal ontologies has dedicated quite an effort to the investigation of the notion of explanation for DL reasoning, for example relying on the notion of justification [1]. There has also been some effort dedicated to the definition of defeasible reasoning for DLs that, contrary to the classical monotonic reasoning, is appropriate for dealing with incomplete/uncertain information. In the present paper, we extend the notion of justification to the framework of defeasible reasoning for DLs; specifically, we consider rational closure [2], an entailment relation that is of particular importance in the area of defeasible reasoning. Here we present the main theoretical results for the DL ALC, and an implementation of our solution, at the moment developed for propositional logic.
Source: CEUR WORKSHOP PROCEEDINGS, vol. 3739. Bergen, Norway, 18-21/06/2024
Publisher: CEUR
Back to previous page
@inproceedings{oai:iris.cnr.it:20.500.14243/517083,
title = {Defeasible justification for KLM-style logic},
author = {Chama V. and Wang S. and Meyer T. and Casini G.},
publisher = {CEUR},
booktitle = {CEUR WORKSHOP PROCEEDINGS, vol. 3739. Bergen, Norway, 18-21/06/2024},
year = {2024}
}
0000-0002-4267-4447
