Mostrar o rexistro simple do ítem
A System for Explainable Answer Set Programming
dc.contributor.author | Cabalar, Pedro | |
dc.contributor.author | Fandinno, Jorge | |
dc.contributor.author | Muñiz, Brais | |
dc.date.accessioned | 2020-11-10T17:17:49Z | |
dc.date.available | 2020-11-10T17:17:49Z | |
dc.date.issued | 2020-09-19 | |
dc.identifier.citation | Cabalar, P., Fandinno, J., & Muñiz, B. (2020). A System for Explainable Answer Set Programming. arXiv preprint arXiv:2009.10242 | es_ES |
dc.identifier.issn | 2075-2180 | |
dc.identifier.uri | http://hdl.handle.net/2183/26674 | |
dc.description.abstract | [Abstract] We present xclingo, a tool for generating explanations from ASP programs annotated with text and labels. These annotations allow tracing the application of rules or the atoms derived by them. The input of xclingo is a markup language written as ASP comment lines, so the programs annotated in this way can still be accepted by a standard ASP solver. xclingo translates the annotations into additional predicates and rules and uses the ASP solver clingo to obtain the extension of those auxiliary predicates. This information is used afterwards to construct derivation trees containing textual explanations. The language allows selecting which atoms to explain and, in its turn, which atoms or rules to include in those explanations. We illustrate the basic features through a diagnosis problem from the literature. | es_ES |
dc.description.sponsorship | Partially supported by MINECO, Spain, grant TIN2017-84453-P and CITIC Research Center, Xunta de Galicia, Spain and ERDF (ED431G 2019/01). The second author is funded by the Alexander von Humboldt Foundation, Germany | es_ES |
dc.description.sponsorship | Xunta de Galicia; ED431G 2019/01 | es_ES |
dc.language.iso | eng | es_ES |
dc.publisher | Open Publishing Association | es_ES |
dc.relation | info:eu-repo/grantAgreement/AEI/Plan Estatal de Investigación Científica y Técnica y de Innovación 2017-2020/TIN2017-84453-P/ES/RAZONAMIENTO AUTOMATICO TEMPORAL PARA SISTEMAS INTELIGENTES DINAMICOS/ | |
dc.relation.uri | https://doi.org/10.4204/EPTCS.325.19 | es_ES |
dc.rights | Atribución 3.0 | es_ES |
dc.rights.uri | http://creativecommons.org/licenses/by/3.0/ | * |
dc.subject | Answer Set Programming | es_ES |
dc.subject | ASP debugging | es_ES |
dc.subject | Causal justifications | es_ES |
dc.subject | Diagnosis | es_ES |
dc.subject | Non-Monotonic Reasoning | es_ES |
dc.title | A System for Explainable Answer Set Programming | es_ES |
dc.type | info:eu-repo/semantics/conferenceObject | es_ES |
dc.rights.access | info:eu-repo/semantics/openAccess | es_ES |
UDC.journalTitle | Electronic Proceedings in Theoretical Computer Science | es_ES |
UDC.volume | 325 | es_ES |
UDC.startPage | 124 | es_ES |
UDC.endPage | 136 | es_ES |
dc.identifier.doi | 10.4204/EPTCS.325.19 | |
UDC.conferenceTitle | 36th International Conference on Logic Programming, ICLP 2020; Virtual, Rende; Italy; 18 September 2020 through 24 September 2020 | es_ES |