Qualitative Spatial and Temporal Reasoning

i.d.R. unregelmäßig angeboten

• 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

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.

• 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