VLKI.shtml
Einführung in die KI WS 2003/04
Halbkurs: Einführung in die Künstliche Intelligenz (WS 2003/2004)
VL Mo 09:00-11:00 Uhr, RUD 26, Raum 0.313
VL Mi 09:00-11:00 Uhr, RUD 26, Raum 0.313
UE Mo 11:00-13:00 Uhr, RUD 26, Raum 1.303 oder
UE Mi 11:00-13:00 Uhr, RUD 26, Raum 1.303
Leitung: Prof.
Dr. Hans-Dieter Burkhard
Übung: Mirjam
Minor und Daniel
Göhring
| Inhalt | Folien | Übung | Literatur | Prüfungen |
Inhalt
Die Vorlesung behandelt grundlegende Methoden der Künstlichen Intelligenz, die für die Entwicklung und Implementierung "intelligenter" Systeme benötigt werden. Insbesondere geht es um die Modellierung geistiger Prozesse sowie Verfahren zur Repräsentation und Verarbeitung von Wissen. Der Halbkurs kann mit der Vorlesung im Sommersemester 2003 zu einem Kurs ergänzt werden.Die Vorlesung beginnt am 22.10., die erste Übung findet am 27.10. statt.
Folien
Der freie Zugriff auf die Folien ist auf das Netz der Humboldt-Universität beschränkt. Nutzer, die von außerhalb zugreifen wollen, müssen sich mit ihren gültigen Zugangsdaten identifizieren. (In Problemfällen kann man sich mit ssh/telnet, lynx und scp/ftp behelfen.)Suchverfahren:
- Grundbegriffe, Problemlösen, Zustandsraumsuche, Evolutionäre Algorithmen (PDF; 593 KB)
- Problemzerlegung, Spielbäume (PDF; 397 KB)
- Grundbegriffe, Constraint Propagierung, Anwendungsbeispiele (Bildinterpretation, zeitliches Schließen) (PDF; 564 KB)
- Grundbegriffe, Allgemeine Probleme (PDF; 285 KB)
- Resolution (im PK1) (PDF; 371 KB)
- Resolution (im PK1) - erweiterte Fassung (PDF; 420 KB)
- Unsicheres und Unscharfes Schließen (PDF; 740 KB)
- Regelsysteme (PDF; 238 KB)
- Strukturelle Wissensrepräsentation (PDF; 170 KB)
- Einführung, Struktur, Perceptron, Lineare Einheit (PDF; 632 KB)
- Backpropagation, Modifikationen, Zielkriterium, Charakterisierung (PDF; 279 KB)
- Link zum Stuttgart Neural Network Simulator
- Link zu den Daten für das Gesichtserkennungsbeispiel aus dem Buch von Tom M. Mitchell
- SNNS-Netz zum Lernen der Equivalenz
- Planen (PDF; 733 KB)
- Nicht-Monotones Schließen (PDF; 163 KB)
Übung
Begleitend zu Übung und Vorlesung wird es etwa alle 3 Wochen einen Komplex mit Aufgaben geben, die selbständig zu lösen sind. Diese Aufgaben sind in Gruppen von 4 Studenten zu bearbeiten. Sie werden über das Goya-System bereitgestellt. Die Abgabe erfolgt in schriftlicher Form bei der Übungsleiterin. Zum Erhalt des Übungsscheins sind mindestens 60% der Gesamtpunktzahl erforderlich. Der Schein ist die Voraussetzung für die Prüfungszulassung.- Die erste Serie mit Übungsaufgaben steht im Goya-System bereit. Abgabe bis 17. bzw. 19.11.2003 in den Übungen.
- Rumänien-Beispiel zu Bestensuche und A* aus der Übung vom 3. bzw. 5.11.
- Die zweite Serie mit Übungsaufgaben steht im Goya-System bereit. Abgabe bis 1. bzw. 3. Dezember 2003 in den Übungen.
- Die dritte Serie mit Übungsaufgaben steht im Goya-System bereit. Abgabe bis 26. bzw. 28. Januar 2004 in den Übungen.
- Einzelschritte für Klauseltransformation
- Die vierte Serie mit Übungsaufgaben steht im Goya-System bereit. Abgabe bis 02. bzw. 04. Februar 2004 in den Übungen.
Literatur
Prüfungen
Prüfungsvoraussetzung ist der Übungsschein.Ablauf: Thema ziehen. - Ca.15 Minuten Vorbereitungszeit. - 10 minütiger Vortrag zum Thema. - Weiteres Prüfungsgespräch.
Die Fragen des vergangenen Jahres werden in angemessener Form aktualisiert.
D.G., letzte Änderung 16.12.2005