Seminar Künstliche Intelligenz (64072) "Logiken in der Künstlichen Intelligenz"

Erläuterung:

Logik ist ein ausdrucksstarkes Mittel, um verschiedene Aspekte der Künstlichen Intelligenz zu beschreiben, zu untersuchen und zu implementieren. Ziel dieses Seminars ist es, den Teilnehmenden einen Überblick über die Vielfalt der verschiedenen Logiken in der Künstlichen Intelligenz zu geben. Jeder Teilnehmer wird sich mit einer spezifischen Logik auseinandersetzen, diese in einer Ausarbeitung aufarbeiten und im Seminar präsentieren.
Inhaltliche Voraussetzungen:
Vorkenntnisse zu klassischen Logiken wie Aussagenlogik und Prädikatenlogik sind hilfreich.
Geforderte Leistungen:
Eine schriftliche Ausarbeitung in englischer Sprache, eine Präsentation im Rahmen von gemeinsamen Online-Sitzungen, regelmäßige Teilnahme an den Vorträgen der anderen Studierenden und Beteiligung an den inhaltlichen Diskussionen während der Online-Sitzungen.
Bemerkung:
Das Seminar ist auf 16 Teilnehmer beschränkt. Nicht als Seminar im Masterstudiengang Wirtschaftsinformatik nutzbar.
Die Seminarvorträge und Besprechungen finden online statt. Die Vorträge sind über das Semester verteilt, jeweils 2 Vorträge an einem Dienstag ab 17:30 (bis spätestens 18:30). Die Seminarthemen werden nach der ersten Sitzung zu Beginn des Semesters festgelegt. Eigene Themenvorschläge sind nach Rücksprache möglich.