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

Zusammenfassung

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.

Die beschriebenen Arbeiten sind Teil des Verbundvorhabens „TASSO — Technische Assistenzsysteme zur Verarbeitung ungenauen Wissens“, das teilweise vom Bundesministerium für Forschung und Technologie unter der Fördernummer ITW 8900 A7 finanziert wird.