# A formalism for causal explanations with an Answer Set Programming translation

1 DREAM - Diagnosing, Recommending Actions and Modelling
Inria Rennes – Bretagne Atlantique , IRISA-D7 - GESTION DES DONNÉES ET DE LA CONNAISSANCE
Abstract : We examine the practicality for a user of using Answer Set Programming (ASP) for representing logical formalisms. Our example is a formalism aiming at capturing causal explanations from causal information. We show the naturalness and relative efficiency of this translation job. We are interested in the ease for writing an ASP program. Limitations of the earlier systems made that in practice, the declarative aspect'' was more theoretical than practical. We show how recent improvements in working ASP systems facilitate the translation.
Keywords :
Document type :
Conference papers

https://hal.inria.fr/inria-00511093
Contributor : Yves Moinard Connect in order to contact the contributor
Submitted on : Monday, August 23, 2010 - 5:24:49 PM
Last modification on : Friday, October 8, 2021 - 6:50:05 PM
Long-term archiving on: : Wednesday, November 24, 2010 - 2:40:13 AM

### Files

causesKSEM10pubHALsent.pdf
Files produced by the author(s)

### Identifiers

• HAL Id : inria-00511093, version 1
• ARXIV : 1008.3879

### Citation

Yves Moinard. A formalism for causal explanations with an Answer Set Programming translation. 4th International Conference on Knowledge Science, Engineering & Management (KSEM 2010), Sep 2010, Belfast, United Kingdom. ⟨inria-00511093⟩

Record views