A formalism unifying Defeasible Logics and Repair Semantics for existential rules - LIRMM - Laboratoire d’Informatique, de Robotique et de Microélectronique de Montpellier
Conference Papers Year : 2020

A formalism unifying Defeasible Logics and Repair Semantics for existential rules

Abstract

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
Origin Files produced by the author(s)

Dates and versions

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

Identifiers

Cite

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⟩
67 View
147 Download

Altmetric

Share

More