Approximating any Logic Program by a CS-Program

Abstract : In this paper, we propose an extension of a technique transforming logic programs into a particular class of logic programs called CS-programs. Up to now, this technique is a semi-algorithm preserving the least Herbrand model. We integrate in this technique a process of generalization. Thanks to it, we are able to make the computation (the transformation) terminate and if we force the computation to terminate then we obtain a CS-program whose least Herbrand model contains the initial one. In this way, we can tackle successfully reachability problems that are out of the scope of techniques using regular approximations and also of the initial transformation technique (for which computations do not terminate).
Type de document :
Communication dans un congrès
Springer. WRLA, Apr 2018, Thessalonique, France. 11152, 2018, Rewriting Logic and Its Applications - 12th International Workshop, WRLA 2018
Liste complète des métadonnées

https://hal.archives-ouvertes.fr/hal-01903092
Contributeur : Yohan Boichut <>
Soumis le : mercredi 24 octobre 2018 - 10:00:39
Dernière modification le : jeudi 17 janvier 2019 - 20:37:38

Identifiants

  • HAL Id : hal-01903092, version 1

Collections

Citation

Yohan Boichut, Vivien Pelletier, Pierre Rety. Approximating any Logic Program by a CS-Program. Springer. WRLA, Apr 2018, Thessalonique, France. 11152, 2018, Rewriting Logic and Its Applications - 12th International Workshop, WRLA 2018. 〈hal-01903092〉

Partager

Métriques

Consultations de la notice

50