Stundenplangenerierung mit CLP

Gliederung

• 1. Einführung
• 2. Problembeschreibung
  • 2.1. Definition Stundenplanung
  • 2.2. Die hier behandelte Instanz des Problems
  • 2.3. Komplexität des Problems
• 3. Stundenplanproblem als Constraint Satisfaction Problem (CSP)
  • 3.1. Allgemein
  • 3.2. Definition CSP
  • 3.3. Partial Constraint Satisfaction Problem (PCSP)
  • 3.4. Stundenplanproblem als PCSP
• 4. Implementierung des Stundenplanproblems in CLP
  • 4.1. Implementierung eines PCSP's in CLP
  • 4.2. Hinterlegung von Informationen in der Wissensbasis
  • 4.3. Generierung der Problemvariablen und ihrer Domains
  • 4.4. Constrain-Phase
  • 4.5. Ein erstes Stundenplanprogramm
• 5. Lösungssuche
  • 5.1. Allgemein
  • 5.2. Steuerung der Reihenfolge der Problemvariablen
  • 5.3. Steuerung der Wertebelegung
  • 5.4. Häufig benutzte Heuristiken
• 6. Weiche Constraints
  • 6.1. Allgemein
  • 6.2. Hinterlegung von Informationen in der Wissensbasis
  • 6.3. Verarbeitung von weichen Constraints
  • 6.3.1. Allgemein
  • 6.3.2. Branch and Bound
  • 6.3.3. PCSP Konzept
• 7. Lösungsbewertung
• 8. Literatur