An Incremental Algorithm for Computing All Repairs in Inconsistent Knowledge Bases - LIRMM - Laboratoire d’Informatique, de Robotique et de Microélectronique de Montpellier
[go: up one dir, main page]

Communication Dans Un Congrès Année : 2020
An Incremental Algorithm for Computing All Repairs in Inconsistent Knowledge Bases
1 University of Aberdeen (King's College, Aberdeen AB24 3FX - Royaume-Uni)
"> University of Aberdeen
2 GRAPHIK - Graphs for Inferences on Knowledge (LIRMM — Campus Saint Priest – 860 rue de St Priest – 34095 Montpellier - France)
"> GRAPHIK - Graphs for Inferences on Knowledge
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⟩
104 Consultations
198 Téléchargements

Altmetric

Partager

More