A formalism for causal explanations with an Answer Set Programming translation - Computer Science > Artificial IntelligenceReport as inadecuate




A formalism for causal explanations with an Answer Set Programming translation - Computer Science > Artificial Intelligence - Download this document for free, or read online. Document in PDF available to download.

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.



Author: Yves Moinard INRIA - IRISA

Source: https://arxiv.org/







Related documents