An Incremental Algorithm for Computing All Repairs in Inconsistent Knowledge Bases - LIRMM - Laboratoire d’Informatique, de Robotique et de Microélectronique de Montpellier
Conference Papers Year : 2020

An Incremental Algorithm for Computing All Repairs in Inconsistent Knowledge Bases

Bruno Yun
Madalina Croitoru

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).
Fichier principal
Vignette du fichier
ICCS2020.pdf (358.07 Ko) Télécharger le fichier
Origin Files produced by the author(s)
Loading...

Dates and versions

lirmm-02613466 , version 1 (20-05-2020)

Identifiers

Cite

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⟩
102 View
192 Download

Altmetric

Share

More