Compilation of Logical Arguments - Archive ouverte HAL Accéder directement au contenu
Communication Dans Un Congrès Année : 2019

Compilation of Logical Arguments

Résumé

Several argument-based logics have been defined for handling inconsistency in propositional knowledge bases. We show that they may miss intuitive consequences, and discuss two sources of this drawback: the definition of logical argument i) may prevent formulas from being justified, and ii) may allow irrelevant information in argument's support. We circumvent these two issues by considering a general definition of argument and compiling each argument. A compilation amounts to forgetting in an argument's support any irrelevant variable. This operation returns zero, one or several concise arguments, which we then use in an instance of Dung's abstract framework. We show that the resulting logic satisfies existing rationality postulates, namely consistency and closure under deduction. Furthermore, it is more productive than the existing argument-based and coherence-based logics.
Fichier principal
Vignette du fichier
Amgoud-1591.pdf (237.27 Ko) Télécharger le fichier
Origine : Fichiers produits par l'(les) auteur(s)
Loading...

Dates et versions

hal-02325901 , version 1 (22-10-2019)

Identifiants

Citer

Leila Amgoud, Dragan Doder. Compilation of Logical Arguments. Twenty-Eighth International Joint Conference on Artificial Intelligence (IJCAI 2019), Aug 2019, Macao, China. pp.1502-1508, ⟨10.24963/ijcai.2019/208⟩. ⟨hal-02325901⟩
105 Consultations
87 Téléchargements

Altmetric

Partager

Gmail Facebook X LinkedIn More