La question centrale de cette thèse consiste à déterminer les moyens de modéliser de manière formelle les connaissances utilisées par les architectes dans la conception d'un édifice. Le modèle utilisé doit pouvoir être intégré dans un système associant les outils d'aide à la conception architecturale (CAAD) et les bases de connaissance formelles. Des raisonnements automatiques comme la classification, la déduction ou l'abduction peuvent ainsi être appliqués par le concepteur sur des éléments de projets présents dans la base de connaissance.