** Next:** Background: Activity-based dynamic preference
** Up:** Compositional Model Repositories via
** Previous:** Introduction

#

Dynamic Constraint Satisfaction with Order-of-Magnitude
Preferences

In this section, a preference calculus based on order-of-magnitude
reasoning is introduced and integrated into the activity-based dynamic
constraint satisfaction problem (aDCSP) to form an aDCSP with
order-of-magnitude preferences (aDPCSP). Then, a solution algorithm
for such aDPCSPs is presented. The theory is illustrated with examples
from the compositional modelling domain.

**Subsections**

Jeroen Keppens
2004-03-01