Arithmetic and geometric constraint satisfaction techniques for declarative scene modelling
Declarative modelling is an intuitive scene modelling technique
allowing really computer aided design. A scene is described by
means of high level properties and the modeller generates all the
scenes verifying these properties.
Constraint satisfaction techniques are generally used by the
scene generation engine of declarative modellers.
A particular declarative modelling paradigm, based on hierarchical
decomposition, will be presented, together with special constraint
satisfaction techniques taking into account hierarchical decomposition
in order improve scene generation. These techniques are applied on
two kinds of constraints: arithmetic constraints, based on arithmetic
relations among variables, and geometric constraints, based on
relations among geometric objects (points, lines, boxes, ...).
Another possible themes could be discussed:
- "Declarative techniques in scene modelling" with a review of
declarative modelling techniques.
- "Scene understanding in declarative modelling" presenting some
techniques allowing the designer to well understand scenes
produced by a declarative scene generation engine.