A formalism unifying Defeasible Logics and Repair Semantics for existential rules - LIRMM - Laboratoire d’Informatique, de Robotique et de Microélectronique de Montpellier
Communication Dans Un Congrès Année : 2020

A formalism unifying Defeasible Logics and Repair Semantics for existential rules

Résumé

Two prominent ways of handling inconsistency provided by the state of the art are repair semantics and Defeasible Logics. In this paper we place ourselves in the setting of inconsistent knowledge bases expressed using existential rules and investigate how these approaches relate to each other. We run an experiment that checks how human intuitions align with those of either repair-based or defeasible methods and propose a new semantics combining both worlds.
Fichier principal
Vignette du fichier
ICCS2020.pdf (242.75 Ko) Télécharger le fichier
Origine Fichiers produits par l'(les) auteur(s)

Dates et versions

lirmm-03037374 , version 1 (03-12-2020)

Identifiants

Citer

Abdelraouf Hecham, Pierre Bisquert, Madalina Croitoru. A formalism unifying Defeasible Logics and Repair Semantics for existential rules. ICCS 2020 - 25th International Conference on Conceptual Structures, Sep 2020, Bolzano / Virtual, Italy. pp.3-17, ⟨10.1007/978-3-030-57855-8_1⟩. ⟨lirmm-03037374⟩
76 Consultations
149 Téléchargements

Altmetric

Partager

More