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

Yves Moinard 1
1 DREAM - Diagnosing, Recommending Actions and Modelling
Inria Rennes – Bretagne Atlantique , IRISA-D7 - GESTION DES DONNÉES ET DE LA CONNAISSANCE
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.
Type de document :
Communication dans un congrès
Laurence Cholvy et al. Cinquièmes Journées de l'Intelligence Artificielle Fondamentale (JIAF), Jun 2011, Lyon, France. LIRIS, 2011, Actes des Cinqui'emes Journ'ees de l'Intelligence Artificielle Fondamentale. 〈http://liris.cnrs.fr/~snndiaye/fichiers/actes_cles_usb.tar.gz〉
Liste complète des métadonnées

https://hal.inria.fr/inria-00619527
Contributeur : Yves Moinard <>
Soumis le : mardi 6 septembre 2011 - 15:40:25
Dernière modification le : mardi 16 janvier 2018 - 15:54:11
Document(s) archivé(s) le : mercredi 7 décembre 2011 - 02:35:54

Fichiers

Identifiants

  • HAL Id : inria-00619527, version 1

Citation

Yves Moinard. Utilisation de la programmation par ensembles réponses (Answer Set Programming) sur de ''petits'' problèmes. Laurence Cholvy et al. Cinquièmes Journées de l'Intelligence Artificielle Fondamentale (JIAF), Jun 2011, Lyon, France. LIRIS, 2011, Actes des Cinqui'emes Journ'ees de l'Intelligence Artificielle Fondamentale. 〈http://liris.cnrs.fr/~snndiaye/fichiers/actes_cles_usb.tar.gz〉. 〈inria-00619527〉

Partager

Métriques

Consultations de la notice

310

Téléchargements de fichiers

565