Technische Universität Ilmenau

Künstliche Intelligenz - Modultafeln der TU Ilmenau

Die Modultafeln sind ein Informationsangebot zu unseren Studiengängen. Rechtlich verbindliche Angaben zum Verlauf des Studiums entnehmen Sie bitte dem jeweiligen Studienplan (Anlage zur Studienordnung). Bitte beachten Sie diesen rechtlichen Hinweis.
Angaben zum Raum und Zeitpunkt von geplanten Lehrveranstaltungen entnehmen Sie bitte dem e-Veranstaltungskalender. Lehrveranstaltungen und Prüfungen, die nicht im e-Veranstaltungskalender abgebildet sind, werden "nach Vereinbarung" geplant. Eine Auflistung der betroffenen Veranstaltungen finden Sie hier: Lehrveranstaltungen, Prüfungen.

Fachinformationen zu Fachnummer 219 - allgemeine Informationen
Fachnummer219
FakultätFakultät für Informatik und Automatisierung
Fachgebietsnummer2238 (Künstliche Intelligenz)
Fachverantwortliche(r)Prof. Dr. Rainer Knauf
SpracheDeutsch
TurnusSommersemester
VorkenntnisseGrundkenntnisse in mathematischer Logik: Prädikatenkalkül der 1. Stufe
Lernergebnissenaturwissenschaftliche 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, Differenzlistentechnik
(4) Wissensbasierte Systeme: Wesen und Architektur
(5) Wissensdarstellungen der KI und Implementationsvarianten: Prädikatenlogik (und einige Erweiterungen davon), Semantische Netze, Frames, Produktionsregel-Systeme
MedienformenSkript, 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

Pflichtevaluation:

Freiwillige Evaluation:

WS 2008/09 (Vorlesung)

WS 2011/12 (Vorlesung)

WS 2012/13 (Vorlesung)

WS 2013/14 (Vorlesung)

Hospitation:

Spezifik Referenzfach
ACHTUNG: wird nicht mehr angeboten!
FachnameKünstliche Intelligenz
Prüfungsnummer
Leistungspunkte4
SWS
Präsenzstudium (h)34
Selbststudium (h)86
VerpflichtungWahlpflicht
Abschlussschriftliche Prüfungsleistung, 90 Minuten
Details zum Abschluss
Anmeldemodalitäten für alternative PL oder SL
max. Teilnehmerzahl
Spezifik im Studiengang Bachelor Ingenieurinformatik 2008
ACHTUNG: wird nicht mehr angeboten!
FachnameKünstliche Intelligenz
Prüfungsnummer2200076
Leistungspunkte4
Präsenzstudium (h)34
Selbststudium (h)86
VerpflichtungWahlpflicht
Abschlussschriftliche Prüfungsleistung, 90 Minuten
Details zum Abschluss
Anmeldemodalitäten für alternative PL oder SL
max. Teilnehmerzahl

Informationen und Handreichungen zur Pflege von Modul- und Fachbeschreibungen durch den Modul- oder Fachverantwortlichen finden Sie auf den Infoseiten zum Modulkatalog.