Ludwig-Maximilians-Universität München, Institut für Informatik
Lehr- und Forschungseinheit für Programmierung und Softwaretechnik
https://www.pst.ifi.lmu.de/DA_Fopra/fopra-soft-constraint-solver.html

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.

Fortgeschrittenenpraktika Lehrstuhl Institut Institut Universität
Matthias Hölzl (26.09.06)