The Kernel of a Declarative Method for 3 DScene Sketch ModelingSt

This paper describes the computation kernel of our declarative method devoted to sketch creation of architectural environments. The architectural project conception we will try to simulate, is based on a script which describes the environment from a user's point of view who moves across the scene. The objects are built by means of parallelepipedic merging boxes whose location and size are derived from logical rules (locative expressions) and from geometric constraints (about box sizes, distances, surface areas, volumes, etc.). A geometric instance of the scene is computed by using in a rst step a logical inference which mainly takes into account the logical rules, and in a second step an optimization algorithm which deals with geometric constraints and provides a solution among the potential ones.