Technische Universität Ilmenau

Inferenzmethoden - 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 der einzelnen Lehrveranstaltungen entnehmen Sie bitte dem aktuellen Vorlesungsverzeichnis.

Fachinformationen zu Inferenzmethoden im Studiengang Master Informatik 2013
Fachnummer220
Prüfungsnummer2200453
FakultätFakultät für Informatik und Automatisierung
Fachgebietsnummer 2238 (Künstliche Intelligenz)
Fachverantwortliche(r)Prof. Dr. Rainer Knauf
TurnusWintersemester
SpracheDeutsch, auf Nachfrage Englisch
Leistungspunkte
Präsenzstudium (h)
Selbststudium (h)
VerpflichtungPflicht
Abschlusskeiner
Details zum Abschluss
Anmeldemodalitäten für alt. Leistungen
max. Teilnehmerzahl
VorkenntnisseKenntnisse in mathematischer Logik: Prädikatenkalkül der 1. Stufe, Deduktion, Programmierfertigkeiten in Logischer Programmierung (alle Vorkenntnisse nach erfolgreicher Absolvierung der LV Künstliche Intelligenz vor)
Lernergebnisseangewandte Grundlagen, Vermittlung neuester Techniken
Inhalt(1) Prädikatenkalkül der ersten Stufe (PK1): Wiederholung und sinnvolle Ergänzungen (Sortenlogik, Prädikatenkalkül der ersten Stufe mit Gleichheit)
(2) problembezogene Wissensrepräsentationen der KI und Varianten der Implementierung von Inferenzmethoden darüber
(3) Deduktion: Grundlagen, Deduktionssysteme, Komplexitätsbetrachtungen
(4) Induktion und maschinelles Lernen: Erlernen von Klassifikationsregeln aus Beispielen, Erlernen eines besten induktiven Schlusses im Prädikatenkalkül der ersten Stufe, Verfahren zur Ermittlung des speziellsten Anti-Unifikators über PK1-Ausdrücken, Klassifikation nach Bayes
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:

WS 2014/15 (Fach)

Freiwillige Evaluation:

WS 2009/10 (Vorlesung)

WS 2010/11 (Vorlesung)

WS 2011/12 (Vorlesung)

WS 2012/13 (Vorlesung)

WS 2013/14 (Vorlesung)

WS 2015/16 (Vorlesung)

WS 2016/17 (Vorlesung)

Hospitation:

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