A formalism for causal explanations with an Answer Set Programming translation

Yves Moinard 1
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.
Type de document :
Communication dans un congrès
Bryan Scotney and Zhi Jin. 4th International Conference on Knowledge Science, Engineering & Management (KSEM 2010), Sep 2010, Belfast, United Kingdom. Springer-Verlag, 2010, LNCS
Liste complète des métadonnées

https://hal.inria.fr/inria-00511093
Contributeur : Yves Moinard <>
Soumis le : lundi 23 août 2010 - 17:24:49
Dernière modification le : mercredi 16 mai 2018 - 11:23:02
Document(s) archivé(s) le : mercredi 24 novembre 2010 - 02:40:13

Fichiers

causesKSEM10pubHALsent.pdf
Fichiers produits par l'(les) auteur(s)

Identifiants

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

Citation

Yves Moinard. A formalism for causal explanations with an Answer Set Programming translation. Bryan Scotney and Zhi Jin. 4th International Conference on Knowledge Science, Engineering & Management (KSEM 2010), Sep 2010, Belfast, United Kingdom. Springer-Verlag, 2010, LNCS. 〈inria-00511093〉

Partager

Métriques

Consultations de la notice

318

Téléchargements de fichiers

115