Cette communication présente une application des méthodes de modélisation déclarative dans le domaine des ambiances architecturales et urbaines. Le système Solimac, dédié aux phénomènes d'ensoleillement, illustre notre propos et nous permet d'avancer plusieurs notions originales : une expression du temps vécu pour la formalisation des propriétés d'ensoleillement ; une nouvelle méthode de simulation inverse des phénomènes associés ; enfin, une stratégie d'exploration d'un ensemble de solutions masques par échantillons types. Ces éléments convergent vers une meilleure intégration des techniques intelligentes dans le champ de la conception architecturale.