Using ASP with recent extensions for causal explanations

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. We choose as an example a formalism aiming at capturing causal explanations from causal information. We provide an implementation, showing the naturalness and relative efficiency of this translation job. We are interested in the ease for writing an ASP program, in accordance with the claimed ``declarative'' aspect of ASP. Limitations of the earlier systems (poor data structure and difficulty in reusing pieces of programs) made that in practice, the ``declarative aspect'' was more theoretical than practical. We show how recent improvements in working ASP systems facilitate a lot the translation, even if a few improvements could still be useful.
Type de document :
Communication dans un congrès
Marcello Balduccini and Stefan Woltran. ASPOCP10, Answer Set Programming and Other Computing Paradigms Workshop, associated with ICLP, Jul 2010, Edinburgh, United Kingdom. 2010, Answer Set Programming and Other Computing Paradigms
Liste complète des métadonnées

Littérature citée [10 références]  Voir  Masquer  Télécharger

https://hal.inria.fr/inria-00542880
Contributeur : Yves Moinard <>
Soumis le : vendredi 3 décembre 2010 - 17:35:23
Dernière modification le : mercredi 16 mai 2018 - 11:23:02
Document(s) archivé(s) le : vendredi 4 mars 2011 - 04:20:21

Fichiers

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

Identifiants

  • HAL Id : inria-00542880, version 1
  • ARXIV : 1012.0830

Citation

Yves Moinard. Using ASP with recent extensions for causal explanations. Marcello Balduccini and Stefan Woltran. ASPOCP10, Answer Set Programming and Other Computing Paradigms Workshop, associated with ICLP, Jul 2010, Edinburgh, United Kingdom. 2010, Answer Set Programming and Other Computing Paradigms. 〈inria-00542880〉

Partager

Métriques

Consultations de la notice

313

Téléchargements de fichiers

260