Seminar Maschinelles Lernen und Logik

Veranstalter: Prof. Carsten Lutz

S2, Modulbereich Theorie, 2 SWS (4 ECTS)

Vorbesprechung: Mittwoch, 03.04.2018, 16-18 Uhr, Cartesium Raum 0.01
Themenvergabe: Mittwoch, 10.04.2018, 16-18 Uhr, Cartesium Raum 0.01

Ohne Teilnahme an den Veranstaltungen zu Vorbesprechung und Themenvergabe kann das Seminar nicht belegt werden.
Wer Interesse an dem Seminar hat, aber nicht zur Vorbesprechung kommen kann, meldet sich bitte bis 02.04.2018 per email.

In diesem Leitfaden finden sich Hinweise zur erfolgreichen Teilnahme.

Kurzbeschreibung

Maschinelles Lernen und Logik sind zwei fundamentale und von ihrer Natur her äußerst verschiedene Grundlagen der künstlichen Intelligenz. In diesem Seminar geht es um Arbeiten, die beide Themen zusammenbringen und miteinander verknüpfen, wobei das maschinelle Lernen von (verschiedenensten Arten von) logischen Formeln und Theorien im Vordergrund steht.

Konkrete Themen werden u.a. aus folgenden Bereichen angeboten:

Konkrete Literatur wird in der Vorbesprechung vorgestellt und in Stud.IP bereitgestellt.

Organisation

Die Teilnehmer wählen nach der Vorbesprechung ein Buchkapitel, das sie in einer 2er Gruppe bearbeiten. Das Kapitel soll von den bearbeitenden Teilnehmern zunächst gelesen, untereinander diskutiert und gründlich verstanden werden. Jede Gruppe fertigt eine ca. 10-seitige, lesbare Ausarbeitung an, deren Form den Standards wissenschaftlichen Arbeitens genügt. Die Gruppen begutachten und korrigieren gegenseitig die ersten Versionen ihrer Hausarbeiten ("Peer Review"). Die Bewertung / Kritik aus dem Peer Review fließt nicht in die Endnote der begutachteten Arbeit ein, wohl aber die Qualität des Peer Reviews. Am Ende des Semesters findet ein Blockseminar statt, in dem jede Gruppe ihr Thema in einem Vortrag den anderen Teilnehmern in verständlicher Weise darstellt. Die Zeitplanung gehört zu den Aufgaben der Teilnehmer. Mehr Tipps zur erfolgreichen Teilnahme gibt es in diesem Leitfaden.

Terminplan

10.04. bis 08.05. Literatur lesen und verstehen, Unklarheiten in der Gruppe diskutieren
08.05. Informelle Kurzvorträge über die gewählten Themen und Literaturinhalte
spätestens 09.05. Beginnen, an der Hausarbeit zu schreiben
29.05. Gemeinsames Treffen, um Fortschritt und eventuell aufgetretene Probleme zu besprechen
21.06. Abgabe der fertigen Hausarbeit zum "Peer Review"
28.06. Abgabe der "Peer Reviews" und Vorlage der ersten Version der Folien für den Vortrag
09.07. Blockseminar und Abgabe der korrigierten Version der Hausarbeit

AG Theorie der künstlichen Intelligenz