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.
Domains
Artificial Intelligence [cs.AI]| Origin | Files produced by the author(s) |
|---|