Das Gebiet Künstliche Intelligenz (KI) befasst sich mit der Konstruktion von informationsverarbeitenden Systemen – "intelligenten Agenten" –, die kognitive Leistungen modellieren und in technischen Anwendungen verwerten. Seine theoretischen Grundlagen entstammen u.a. auch der Linguistik und der Psychologie. Ziel der KI-Ausbildung innerhalb der Informatik ist die Vermittlung von grundlegenden Konzepten und Methoden begrifflicher Informationsverarbeitung unter Betonung des interdisziplinären Charakters der KI.
Was sind Methoden der KI? Hier werden Wege aufgezeigt, wie man Datenstrukturen zur Darstellung von Wissen maschinenerarbeitbar anlegen kann, wie man Problemlösungs- und Entscheidungsprozesse modellieren kann, wie man mit symbolverarbeitenden Computerprogrammen auf der Basis logischer Kalküle Schlussfolgerungen aus Annahmen ziehen kann und wie man mit Maschinen kommunizieren kann. Die Übungen sind eine wesentliche Ergänzung der Vorlesung.
Vorlesung und Übung sind für Studierende gedacht, die schon über Grundkenntnisse in formaler Logik verfügen.
(unter anderem; genauere Hinweise in der Vorlesung):
Addison-Wesley, 1985.
1995/2003.
Rhythmus | Tag | Uhrzeit | Format / Ort | Zeitraum | |
---|---|---|---|---|---|
weekly | Di | 14-16 | H8 | 08.10.2012-01.02.2013
nicht am: 25.12.12 / 01.01.13 |
Verstecke vergangene Termine <<
Datum | Uhrzeit | Format / Raum | Kommentar zum Prüfungstermin |
---|---|---|---|
Dienstag, 12. Februar 2013 | 10-12 | H8 |
Verstecke vergangene Prüfungstermine <<
Modul | Veranstaltung | Leistungen | |
---|---|---|---|
39-Inf-10 Datenbanken | Einführung in die Datenbanken und Modellierung | unbenotete Prüfungsleistung
benotete Prüfungsleistung |
Studieninformation |
Einführung in die Datenbanken und Modellierung | Studieninformation | ||
39-Inf-KI Künstliche Intelligenz | Methoden der Künstlichen Intelligenz | benotete Prüfungsleistung
|
Studieninformation |
Die verbindlichen Modulbeschreibungen enthalten weitere Informationen, auch zu den "Leistungen" und ihren Anforderungen. Sind mehrere "Leistungsformen" möglich, entscheiden die jeweiligen Lehrenden darüber.
Studiengang/-angebot | Gültigkeit | Variante | Untergliederung | Status | Sem. | LP | |
---|---|---|---|---|---|---|---|
Informatik / Bachelor | (Enrollment until SoSe 2011) | Nebenfach | Künstliche Intelligenz | Wahlpflicht | 5. | 6 | benotet /unbenotet |
Intelligente Systeme / Master | (Enrollment until SoSe 2012) | Künstliche Intelligenz | Wahlpflicht | 1. | 6 | benotet /unbenotet | |
Kognitive Informatik / Bachelor | (Enrollment until SoSe 2011) | Künstliche Intelligenz | Pflicht | 3. | 6 | benotet /unbenotet | |
Medienwissenschaft, interdisziplinäre / Master | (Enrollment until SoSe 2014) | Modul 4 | 1. | 6 | benotet /unbenotet | ||
Naturwissenschaftliche Informatik / Bachelor | (Enrollment until SoSe 2011) | Künstliche Intelligenz | Wahlpflicht | 5. | 6 | benotet /unbenotet | |
Naturwissenschaftliche Informatik / Diplom | (Enrollment until SoSe 2004) | WBS; allgem.HS | 5. | 6 | benotet /unbenotet HS | ||
Naturwissenschaftliche Informatik / Master | (Enrollment until SoSe 2012) | Künstliche Intelligenz | Wahlpflicht | 1. | 6 | benotet /unbenotet | |
Studieren ab 50 |