Skip to Main content Skip to Navigation
Conference papers

An Incremental Algorithm for Computing All Repairs in Inconsistent Knowledge Bases

Bruno Yun 1 Madalina Croitoru 2
2 GRAPHIK - Graphs for Inferences on Knowledge
LIRMM - Laboratoire d'Informatique de Robotique et de Microélectronique de Montpellier, CRISAM - Inria Sophia Antipolis - Méditerranée
Abstract : Repair techniques are used for reasoning in presence of inconsistencies. Such techniques rely on optimisations to avoid the computation of all repairs while certain applications need the generation of all repairs. In this paper, we show that the problem of all repair computation is not trivial in practice. To account for a scalable solution, we provide an incremental approach for the computation of all repairs when the conflicts have a cardinality of at most three. We empirically study its performance on generated knowledge bases (where the knowledge base generator could be seen as a secondary contribution in itself).
Document type :
Conference papers
Complete list of metadata

Cited literature [27 references]  Display  Hide  Download

https://hal-lirmm.ccsd.cnrs.fr/lirmm-02613466
Contributor : Bruno Yun Connect in order to contact the contributor
Submitted on : Wednesday, May 20, 2020 - 10:41:53 AM
Last modification on : Friday, October 22, 2021 - 3:07:22 PM

File

ICCS2020.pdf
Files produced by the author(s)

Identifiers

Collections

Citation

Bruno Yun, Madalina Croitoru. An Incremental Algorithm for Computing All Repairs in Inconsistent Knowledge Bases. ICCS 2020 - 25th International Conference on Conceptual Structures, Sep 2020, Bolzano / Virtual, Italy. pp.33-47, ⟨10.1007/978-3-030-57855-8_3⟩. ⟨lirmm-02613466⟩

Share

Metrics

Record views

114

Files downloads

148