A formalism for causal explanations with an Answer Set Programming translation - Computer Science > Artificial IntelligenceReportar como inadecuado




A formalism for causal explanations with an Answer Set Programming translation - Computer Science > Artificial Intelligence - Descarga este documento en PDF. Documentación en PDF para descargar gratis. Disponible también para leer online.

Abstract: We examine the practicality for a user of using Answer Set Programming ASPfor representing logical formalisms. Our example is a formalism aiming atcapturing causal explanations from causal information. We show the naturalnessand relative efficiency of this translation job. We are interested in the easefor writing an ASP program. Limitations of the earlier systems made that inpractice, the ``declarative aspect- was more theoretical than practical. Weshow how recent improvements in working ASP systems facilitate the translation.



Autor: Yves Moinard INRIA - IRISA

Fuente: https://arxiv.org/







Documentos relacionados