Memoization for Unary Logic Programming: Characterizing PTIME

Résumé : Une caractérisation abstraite du temps polynomial est donnée par une structure algébrique nommée le semi-anneau de résolution, dont les éléments peuvent être vus comme des programmes logiques ou des ensembles de règles de ré-écriture sur des termes du premier ordre. Plus précisément, nous étudions la restriction de cette structure à des termes (et aux programmes logiques ou règles de ré-écriture correspondantes) employant uniquement des symboles unaires. Nous démontrons la complétude de ce système pour le temps polynomial grâce à un codage des automates à pile. Nous introduisons ensuite la contre-partie algébrique de la mémoïzation pour démontrer la correction pour le temps polynomial. Cette approche et ces résultats en termes de complexité sont ensuite appliqués aux programmes logiques. Une conséquence de notre approche est la complétude par rapport au temps polynomial d’une classe de requêtes en programmation logique n’employant que des symboles unaires.
Type de document :
Rapport
[Research Report] RR-8796, INRIA Grenoble - Rhône-Alpes; Université Paris-Est, LACL (EA 4219), UPEC, F-94010 Créteil, France; Aix Marseille Université, CNRS, Centrale Marseille, I2M UMR 7373, 13453, Marseille, France; IHÉS. 2015, pp.28
Liste complète des métadonnées

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

https://hal.archives-ouvertes.fr/hal-01107377
Contributeur : Clément Aubert <>
Soumis le : vendredi 16 octobre 2015 - 22:15:29
Dernière modification le : jeudi 11 octobre 2018 - 08:48:04
Document(s) archivé(s) le : jeudi 27 avril 2017 - 06:52:33

Fichiers

RR-8796.pdf
Fichiers produits par l'(les) auteur(s)

Licence


Distributed under a Creative Commons Paternité - Pas d'utilisation commerciale - Partage selon les Conditions Initiales 4.0 International License

Identifiants

  • HAL Id : hal-01107377, version 3
  • ARXIV : 1501.05104

Citation

Clément Aubert, Marc Bagnol, Thomas Seiller. Memoization for Unary Logic Programming: Characterizing PTIME. [Research Report] RR-8796, INRIA Grenoble - Rhône-Alpes; Université Paris-Est, LACL (EA 4219), UPEC, F-94010 Créteil, France; Aix Marseille Université, CNRS, Centrale Marseille, I2M UMR 7373, 13453, Marseille, France; IHÉS. 2015, pp.28. 〈hal-01107377v3〉

Partager

Métriques

Consultations de la notice

258

Téléchargements de fichiers

77