Interactive configuration : a logic programming-based approach

Abstract

The key component of an interactive configurator is the constraint manager which is responsible for incrementally maintaining the relationship between choices and constraint violations. As the user makes or modifies choices, the constraint manager makes accessible the violated constraints and the relevant alternatives that the user may consider to move forward toward a solution. The requirement to deliver meaningful and timely feedback imposes significant demands on the flexibility, efficiency and explainability of constraint management.