Mathematik und Informatik

Methoden der Wissensrepräsentation und -verarbeitung

Modulinformationen

Für die Realisierung maschineller Intelligenz ist die Frage der Wissensrepräsentation und -verarbeitung von zentraler Bedeutung. Jedes wissensbasierte System kombiniert das in seiner Wissensbasis gespeicherte Wissen mit aktuellen Informationen und kommt so zu "Erkenntnissen", die es beispielsweise dem Benutzer in Form von Diagnosen präsentiert, oder die es selbst - als autonom agierendes System - als Grundlage seiner Handlungen nutzt. Häufig ist dabei das zu verarbeitende Wissen unsicherer oder unvollständiger Natur, so dass Methoden zum Einsatz kommen müssen, die auch unter diesen Umständen vernünftige Resultate liefern. Dies macht die Behandlung von Inkonsistenzen erforderlich und führt auf die Problematik des nichtmonotonen oder revidierbaren Schließens. Einen anderen Ansatz zur Modellierung von Unsicherheit bieten die quantitativen Methoden. Ferner gehen wir auf den Bereich Aktionen und Planen ein, in dem sich die Veränderung von Wissen durch aktive Eingriffe (Handlungen) als eine Kernproblematik erweist. Der Kurs behandelt schwerpunktmäßig die folgenden Themen: Nichtmonotones Schließen, Truth Maintenance-Systeme, Default-Logiken, Aktionen und Planen, Situationskalkül, Wahrscheinlichkeit und Information, probabilistische Netzwerke, insbesondere Markov- und Bayes-Netze, Fuzzy- und Dempster-Shafer-Theorie, zahlreiche Anwendungsbeispiele, u.a. aus Technik, Medizin und Genetik.

ECTS10
ArbeitsaufwandBearbeiten der Kurseinheiten: 130 - 150 Stunden,
Bearbeiten der Übungsaufgaben: 60 - 75 Stunden,
Studientage und Prüfungsvorbereitung: 60 - 75 Stunden
Dauer des Modulsein Semester
Häufigkeit des Modulsin jedem Wintersemester
Anmerkung-
Inhaltliche VoraussetzungKenntnisse formaler Grundlagen der Informatik; hilfreich sind auch Grundkenntnisse im Bereich der Logik und aus dem Gebiet der wissensbasierten Systeme, z.B. aus dem Kurs 01696.

Aktuelles Angebot

Kurs 01845 Methoden der Wissensrepräsentation und -verarbeitung [VU]

Prüfungsinformation

M.Sc. Informatik
 Art der PrüfungsleistungVoraussetzung
Unbenoteter Leistungsnachweisbestandene Kursabschlussklausur oder bestandenes Klausurersatzgesprächwird im Kursanschreiben angegeben
Benotete Prüfungbestandene benotete mündliche Modulprüfungkeine
 Stellenwert der Note: 1/9
M.Sc. Praktische Informatik
 Art der PrüfungsleistungVoraussetzung
Unbenoteter Leistungsnachweisbestandene Kursabschlussklausur oder bestandenes Klausurersatzgesprächwird im Kursanschreiben angegeben
Benotete Prüfungbestandene benotete mündliche Modulprüfungkeine
 Stellenwert der Note: 1/6
M.Sc. Wirtschaftsinformatik
 Art der PrüfungsleistungVoraussetzung
B.Sc. Informatik
 Art der PrüfungsleistungVoraussetzung
Benotete Prüfungbestandene benotete mündliche ModulprüfungLeistungsnachweis zu einem Modul aus dem Pflichtbereich
 Stellenwert der Note: 1/12

Download

Ansprechpartner

mathinf.webteam | 18.08.2017
FernUni-Logo FernUniversität in Hagen, Fakultät für Mathematik und Informatik
  • Logo FernUni
  • Kontakt
  • VU
  • Moodle
  • Service
  • A-Z
  • Impressum/Datenschutz
  • © FernUniversität in Hagen