Grundlagen der Künstlichen Intelligenz

Inhalt der Vorlesung

Die Vorlesung gibt einen Überblick über die Methoden der Küstlichen Intelligenz und ihre Anwendungen. Sie schafft in dieser Form eine Grundlage für die Teilnahme an anderen sehr unterschiedlichen Veranstaltungen, z.B. Verteilte Künstliche Intelligenz, Inferenzsysteme und Robotics. Auszug aus dem Inhalt der Vorlesung:

• Ausgangspunkt Logik
• Suchalgorithmen
• Expertensysteme: regelbasiert, objekt-orientiert und reif für die Anwendung?
• Planen in der Robotik: "What are plans for?"
• Entscheidungstheorie: Zur Rationalität von Agenten
• Ohne Lernen geht es nicht: Induktive und fallbasierte Methoden

Termin

• Vorlesung:
Di. 16:15 - 17:45 in O 27 / 123 und
Do. 14:00 - 15:30 in O 27 / 3204
Dr. A. Uhrmacher
Sprechstunde: nach der Vorlesung oder n.V.
• Übungen:
Do. 15:30 - 17:00 in O 27 / 3204
H. Pfeifer
Sprechstunde: n.V.

Folien

Folien zur Vorlesung stehen reduziert (4 Folien pro Seite) in komprimiertem (gzip)  Postscript-Format zur Verfügung.
Hinweis: Die Dateien sind nur innerhalb der Fakultät zugänglich!

1. Einführung
2. Rationale Agenten
3. Problemlösen durch Suche
4. Informierte Suche
5. Brettspiele
6. Genetische Algorithmen und genetisches Programmieren
7. Logik (1)
8. Logik (2)
9. Domänen-Modellierung
10. Anlegen von Wissenbasen (1)
11. Anlegen von Wissenbasen (2)
12. Skalierung von Variablen, Fuzzyfizierung
13. Zeit, Raum und Constraints
14. Regeln
15. Maschinelles Lernen (1)
16. Maschinelles Lernen (2)
17. Maschinelles Lernen (3)
18. Handlungsplanung
19. Planen in der Praxis
20. Planen und Agieren
21. What are Plans for?  -   Planning as satisfiability testing
22. Fallbasiertes Schließen
23. Verarbeitung unsicheren Wissens
24. Bayessche Netze
25. Modellierung und Simulation
26. Schluß

Übungsaufgaben

Die Übungsblätter gibt es als Postscript-Dateien.
 

Blatt 1 vom 21.10.97	-	Lösungsvorschlag zu Aufgabe 1-5
Blatt 2 vom 06.11.97
Blatt 3 vom 20.11.97
Blatt 4 vom 27.11.97
Blatt 5 vom 08.01.98
Blatt 6 vom 15.01.98	-	Programmskelett zu den Aufgaben 6-1 und 6-2 Lösungsvorschlag zur Aufgabe 6-2
Blatt 7 vom 29.01.97

Programme und Beispiele

Begleitend zur Vorlesung und zu den Übungen gibt's hin und wieder auch Programme.

Technisches

Typ:	Vorlesung im Hauptstudium (4V / 2Ü)
Zuordnung:	Angewandte Informatik oder Theoretische und mathematische Methoden der Informatik (Kernfach)  Künstliche Intelligenz (Vertiefungsgebiet)