Utilisation de la programmation par ensembles réponses (Answer Set Programming) sur de ''petits'' problèmes - Inria - Institut national de recherche en sciences et technologies du numérique
Communication Dans Un Congrès Année : 2011

Utilisation de la programmation par ensembles réponses (Answer Set Programming) sur de ''petits'' problèmes

Yves Moinard
  • Fonction : Auteur
  • PersonId : 869101

Résumé

En traduisant en programmation par ensembles réponses deux petites devinettes classiques, nous illustrons la puissance et certaines limites des systèmes actuels. Le problème n'est pas de traduire le problème de la manière la plus efficace. Il s'agit de le traduire d'une façon pas trop ad-hoc, qui tire pleinement profit de l'aspect déclaratif de ce type de programmation. Ces exemples montrent qu'on n'est pas loin de cet objectif affiché de la programmation par ensembles-réponses sur de tels exemples, même s'il reste des progrès à faire pour les systèmes existant. Nous évoquons deux pistes: une meilleure intégration entre l'instantiateur et le solveur, permettant au moins de détecter les cas où le premier suffit, et une recherche d'indexation automatique permettant de diminuer la mémoire nécessaire.
Fichier principal
Vignette du fichier
IafASPHAL.pdf (154.95 Ko) Télécharger le fichier
transElephantIAF_Frankfurt.pdf (1.33 Mo) Télécharger le fichier
Origine Fichiers éditeurs autorisés sur une archive ouverte
Format Autre

Dates et versions

inria-00619527 , version 1 (06-09-2011)

Identifiants

  • HAL Id : inria-00619527 , version 1

Citer

Yves Moinard. Utilisation de la programmation par ensembles réponses (Answer Set Programming) sur de ''petits'' problèmes. Cinquièmes Journées de l'Intelligence Artificielle Fondamentale (JIAF), LIRIS et thème Intelligence Artificielle Fondamentale du GDR-I3, Jun 2011, Lyon, France. ⟨inria-00619527⟩
185 Consultations
800 Téléchargements

Partager

More