Lehrveranstaltungen im Sommersemester 2008
Foundations of Artificial Intelligence
Diese Veranstaltung wird auf Englisch abgehalten.
This course will introduce basic concepts and techniques used within the field of Artificial Intelligence. Among other topics, we will discuss:
- Introduction to and history of Artificial Intelligence
- Agents
- Problem solving and search
- Logic and knowledge representation
- Planning
- Representation of and reasoning under uncertainty
- Machine learning
| Art der Veranstaltung: | Vorlesung |
| Dozenten: | Prof. Dr. Bernhard Nebel und Prof. Dr. Wolfram Burgard |
| Webseite: | Foundations of Artificial Intelligence |
Principles of Knowledge Representation and Reasoning
Diese Veranstaltung wird auf Englisch abgehalten.
The course provides an in-depth introduction into the techniques that underly advanced systems for knowledge representation and automated reasoning. Topics covered include modal logics, qualitative temporal and spatial reasoning, non-monotonic reasoning, and description logics.
| Art der Veranstaltung: | Vorlesung |
| Dozenten: | Prof. Dr. Bernhard Nebel, Prof. Dr. Malte Helmert und Dr. Stefan Wölfl |
| Webseite: | Principles of Knowledge Representation and Reasoning |
Seminar: Logik in der KI
Formale Logik spielt in verschiedenen Bereichen der Künstlichen Intelligenz eine wichtige Rolle als Werkzeug zur Wissensrepräsentation und zum automatisierten Schlussfolgern. Im Rahmen dieses Seminars werden Formalismen wie Golog, Beschreibungslogiken, Temporallogiken etc. und ihre Verwendung innerhalb der Künstlichen Intelligenz behandelt.
| Art der Veranstaltung: | Seminar |
| Organisator: | Prof. Dr. Bernhard Nebel |
| Webseite: | Seminar: Logik in der KI |