Communication Dans Un Congrès
Année : 2020
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).
Domaines
Intelligence artificielle [cs.AI]Origine | Fichiers produits par l'(les) auteur(s) |
---|
Loading...
Bruno YUN : Connectez-vous pour contacter le contributeur
https://hal-lirmm.ccsd.cnrs.fr/lirmm-02613466
Soumis le : mercredi 20 mai 2020-10:41:53
Dernière modification le : jeudi 14 novembre 2024-16:18:04
Dates et versions
- HAL Id : lirmm-02613466 , version 1
- DOI : 10.1007/978-3-030-57855-8_3
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