Handout WS 2012/SS2013 - von Alfred Katzenbach

Informationstechnik und Wissensverarbeitung in der Produktentwicklung
11. 5 Wissensverarbeitende Systeme - Modellbasierte Systeme
Beispiel: Constraintberechnung
X + 2 < Y,
X + Y > 15,
X =< 10, Y =< 10,
X, Y N
Klassische Programmierung: Im worst case, Generierung und Test von 121 Wertepaaren.
Constraint-Programmierung:
Nach Absetzen der Constraints verbleiben lediglich 4 Wertepaare.
X = (6..7)
Y = _(9..10)
Intervallgrenzenpropagation
X + 2 < Y
X:: 0, 1, 2, 3, 4, 5, 6, 7, 8, 9, 10 Y:: 0, 1, 2, 3, 4, 5, 6, 7, 8, 9, 10
X + Y > 15
Prof. Alfred Katzenbach 286