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.
Document type :
Conference papers
Complete list of metadatas

https://hal.inria.fr/inria-00619527
Contributor : Yves Moinard <>
Submitted on : Tuesday, September 6, 2011 - 3:40:25 PM
Last modification on : Thursday, November 15, 2018 - 11:57:04 AM
Long-term archiving on : Wednesday, December 7, 2011 - 2:35:54 AM

Files

Identifiers

  • 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. 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⟩

Share

Metrics

Record views

359

Files downloads

798