Name des Moduls | [50170] Einführung in die Künstliche Intelligenz | Bezeichnung des Moduls | FMI-IN0017 |
Studiengang | [079] - Informatik | ECTS Punkte | 6 |
Arbeitsaufwand für Selbststudium | 120 | Häufigkeit des Angebotes (Modulturnus) | jedes 2. Semester (ab Wintersemester) |
Arbeitsaufwand in Präsenzstunden | 60 | Dauer des Moduls | 1 |
Arbeitsaufwand Summe (Workload) | 180 | ||
Modul-Verantwortliche/r | Clemens Beckstein |
Voraussetzung für die Vergabe von Leistungspunkten (Prüfungsform) | Klausur (120min) oder mdl. Prüfung (30min) zur Vorlesung |
Zusätzliche Informationen zum Modul | Empfohlene Vorkenntnisse für das Modul: Kenntnisse der Theoretischen Informatik sowie der Logik |
Empfohlene Literatur | Ginsberg, M.L., Essentials of Artificial Intelligence, Morgan Kaufmann, San Mateo, CA, 1993. |
Voraussetzung für die Zulassung zum Modul |
keine |
Empfohlene bzw. erwartete Vorkenntnisse | Solide Grundkenntnisse in formaler Logik, wie sie etwa in Diskrete Strukturen I/II vermittelt werden |
Art des Moduls (Pflicht-, Wahlpflicht- oder Wahlmodul) | - 079 LA Regelschule Informatik: Wahlpflichtmodul (Intelligente Systeme) |
Zusammensetzung des Moduls / Lehrformen (V, Ü, S, Praktikum, …) | 3 SWS Vorlesung |
Inhalte | Im Rahmen dieser Lehrveranstaltung werden behandelt: - die wichtigsten Suchmethoden der KI, - das logische Rüstzeug für die symbolische Wissensrepräsentation (insbes. Resolutionsbeweisen und der Tableaux-Kalkül), - das Schließen über Glaube und Wissen (epistemische Logiken), - Elemente der Argumentationstheorie, - die Verarbeitung begrifflichen Wissens (Beschreibungslogiken), - annahmenbasiertes, nicht-monotones und probabilistisches Schließen (insbes. auch Frames, Semantische Netze und Bayes-Netze) |
Lern- und Qualifikationsziele | Vertrautheit mit grundlegenden Konzepten und Methoden symbolischer Informationsverarbeitung zur Modellierung kognitivver Leistungen und Lösung technischer Probleme. Einsicht in Möglichkeiten und Grenzen der symbolischen KI. |
Voraussetzung für die Zulassung zur Modulprüfung | Bearbeitung der Übungsaufgaben/Kleinprojekte mindestens 50% der erzielbaren Punkte erreicht |