Utiliser la programmation par ensembles réponses pour de petits problèmes - Archive ouverte HAL Accéder directement au contenu
Communication Dans Un Congrès Année : 2012

Utiliser la programmation par ensembles réponses pour de petits problèmes

Résumé

En traduisant en programmation par ensembles réponses deux devinettes classiques, nous illustrons la puissance et certaines limites des systèmes actuels. Il s'agit de les traduire d'une façon pas trop ad-hoc, tirant profit de l'aspect déclaratif de ce type de programmation. On n'est pas loin de cet objectif affiché, mais il reste des progrès à faire pour les systèmes existant. Nous suggérons quelques pistes: l'intégration de réelles listes, une meilleure intégration entre instantiateur et solveur, permettant au moins de détecter les cas où le premier suffit, une déclaration de prédicats satisfaisant une loi d'inertie, une déclaration de prédicats "intermédiaires''.
Fichier principal
Vignette du fichier
rfia2012_submission_102.pdf (137 Ko) Télécharger le fichier
Origine : Fichiers produits par l'(les) auteur(s)

Dates et versions

hal-00656561 , version 1 (17-01-2012)

Identifiants

  • HAL Id : hal-00656561 , version 1

Citer

Yves Moinard. Utiliser la programmation par ensembles réponses pour de petits problèmes. RFIA 2012 (Reconnaissance des Formes et Intelligence Artificielle), Jan 2012, Lyon, France. ⟨hal-00656561⟩
198 Consultations
122 Téléchargements

Partager

Gmail Facebook X LinkedIn More