Logo image
Se connecter
A formalism unifying Defeasible Logics and Repair Semantics for existential rules
Acte de colloque   Open Access

A formalism unifying Defeasible Logics and Repair Semantics for existential rules

Abdelraouf Hecham, Pierre Bisquert et Madalina Croitoru
Lecture Notes in Computer Science, Vol.12277, pp.3-17
Lecture Notes in Computer Science
ICCS 2020 - 25th International Conference on Conceptual Structures (Bolzano / Virtual, Italy, 18/09/2020–20/09/2020)
10/09/2020

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.

Fichiers et liens (1)

url
Find in HALAfficher

Indicateurs

1 Consultations de la notice

Détails

Logo image