The Kernel of a Declarative Method for 3D Scene Sketch Modeling

This paper describes the computation kernel of our declarative method devoted to sketch creation of architectural environments. The architectural project conception that we will try to simulate is based on a script which describes the environment from the point of view of a user moving 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 (on box sizes, distances, surface areas, volumes, etc.). A geometric instance of the scene is computed by using in a first 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.