next up previous
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.


Jeroen Keppens 2004-03-01