Uni-Logo

Lehrveranstaltungen im Wintersemester 2008/2009

Logics, Categories, and Colimits for Artificial Intelligence

Diese Veranstaltung wird auf Englisch abgehalten.

Logic is an important tool for many areas of computer science, including artificial intelligence. It plays a similar role as calculus plays for physics. However, driven by the needs of applications, like e.g. expert systems, planning, ontologies, there has been a proliferation of a variety of logics. Category theory and the theory of institutions are a powerful tool to handle this variety of logics. Common features of logics are abstracted, and complex systems and their logical descriptions can be built in a modular fashion using the categorical notion of colimit. While providing a rather general introduction to abstract logics, the material of this course is illustrated with examples from artificial intelligence. Moreover, tools implementing logics, categories and colimits will be presented as well.

Art der Veranstaltung: Vorlesung
Dozent: Prof. Dr. Till Mossakowski
Webseite: Logics, Categories, and Colimits for Artificial Intelligence

Introduction to Multi-Agent-Programming

Diese Veranstaltung wird auf Englisch abgehalten.

Art der Veranstaltung: Vorlesung
Dozenten: Dr. Alexander Kleiner und Prof. Dr. Bernhard Nebel
Webseite: Introduction to Multi-Agent-Programming

Computer-Supported Modeling and Reasoning

Diese Veranstaltung wird auf Englisch abgehalten.

This lecture is about using logic for program development and program analysis. Various logic systems (first-order logic, higher-order logic etc.) will be introduced, and it will be shown how proofs in these systems can be conducted both using paper and pencil and using the interactive theorem prover Isabelle. The general principles of an Isabelle-like theorem prover will be explained. It will be shown how an important part of mathematics and programming languages can be modeled in higher-order logic. The lecture will conclude with a verification case-study.

Art der Veranstaltung: Vorlesung
Dozent: Prof. Dr. Jan-Georg Smaus
Webseite: Computer-Supported Modeling and Reasoning

Handlungsplanung

Diese Vorlesung bietet eine ausführliche Einführung in die algorithmischen und theoretischen Grundlagen moderner Handlungsplanungssysteme.

Art der Veranstaltung: Vorlesung
Dozenten: Prof. Dr. Malte Helmert und Prof. Dr. Bernhard Nebel
Webseite: Handlungsplanung

Seminar Qualitative spatio-temporal reasoning

Diese Veranstaltung wird auf Englisch abgehalten.

Art der Veranstaltung: Seminar
Organisator: Prof. Dr. Till Mossakowski
Webseite: Seminar Qualitative spatio-temporal reasoning

Oberseminar Grundlagen der Künstlichen Intelligenz

In der Seminarreihe tragen Gäste, Doktoranden und Studenten der Abteilung über aktuelle Forschungsthemen vor. Alle Interessenten sind herzlichst zu den Vorträgen eingeladen!

Art der Veranstaltung: Oberseminar
Organisator: Prof. Dr. Till Mossakowski
Webseite: Oberseminar Grundlagen der Künstlichen Intelligenz