Abstract FR:

Les automates cellulaires permettent de construire, de façon relativement simple, une multitude d'images. La création de ces images passe par la définition d'un certain nombre de paramètres : nombre d'états, voisinage, fonction de transition. Lorsque nous donnons des valeurs au hasard à ces paramètres, il est difficile de prévoir ce qui sera affiché. Nous avons abordé les automates cellulaires sous une nouvelle optique: la modélisation déclarative. Grâce à cette méthodologie, le concepteur n'a plus qu'à décrire l'image qu'il veut. Les paramètres à déterminer sont pris en compte par l'ordinateur qui engendre alors une ou des image(s) respectant la description fournie. Pour mettre en place cette méthodologie, nous avons défini des outils de description (permettant au concepteur de déterminer ce qu'il veut), des techniques d'exploration de l'univers des automates cellulaires (qui permettent de sélectionner les fonctions de transition intéressantes), et un ensemble de théorèmes (permettant de faire des déductions sur d'autres fonctions de transition). Ces éléments nous permettent ainsi de créer des images sans avoir à nous préoccuper des paramètres à fournir