Dialectical Characterization of Consistent Query Explanation with Existential Rules
Abstract
This paper provides a dialectical characterization of IAR and Brave semantics via argumentation dialogue. We propose a minimal argumentation dialogue system and investigate the relation between its outcome and these semantics. We show that Brave semantics corresponds to a dialogue where the opponent of the Brave-entailed query wins in any dialogue. We show also that IAR semantics corresponds to a dialogue where the proponent of the IAR-entailed query wins any dialogue. We further investigate how the profile (i.e. behavior) of the participants impacts the outcome of the dialogue and the entailment of queries.
Domains
Artificial Intelligence [cs.AI]Origin | Files produced by the author(s) |
---|