Constraints zur Konfigurierung industrieller Rührwerke

COMIX (COnfiguration of MIXing machines) ist ein sich im Einsatz befindendes wissensbasiertes System zur Konfigurierung und Angebotserstellung von industriellen Rührwerken. Dem Auslegungsprozeß ist eine Constraintpropagierung mit integrierter Abhängigkeitsverwaltung zugrunde gelegt. Die Motivation zur Verwendung einer Constraintpropagierung ist die Ausnutzung lokaler Informationen zur vollständigen Konfigurierung eines Rührwerks. Die Anwendung erfordert Erweiterungen des Formalismus: die Einbeziehung von objektorientiert repräsentierten Parametern, die Möglichkeit der Verwendung beliebiger Prädikate auf den Constraint-Parametern und die Möglichkeit der Strukturierung durch die Zusammenfassung von Parametern zu Mengen.