Imagen de Portada

Learning Brave Assumption-Based Argumentation Frameworks via ASP

Guardado en:
Publicado en:arXiv.org (Nov 8, 2024), p. n/a
Autor principal: De Angelis, Emanuele
Otros Autores: Proietti, Maurizio, Toni, Francesca
Publicado:
Cornell University Library, arXiv.org
Materias:
Algorithms
Logic programming
Declarative programming
Machine learning
Mathematical programming
Reasoning
Acceso en línea:Citation/Abstract
Full text outside of ProQuest
Etiquetas: Agregar Etiqueta
Sin Etiquetas, Sea el primero en etiquetar este registro!
Resumen:Assumption-based Argumentation (ABA) is advocated as a unifying formalism for various forms of non-monotonic reasoning, including logic programming. It allows capturing defeasible knowledge, subject to argumentative debate. While, in much existing work, ABA frameworks are given up-front, in this paper we focus on the problem of automating their learning from background knowledge and positive/negative examples. Unlike prior work, we newly frame the problem in terms of brave reasoning under stable extensions for ABA. We present a novel algorithm based on transformation rules (such as Rote Learning, Folding, Assumption Introduction and Fact Subsumption) and an implementation thereof that makes use of Answer Set Programming. Finally, we compare our technique to state-of-the-art ILP systems that learn defeasible knowledge.
ISSN:2331-8422
Fuente:Engineering Database