Operatorbasierte Modifikation objektorientierter Graphiken oder Wie verschönert man eine Zeichnung?

Bisherige Arbeiten im Bereich deklarativer Graphik befaßten sich in der Mehrzahl mit dem Problem, wie man eine Zeichnung aus einer vorgegebenen Beschreibung, etwa in der Form von Constraints, synthetisiert oder wie man gewisse Bedingungen bei interaktiver Veränderung der Zeichnung durch einen Benutzer beibehält. In diesem Beitrag soll ein Verfahren beschrieben werden, das geeignet ist, eine gegebene Zeichnung gemäß einer Menge von Constraints zu verändern. Der Anwendungskontext dabei ist, daß die neuen Bedingungen automatisch aus der Graphik abgeleitet werden mit dem Ziel, sie zu verschönern. Das Verfahren kann als eine Verallgemeinerung der Technik der Constraint-Propagierung in Richtung auf ein KI-Planungsverfahren angesehen werden und stellt als solches eine neuartige Programmiermethode für graphische Systeme dar.