Uni-Konstanz

Uni-Konstanz

Fachgruppe Informatik und Informationswissenschaft

 

#BeginEditable "Titel" --> information engineering #EndEditable -->

 

 

 

 

#BeginEditable "quernav" --> #EndEditable -->

Seminar Formale Methoden des Schliessens unter Unsicherheit//Formal Methods of Reasoning under Uncertainty

S2

Termin: Fr 10-12 h/H 244, außer 18.06.

Doz.: Rolf Haenni

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:

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.