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.