Implementierung eines Soft-Constraint-Solvers
Constraints sind ein mächtiges Mittel zur deklarativen Spezifikation von Problemen. In vielen Fällen ist es möglich, durch Constraintsolver effiziente Lösungen zu Constraint-Problemen zu erhalten.
Probleme mit Präferenzen oder Optimierungsprobleme lassen sich durch klassische Constraints aber nicht direkt beschreiben. Daher wurden in der Literatur Soft-Constraints eingeführt, die das klassische Constraintparadigma um den Begriff der "Qualität" einer Lösung erweitern. Beispiele für Soft-Constraint-Systeme sind Constraint-Hierarchien oder Semiring-basierte Constraints. Im Rahmen dieser Arbeit soll ein Constraint-Solver für Soft-Constraints in Java oder C# implementiert werden. Dabei ist sowohl eine Bearbeitung als Fopra, als auch mit erweitertem Umfang als Diplomarbeit möglich.
Bearbeiter: offen
Aufgabensteller: Prof. Dr. Wirsing
Betreuer: Matthias Hölzl.