Die Informatik des Fachbereiches 3 der Universität Bremen Hier geht es zur Homepage der Verwaltung des Fachbereiches 3 der Universität Bremen Hier geht es zur Homepage der Informatik des Fachbereiches 3 der Universität Bremen Hier geht es zur Homepage der Mathematik des Fachbereiches 3 der Universität Bremen Hier geht es zur Homepage des Fachbereiches 3 der Universität Bremen Hier geht es zur Homepage der Universität Bremen
Zeige Systems Engineering-Format Pdf_icon Informatik-Format Pdf_icon Wirtschaftsinformatik-Format Pdf_icon Digitale Medien-Format Pdf_icon

Digitale Medien-Ansicht

Modulnummer
Modulbezeichnung
Qualitative Spatial and Temporal Reasoning
Titel (englisch)
Qualitative Spatial and Temporal Reasoning
Pflicht/Wahl
Pflicht
Erklärung
CP
6
Berechnung des Workloads
Turnus
i.d.R. unregelmäßig angeboten
Dauer
ein Semester
Form
4 SWS K
Prüfung
Bearbeitung von Übungsaufgaben und Fachgespräch oder mündliche Prüfung
Anforderungen
Künstliche Intelligenz
Lernziele
  • Strukturen zur (qualitativen) Repräsentation zeitlicher und räumlicher Information beschreiben und erklären können

  • Techniken zum Schlussfolgern mit zeitlicher und räumlicher Information beschreiben, erklären, implementieren und anwenden können

  • Theoretische Eigenschaften (Entscheidbarkeit, Komplexität) von Repräsentationen und Schlußfolgerungsverfahren benennen, erläutern und analysieren können

  • Interdisziplinäre Forschungsliteratur wiedergeben, interpretieren und kritisieren können

Lerninhalte

Der Umgang mit zeitlicher und räumlicher Information ist wichtig in vielen Anwendungen im Themenumfeld der Künstlichen Intelligenz (KI); Beispiele reichen von Geoinformationssystemen bis hin zu Kontrolle autonomer Agenten oder Benutzerintzeraktion. Allen Aufgaben gemeinsam ist, dass häufig nur wenige, gezielte Unterscheidungen und Überlegungen zu einer Lösung führen; damit eröffnet sich eine Möglichkeit, auch mit unendlichen Domänen (effizient) umgehen zu können - dies bildet die Motivation qualititativer Verfahren. Im Rahmen dieses Kurses vermitteln wir verschiedene Ansätze und Verfahren im engen Bezug zu aktueller Forschung. Der Kurs kombiniert theoretische Betrachtungen mit praktischer Umsetzung.

Quellen
  • Jochen Renz. Qualitative Spatial Reasoning with Topological Information, LNCS 2293/2002, Springer, 2002

  • A.G. Cohn and S.M. Hazarika. Qualitative spatial representation and reasoning: an overview, Fundamenta Informaticae, 46(1-2), pp. 1-29, 2001

  • Handbook of Constraint Programming. Francesca Rossi, Peter van Beek, Toby Walsh (editors), Elsevier, 2006

Sprache
Deutsch/Englisch
Bemerkung
Zuletzt geändert
2018-04-16 08:53:15 UTC
Zurück

Zeige Systems Engineering-Format Pdf_icon Informatik-Format Pdf_icon Wirtschaftsinformatik-Format Pdf_icon Digitale Medien-Format Pdf_icon