Programmieren mit Constraints

Gegenstand dieses Artikels ist die Programmierung mit Constraints. Betrachtet man die Mechanismen, mit denen Constraints verarbeitet werden, so lassen sich Vergleiche zu Datenflussmaschinen und parallelen Prozessen ziehen. Aus der Sicht der Kuenstlichen Intelligenz (KI) sind Constraints unter den Aspekten Netze und lokale Berechnungen interessant. In diesem Zusammenhang treten Probleme auf, z.B. die Behandlung von Zyklen. Was man sich unter Constraints vorzustellen hat und welche die damit verbundenen Mechanismen sind, zeigt dieser Artikel anhand von Beispielen auf. Damit diese nicht ohne einen gemeinsamen Rahmen stehen, geben wir vorweg eine informelle Definition von Constraints. Mit ihr lassen sich aus den Beispielen die wichtigsten Ideen extrahieren. Neben dem Aspekt, einen Ueberblick ueber existierende Constraint-Mechanismen zu geben, wird noch ein weiterer in diesem Artikel beruecksichtigt: Die vorgestellten Beispiele sollen unter einem kritischen Gesichtspunkt gesehen werden. Wo sind die Formalismen unzulaenglich, fuer welche Anwendungsfelder sind sie nicht geeignet?