Durchführung | Wintersemester |
SWS (V/Ü/P) | 2/2/0 |
Semesterempfehlung | 7. |
Abschluss |
Prüfung: Teilnahme an einer mündlichen Prüfung
Schein: Abgabe der Übungsaufgaben (jeweils bis zum Tag der Übung 10 Uhr, Gruppenarbeit (bis zu 3 Personen) möglich), Erreichen von mindestens 60% der Punkte der Übungsaufgaben, Bestehen der Abschlussklausur
Die Abschlussklausur wird in der letzten Vorlesung geschrieben. Für Studenten, die eine Prüfung als Abschluss benötigen, ist die Teilnahme freigestellt, wird jedoch als Vorbereitung auf die Prüfung empfohlen. |
1. Vorlesung 11. 10. 2005 |
- Moderne Auffassung der KI, Modelle von Intelligenz
- Bewertung/Trend bzgl. der Selbstauffassung der KI
- Teilgebiete des SoftComputing
Skript |
2. Vorlesung 19. 10. 2005, 11.30 Uhr, 1/346 |
- Abgrenzung der KI (AI) im Allgemeinen zu den Gebieten Neuronale Netze, Fuzzy Systeme, Genetische Algorithmen
- Formale und allgemeine Problembeschreibung als formales Optimierungsproblem
- Heuristische Konstruktions-Strategien
Skript
|
3. Vorlesung 26. 10. 2005, 11.30 Uhr, 1/346 |
- Beitrag einfacher Modellbildung für symbolische KI:
- Beispiel der symbolischen Wissensprüfung
- Hypothesen testen
- Beispiel für neuronale Modellbildung
- "State of the Art" bei Neuronalen Netzen
Skript
|
4. Vorlesung 2. 11. 2005, 11.30 Uhr, 1/305 |
- Überblick evolutionäre Algorithmen
- Vorbild der Evolution als Optimierung
- Unterscheidung der Mechanismen der EA-Hauptformen
- Grundzyklus der EA
- Historische Entwicklungsabfolgen
- Fachbegriffe der EA
- Ablauf der EA als Beispiel einer Heuristik
- Überblick der genetischen Prozesse
- Beschreibung des Generationenwechsels
- Größenordnung der take_over_time
- Variante der Übergangsvorschrift
Skript
|
5. Vorlesung 9. 11. 2005, 11.30 Uhr, 1/305 |
- Gemeinsamkeiten der Evolutionären Algorithmen
- Formale Übergangsvorschrift für EA
- Ausprägung der ES
- Paradigmen und Vorläufer der KI
Skript |
6. Vorlesung 23. 11. 2005, 11.30 Uhr, 1/305 |
- Allgemeiner Ansatz der Evolutionsstrategie (ES)
- Varianten der Mutation
- Varianten der Rekombination
- Selektion und Fortsetzung der Iteration
- Überblick erster Anwendungen
- Abstraktion von konkreten Problemen
- Analyse des multimodalen Verlaufs
- Prinzipielle Wirkung der Variation der Populationsgröße
- Analyse der Mechanismen der ES
- Korridormodell und Sphärenmodell der ES
Skript |
7. Vorlesung 30. 11. 2005, 11.30 Uhr, 1/305 |
- Analyse und Erfahrungswerte für ES
- Analysemodelle der ES
- Schrittweitensteuerung der ES
- ES-Mutation bei j-volution
- Vergleich und Größenordnung der ES
Skript |
8. Vorlesung 7. 12. 2005, 11.30 Uhr, 1/305 |
- Fachbegriffe für Genetische Algorithmen (GA)
- Gemeinsamkeiten der Evolutionären Algorithmen
- Ausprägung der GA
- GA-Kodierung und Selektionsprinzip
- Mechanismen der GA
- Selektionsintensität der GA
- Varianten der GA-Mechanismen
Skript |
9. Vorlesung 14. 12. 2005, 11.30 Uhr, 1/305 |
- Varianten der GA-Mechanismen
- GA-Selektionsvarianten
Skript |
10. Vorlesung 4. 1. 2006, 11.30 Uhr, 1/305 |
- Analyse der Selektionsverfahren
- Binäre Codierung von Optimierungsproblemen
- Varianten der Codierung
- Iteration des Automaten
- Integration von Vorwissen
- Varianten der Sequenzoperatoren
Skript |
11. Vorlesung 11. 1. 2005, 11.30 Uhr, 1/305 |
- Definition im Vergleich zu EA
- Analyse-Notation
- Entwicklungsvorschrift
- Mathematica
- Literatur
- Komplexität elementarer Regeln
- Analyse der GA-Mechanismen
- Steuerung der Vielfalt
- Adaptive Anpassung der GA-Parameter
Skript |
Vorlesung 18. 1. 2006, 11.30 Uhr, 1/305 |
Präsentation eines selbstgewählten Optimierungsproblems
Aufgabenstellung:
Bearbeiten Sie in Gruppen ein Optimierungsproblem. Die Aufteilung in 3 Gruppen und Zuteilung eines konkreten Problems erfolgte bereits in der Übung am 15.12.2005 bzw. per E-Mail. Bei Unklarheiten fragen Sie bitte per E-Mail nach.
- Recherchieren Sie die jeweils genaue Problemstellung und bereiten Sie sie so auf, dass sie in einem kurzen Vortrag von ca. 5 min präsentiert werden kann. Erläutern Sie insbesondere auch praktische Anwendungsfälle des Problems.
- Untersuchen Sie bereits vorhandene Lösungsstrategien für dieses Problem.
- Erläutern Sie, wie das Problem mit Hilfe von Evolutionären Algorithmen optimiert werden könnte. Erläutern Sie vor allem die konkreten Details der Umsetzung mit geeigneten Rekombinations- und Mutationsverfahren und der Art der Kodierung, die Sie wählen würden.
- Setzen Sie diesen EA-Zugang entsprechend in einem Programm um und optimieren Sie das Problem.
- Vergleichen Sie Ihre Ergebnisse mit den zuvor vorgestellten Lösungstrategien.
Ihre Recherchen, die Details der Umsetzung und der Vergleich der Ergebnisse sollen Sie nun in der Vorlesung in einer Präsentation von ca. 15-20 Minuten vorstellen. Anschließend werden der jeweilige Ansatz und die Ergebnisse mit dem Dozenten, der Übungsleiterin und den Kommilitonen diskutiert.
|
12. Vorlesung 25. 1. 2006, 11.30 Uhr, 1/305 |
- Adaptive Anpassung der GA-Parameter
- Theorie der GA: Schema-Theorem
- Zelluläre Automaten
- Komplexität elementarer Regeln
- Modellbildung durch ZA im Vergleich
- Nicht-Reduzierbarkeit und Äquivalenz
- Kategorien der Verhaltenskomplexität
- Formen allgemeiner ZA
Skript |
Klausur 18. 1. 2006, 11.30 Uhr, 1/305 |
|
Links |
Mit URZ-Nutzerkennzeichen und -Passwort
Übungen
Bitte bringen Sie das jeweilige Übungsblatt mit zur Übung und bereiten Sie die Übungsaufgaben vor! Eine Abgabe der Lösungen (Pflicht für die, die einen Schein haben wollen) ist jeweils bis zum Tag vor der Übung 13 Uhr möglich (Ausnahmen siehe unten). Sie können dabei in Gruppen (bis zu drei Personen) arbeiten, doch es sollte jedes Gruppenmitglied sämtliche Lösungen präsentieren können!
| 24.10.2005: | 1. Übungsblatt (PDF) Aufgabe 1.(F) und die damit zusammenhängenden Aufgabenteile können bis zum 31.10.2005 nachgereicht werden |
| 03.11.2005: | 2. Übungsblatt (PDF) Zum Lösen der Übungsaufgaben benötigen Sie einen automatischen Beweiser (Prolog-Programm, Download), der unter SWI-Prolog läuft (bitte installieren, falls nicht vorhanden). Dazu gibt es eine Anleitung und eine Beispieldatei. |
| 10.11.2005: | 3. Übungsblatt (PDF) |
| 17.11.2005: | 4. Übungsblatt (PDF) |
| 24.11.2005: | Aufgrund des Ausfalls der Vorlesung am 16.11. (Feiertag) findet am 24.11. keine Übung statt! Stattdessen lösen Sie bitte eine Programmieraufgabe (Download (PDF)) und geben Sie die Ergebnisse bis zum 30.11. per Mail ab. Dokumentieren Sie bitte (formlos) die Experimente mit den Parametereinstellungen der Evolutionsstrategie, die Sie durchführen, damit wir in der Übung darüber diskutieren können. |
| 01.12.2005: | 5. Übungsblatt (PDF) Zum Lösen der Übungsaufgaben benötigen Sie ein Programm-Paket (ES+GA für verschiedene Funktionen in JAVA implementiert): Download (ZIP). Starten über start.bat bzw. unter Linux einfach mit dem Befehl, der in der Datei start.bat steht. (Achtung: GUI hat unter Linux einige Bugs, ist aber benutzbar.) |
| 08.12.2005: | 6. Übungsblatt (PDF) Die Werte des Optimums können Sie auch per Copy&Paste aus einer Datei (Download) holen. |
| 15.12.2005: | 7. Übungsblatt (PDF) |
| 05.01.2006: | 8. Übungsblatt (PDF) |
| 12.01.2006: | 9. Übungsblatt (PDF) |
| 19.01.2006: | 10. Übungsblatt (PDF) Mathematica ist auf allen für Studenten nutzbaren URZ-Rechnern verfügbar. (Download Datei aufrufe.nb) Link zum Online-Simulator |
| 26.01.2006: | Konsultation |
| 02.02.2006: | Es findet keine Übung mehr statt! |
Beachten Sie die zusätzliche Aufgabe: Präsentation eines Optimierungsproblems in der Vorlesung!
|
Bemerkungen |
|