An Incremental Algorithm for Computing All Repairs in Inconsistent Knowledge Bases - LIRMM - Laboratoire d’Informatique, de Robotique et de Microélectronique de Montpellier
Communication Dans Un Congrès Année : 2020

An Incremental Algorithm for Computing All Repairs in Inconsistent Knowledge Bases

Bruno Yun
Madalina Croitoru

Résumé

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
Origine Fichiers produits par l'(les) auteur(s)
Loading...

Dates et versions

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

Identifiants

Citer

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 Consultations
192 Téléchargements

Altmetric

Partager

More