Themengebiet: Grundlagen der Informatik / Informatik der Systeme
Adressaten:
Studierende des Information Engineering im Bachelor-Vertiefungsstudium
Studierende des Information Engineering im Masterstudium
Angebot im Lehrexport:
Mathematik, Nebenfach oder Schwerpunkt Informatik
Voraussetzungen:
Der Besuch der Vorlesung "Einführung in die künstliche Intelligenz" im
WS03/04 ist von Vorteil, wird aber nicht vorausgesetzt.
Inhalt:
Ein wichtiges Teilgebiet der künstlichen Intelligenz ist das sogenannte
"Schliessen unter Unsicherheit". Dabei geht es um die Frage, wie eine
offene Fragestellung aufgrund von unvollständiger oder unsicherer
Information beurteilt oder beantwortet werden können. Eine solche
Beurteilung dient dann einem intelligenten Agenten als
Entscheidungsgrundlage. Für das Schliessen unter Unsicherheit gibt es
verschiedene formale Ansätze, die Gegenstand dieses Seminars sein
werden.
Auszug aus der Liste der möglichen Themen:
Bayesian networks
Dempster-Shafer Theory
Possibility Theory
Belief Revision
Valuation Algebras & Join Tree Algorithms
Probabilistic Argumentation
Default Logic
Knowledge Compilation
Fuzzy Sets and Fuzzy Logic
Probabilistic Reasoning over time
Decision Theory
Applications:
model-based diagnostics
speech recognition
information retrieval
Literatur:
Wird im Kurs bekannt gegeben oder auf der kursbegleitenden Web-Seite zur
Verfügung gestellt.
Leistungsnachweis:
Auf der Grundlage einer englischsprachigen Originalarbeit ist ein ca.
60minütiger Vortrag zu halten und eine schriftliche Ausarbeitung zu
erstellen. Des Weiteren: Regelmaessige und aktive Teilnahme
Leistungspunkte:
Bei Bestehen des Leistungsnachweises
können 3 Punkte erworben werden.