An Experience of Using ASP for Toy Examples

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 present a causal formalism, and its translation in DLV, one of the best-known working ASP implementation. We consider that this precise formalism has its own interest, however, our purpose here is not to propose a causal formalism. We describe a few problems we have encountered while trying to provide a program for such a formalism, and we make a few reflexions about this task. Since there are now serious ASP solvers, one of the interesting things to do is to use it in our daily research. This has a real interest since it is important for a new theory to be tested with a lot of toy or near-toy examples. Our concern is to see whether ASP is now well-fitted for this task, and what could be done in order to make this task easier. Some of our reflexions could appear naive for experienced ASP users, but we think that if ASP is to be used seriously, it should at least be easily usable for toy examples.
Type de document :
Communication dans un congrès
Stefania Costantini and Richard Watson. Fourth Workshop on Answer Set Programming (ASP 07), 2007, Porto, Portugal. Facultade de Ciencias, Universidade do Porto, pp.133--147, 2007
Liste complète des métadonnées

https://hal.inria.fr/inria-00463003
Contributeur : René Quiniou <>
Soumis le : mercredi 10 mars 2010 - 18:08:12
Dernière modification le : mercredi 16 mai 2018 - 11:23:02

Identifiants

  • HAL Id : inria-00463003, version 1

Citation

Yves Moinard. An Experience of Using ASP for Toy Examples. Stefania Costantini and Richard Watson. Fourth Workshop on Answer Set Programming (ASP 07), 2007, Porto, Portugal. Facultade de Ciencias, Universidade do Porto, pp.133--147, 2007. 〈inria-00463003〉

Partager

Métriques

Consultations de la notice

235