Les modeleurs déclaratifs - Université de Nantes Accéder directement au contenu
Article Dans Une Revue Revue Internationale de CFAO et d'informatique graphique Année : 1995

Les modeleurs déclaratifs

Michel Lucas
  • Fonction : Auteur

Résumé

Les modeleurs déclaratifs doivent permettre de décrire on ensemble d'objets appartenant à un univers, description prenant la forme d'un ensemble de propriétés et de contraintes. Les objets solution sont alors engendrés automatiquement, et des outils de prise de connaissance autorisent le concepteur à comprendre leur structure. Cet article regroupe différents résultats concernant les trois grandes phases de la modélisation déclarative : la description (en particulier à l'aide de vocabulaires adaptés aux applications), la génération (tant exhaustive en vue de l'exploration des univers de formes que partielle, en procédant par échantillonnage) et la prise de connaissance.
Fichier non déposé

Dates et versions

hal-00816840 , version 1 (23-04-2013)

Identifiants

  • HAL Id : hal-00816840 , version 1

Citer

Michel Lucas, Emmanuel Desmontils. Les modeleurs déclaratifs. Revue Internationale de CFAO et d'informatique graphique, 1995, 10 (6), pp.559-585. ⟨hal-00816840⟩
64 Consultations
0 Téléchargements

Partager

Gmail Facebook X LinkedIn More