Grundlagen der Künstlichen Intelligenz - Interaktive Studienpläne der TU Ilmenau
Die Interaktiven Studienpläne sind ein Informationsangebot zu den Studiengängen der TU Ilmenau.
Die rechtsverbindlichen Studienpläne entnehmen Sie bitte den jeweiligen Studien- und Prüfungsordnungen (Anlage Studienplan).
Alle Angaben zu geplanten Lehrveranstaltungen finden Sie im elektronischen Vorlesungsverzeichnis.
Bitte beachten Sie, dass auf dieser Seite keine Aktualisierungen mehr vorgenommen werden. Alle Module und Studienpläne ab der PO-Version 2021 (Bachelor- und Master-Studiengänge) sind ab sofort im Campus-Portal erreichbar.
| Modulinformationen zu Grundlagen der Künstlichen Intelligenz im Studiengang Master Wirtschaftsinformatik 2014 | |
|---|---|
| Modulnummer | 101375 |
| Prüfungsnummer | 2200484 |
| Fakultät | Fakultät für Informatik und Automatisierung |
| Fachgebietsnummer | 2238 (Künstliche Intelligenz) |
| Modulverantwortliche(r) | Prof. Dr. Rainer Knauf |
| Turnus | Sommersemester |
| Sprache | deutsch |
| Leistungspunkte | 4 |
| Präsenzstudium (h) | 34 |
| Selbststudium (h) | 86 |
| Verpflichtung | Wahlmodul |
| Abschluss | schriftliche Prüfungsleistung, 60 Minuten |
| Details zum Abschluss | schriftliche Prüfungsleistung, 60 Minuten |
| Link zum Moodle-Kurs | |
| Lehrende | |
| Anmeldemodalitäten für alternative PL oder SL | |
| max. Teilnehmerzahl | |
| Vorkenntnisse | Grundkenntnisse in mathematischer Logik |
| Lernergebnisse und erworbene Kompetenzen | naturwissenschaftliche und angewandte Grundlagen, Einbindung des angewandten Grundlagenwissens der Informationsverarbeitung |
| Inhalt | (1) Einordnung der KI in die Informatik, Forschungsgebiete der KI, Historisches, (2) Logische Grundlagen: Prädikatenkalkül der ersten Stufe, Folgerungsbegriff, Ableitungsverfahren, Vollständigkeit und Korrektheit von Inferenzverfahren (3) Logische Programmierung: Einordnung des logischen Programmierparadigmas, algorithmische Realisierung des ROBINSON-schen Inferenzverfahrens, komplexitätstheoretische Betrachtung verschiedener Rekursionsarten (4) Funktionale Programmierung: LISP-Programmierung, Entwurf und Implementierung rekursiver Problemslösungsstrategien |
| Medienformen und technische Anforderungen bei Lehr- und Abschlussleistungen in elektronischer Form | Skript, Power-Point Präsentation, Aufgabensammlung |
| Literatur | (1) Luger: Künstliche Intelligenz: Strategien zur Lösung komplexer Probleme. München: Pearson Studium (Übersetzung aus dem Addison-Wesley Verlag), 4. Aufl., 2001 (2) Russel/Norvig: Künstliche Intelligenz: Ein moderner Ansatz, München: Pearson Studium (Übersetzung aus dem Addison-Wesley Verlag), 2004 (3) Knauf: Logische Programmierung und Wissensbasierte Systeme: Eine Einführung. Aachen: Shaker, 1993 |
| Lehrevaluation | |