CP-Model-Zoo: Natürliche Sprachabfrage für Constraint-Programmierungsmodelle

Constraint‑Programming (CP) und seine hochentwickelten Modellierungssprachen versprechen die Lösung komplexer kombinatorischer Probleme. In der Praxis bleiben sie jedoch oft für Laien unzugänglich, weil die Sprachen selbst komplex sind, die Menge an globalen Constraints groß ist und die Kunst, ein gutes Modell zu erstellen, Fachwissen erfordert.

Mit dem neuen System CP‑Model‑Zoo wird diese Barriere abgebaut. Das Tool nutzt eine umfangreiche Datenbank von Expertenmodellen und sucht anhand einer natürlichen Sprachbeschreibung des Problems automatisch das am besten passende Modell. So erhalten Anwender sofort geprüfte, qualitativ hochwertige Modelle, ohne dass sie selbst Daten kennzeichnen oder tiefes Fachwissen besitzen müssen.

Testläufe zeigen, dass CP‑Model‑Zoo die korrekte Modellwahl mit hoher Genauigkeit findet – und zwar unabhängig vom Erfahrungsstand des Nutzers. Damit wird ein wichtiger Schritt in Richtung einer breiteren Anwendung von Constraint‑Programming unternommen.