Participants : Frédéric Bès,
Julien Guyard, Muriel Jourdan, Ethan Munson, Laurent
Tardif.
Mots clés : relations, contraintes,
expressivité, résolveurs .
Résumé :
La définition de modèles déclaratifs de représentation des
documents multimédia basés sur l'utilisation de relations
entre objets implique des mécanismes de résolution de ces
relations. On parlera dans notre contexte
« formatage », aussi bien temporel que spatial.
Cette phase de formatage consiste donc à transformer une
spécification relative de placement temporel et spatial des
objets en une spécification absolue de ces mêmes placements.
La difficulté essentielle de cette phase de formatage
consiste à trouver le meilleur compromis entre expressivité
et performances. En effet, plus les relations utilisées dans
le modèles seront riches, plus l'intérêt de ce modèle
vis-à-vis d'applications comme l'adaptation ou la génération
automatique de documents sera grand. Il convient donc d'une
part d'identifier les relations spatiales et temporelles les
plus utiles, d'autre part de trouver les techniques de
résolution de contraintes les plus à même de résoudre ces
relations (considérées comme des contraintes entre objets) en
des temps raisonables. Il convient aussi d'étudier les
mécanismes d'aide au diagnostic lorsque les relations données
à résoudre sont incohérentes.