Mostrar o rexistro simple do ítem
Model Explanation via Support Graphs
dc.contributor.author | Cabalar, Pedro | |
dc.contributor.author | Muñiz, Brais | |
dc.date.accessioned | 2024-04-16T13:27:04Z | |
dc.date.available | 2024-04-16T13:27:04Z | |
dc.date.issued | 2024-02 | |
dc.identifier.citation | P. Cabalar y B. Muñiz, «Model Explanation via Support Graphs», Theory and Practice of Logic Programming, pp. 1-14, feb. 2024, doi: 10.1017/S1471068424000048. | es_ES |
dc.identifier.issn | 1471-0684 | |
dc.identifier.issn | 1475-3081 | |
dc.identifier.uri | http://hdl.handle.net/2183/36215 | |
dc.description.abstract | [Absctract]: In this note, we introduce the notion of support graph to define explanations for any model of a logic program. An explanation is an acyclic support graph that, for each true atom in the model, induces a proof in terms of program rules represented by labels. A classical model may have zero, one or several explanations: when it has at least one, it is called a justified model. We prove that all stable models are justified, whereas, for disjunctive programs, some justified models may not be stable. We also provide a meta-programming encoding in Answer Set Programming that generates the explanations for a given stable model of some program. We prove that the encoding is sound and complete, that is, there is a one-to-one correspondence between each answer set of the encoding and each explanation for the original stable model. | es_ES |
dc.language.iso | eng | es_ES |
dc.publisher | Cambridge Univeristy Press | es_ES |
dc.relation.uri | https://doi.org/10.1017/S1471068424000048 | es_ES |
dc.rights | Atribución 3.0 España | es_ES |
dc.rights.uri | http://creativecommons.org/licenses/by/3.0/es/ | * |
dc.subject | answer set programming | es_ES |
dc.subject | explanations | es_ES |
dc.subject | supported models | es_ES |
dc.subject | justified models | es_ES |
dc.title | Model Explanation via Support Graphs | es_ES |
dc.type | info:eu-repo/semantics/article | es_ES |
dc.rights.access | info:eu-repo/semantics/openAccess | es_ES |
UDC.journalTitle | Theory and Practice of Logic Programming | es_ES |
Ficheiros no ítem
Este ítem aparece na(s) seguinte(s) colección(s)
-
GI-IRlab-Artigos [31]