Utiliser la programmation par ensembles réponses pour 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 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''.
Complete list of metadatas

https://hal.archives-ouvertes.fr/hal-00656561
Contributor : Amélie Cordier <>
Submitted on : Tuesday, January 17, 2012 - 9:40:24 PM
Last modification on : Friday, November 16, 2018 - 1:38:22 AM
Long-term archiving on : Wednesday, April 18, 2012 - 2:33:12 AM

File

rfia2012_submission_102.pdf
Files produced by the author(s)

Identifiers

  • HAL Id : hal-00656561, version 1

Citation

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⟩

Share

Metrics

Record views

325

Files downloads

172