Zur Seitennavigation oder mit Tastenkombination für den accesskey-Taste und Taste 1 
Zum Seiteninhalt oder mit Tastenkombination für den accesskey und Taste 2 
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.
Görz, G., Schmid, U., Braun, T. (Hrsg.): Handbuch der Künstlichen Intelligenz. Oldenbourg Verlag, München, sechste Auflage, 2021.
Russell, S.; Norvig, P.: Artificial Intelligence, A Modern Approach. Prentice Hall Series in Artificial Intelligence, fourth edition, 2020.
Sowa, J.F., Knowledge Representation: Logical, Philosophical, and Computational Foundations, Brooks/Cole, Thomson Learning, Pacific Grove, CA, 2000.

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)
- 079 LA Gymnasium Informatik: Wahlpflichtmodul (Intelligente Systeme)
- 079 LA RS (Erweiterung) Informatik (PO-V. 2020): Wahlpflichtmodul (Intelligente Systeme)
- 079 B.A. Informatik: Wahlpflichtmodul
- 079 B.Sc. Informatik: Wahlpflichtmodul (INT; Konto C: Mathematik/Informatik)
- 079 M.Sc. Informatik (PO-V. 2016): Wahlpflichtmodul (INT)
- 105 B.Sc. Mathematik: Wahlpflichtmodul (ASQ; NF Informatik)
- 105 M.Sc. Mathematik (PO-V. 2010): Wahlpflichtmodul (NF Informatik)
- 184 B.Sc. Wirtschaftswissenschaften: Wahlpflichtmodul (IMS: Vertiefungsmodule d. FMI)
- 221 M.Sc. Bioinformatik: Wahlpflichtmodul (Informatik)
- 679 B.Sc. Angewandte Informatik: Wahlpflichtmodul (INT)

Zusammensetzung des Moduls / Lehrformen (V, Ü, S, Praktikum, …)

3 SWS Vorlesung
1 SWS Übung

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

Impressum | Datenschutzerklärung