Praktikum "Constraint Reasoning" (WS 98/99)

Lehr- und Forschungseinheit für Programmier- und Modellierungssprachen,
Institut für Informatik der Ludwig-Maximilians-Universität München

Praktikum im WS 98/99
Constraint Reasoning

Inhaltsverzeichnis dieser Seite

Organisatorisches

Inhalt des Praktikums

Literatur und Links

Organisatorisches

Praktikum:: Constraint Reasoning (PG, A) 4; Betreuer: Slim Abdennadher, Thom Frühwirth; Studentischer Mitarbeiter: Matthias Saft; Zeit und Ort: Fr 14-18 Uhr, Raum 105, Oettingenstr. 67
für:: Haupt- und Nebenfach Informatik
Vorkenntnisse:: Grundkenntnisse von Constraintprogrammierung, z.B. durch Besuch der Vorlesung "Constraintprogrammierung: Theorie und Anwendung" , Prolog- und CHR-Kenntnisse sind von Vorteil.
Schein:: Gilt für Diplomprüfung Haupt- und Nebenfach Informatik
Anmeldung:: nicht erforderlich, Gruppen werden in der ersten Sitzung am 6.11.98 gebildet

zurück zum Inhaltsverzeichnis dieser Seite

Die Constraintprogrammierung verbindet deklaratives Programmieren mit effizienten Problemlösungstechniken, insbesondere aus der mathematischen Optimierung und der Künstlichen Intelligenz. Es handelt sich um ein aktuelles Forschungsgebiet, das bereits eine beachtliche Zahl industrieller Anwendungen vorweisen kann. Im Praktikum werden zunächst Constraint-Programmierung und die Sprache Constraint Handling Rules eingeführt. Dann soll jede Gruppe ein Planungsproblem untersuchen und implementieren. Dabei stehen folgende Themen zur Auswahl

Das Raumplanungsproblem der Universität München: Hörsaalvergabe
Das Stundenplanungsproblem für Universitäten inkl. Raumplanung
Dienstplanung für Krankenhäuser

Es wird mit Sictus Prolog programmiert ( Sicstus Prolog User Manual) und mit Constraint Handling Rules ( Kurzbeschreibung CHR (ps), CHR Benutzerhandbuch (html)).

Zeitplan

Termin	Inhalt
06.11.98	Einleitung
13.11.98	Constraint-Programmierung (Folien), Mortgage-Beispiel, Krypto-arithmetisches Rätsel, Planungs-Beispiel
20.11.98	Constraint Handling Rules (Folien), Häusle Baue-Beispiel, Löser für endliche Bereiche
27.11.98	Vorstellung der Abschlußprojekte