Hasso-Plattner-Institut
Prof. Dr. Tobias Friedrich
 

Theorie der Künstlichen Intelligenz

BSc Seminar - Winter 2021/22

Beschreibung

Die künstliche Intelligenz (KI) ist ein sehr breiter Bereich innerhalb der Informatik welcher sich in jüngerer Vergangenheit immer größerer Beliebtheit erfreut, vor allem das maschinelle Lernen. In diesem Kurs soll es darum gehen, dieses wichtige Gebiet in seinen vielen Facetten kennenzulernen, insbesondere aus der Perspektive der theoretischen Informatik. Diese stellt grundlegende Algorithmen zur Verfügung, analysiert und erklärt das Verhalten und den Erfolg von verschiedenen Verfahren und zeigt absolute Schranken auf.

Konkret geht es unter anderem um die folgenden Themenbereiche.

  • Problemlösen durch Suche
  • Optimierung mit evolutionären Algorithmen
  • Optimale Spielentscheidungen
  • Logisches Schlussfolgern
  • Bayes'sche Inferenz
  • PAC-Lernen
  • Limeslernen
  • Multi-Armed-Bandit Modelle
  • Philosophie der KI

Teilnehmende

Das Seminar ist ausgelegt für Studenten im Bachelorstudiengang. Auf Grund des Aufbaus (s.u.) ist die Anzahl an Teilnehmern auf maximal 24 beschränkt.

Voraussetzung

Es gibt keine formellen Voraussetzungen. Der behandelte Stoff aus Mathematik I und II wird erwartet, für fast alle Themen ist das Wissen aus der Theoretischen Informatik I und ggf. der Theoretischen Informatik II nützlich, für einige auch erforderlich. Weiterhin gibt es ein paar Themen, die ein Grundverständnis von Wahrscheinlichkeitstheorie voraussetzen.

Teilnehmer sollten Freude an abstraktem Denken und Knobeln mitbringen. Zusätzlich sind Teile der Literatur auf Englisch geschrieben und müssen in dieser Sprache auch verstanden werden.

Aufbau

Wir treffen uns einmal pro Woche im Seminarraum A-1.2.

Zum ersten Termin gibt es eine Einleitung und Vorstellung der Themen, danach wählt jeder Teilnehmer ein Thema.

In den folgenden Wochen arbeiten die Teilnehmer das Thema aus und erarbeiten einen 80-minütigen Lehrvortrag (welcher etwa zur Hälfte aus der Vorstellung des Themas und zur Hälfte aus einer Übung für die Zuhörer besteht). Dieser Lehrvortrag wird dann im Zeitslot des Seminars für die anderen Teilnehmer gehalten. Zusätzlich ist zwei Wochen nach dem eigenen Vortrag eine Ausarbeitung im Stile eines Skriptes zu dem behandelten Thema abzugeben.

Zwei Wochen vor dem jeweiligen Vortragstermin gibt es ein persönliches Treffen mit dem Betreuer, welches zur Vorstellung der Vortragsgliederung und der Klärung von Fragen dienen soll. In einem weiteren Treffen eine Woche vor dem jeweiligen Vortragstermin soll der Vortrag dem Betreuer vorgestellt werden. Nach dem Vortrag gibt es eine kleine Feedbackrunde für die Vortragenden.

Benotung

Grundlage der Benotung ist der Vortrag und die geleitete Übung. Eine herausragend gute/schlechte Ausarbeitung kann die Note nachträglich um bis zu einen Notenschritt beeinflussen.

Eine aktive Teilnahme an den Seminarvorträgen (nicht nur des eigenen) wird erwartet.

Literatur

Die Literatur, bestehend aus Ausschnitten verschiedener Lehrbücher und einzelnen Papern, wird im Algorithm Engineering Moodle bekannt gegeben. Die Anmeldeinformationen sind identisch zu denen vom HPI. Insbesondere kommt der folgende Klassiker der KI zum Einsatz.

  • Künstliche Intelligenz. Russel und Norvig.

Termine und Ort

  • Montags 11:00.
  • Erster Termin (Themenausgabe): 25.10.2021