Seminar: Logik in der KI - Organisation
Veranstalter: Prof. Dr. Bernhard Nebel, Dr. Patrick Eyerich, Prof. Dr. Malte Helmert, Dr. Sebastian Kupferschmid, Dr. Robert Mattmüller, Dr. Gabriele Röger, Prof. Dr. Jan-Georg Smaus und Dr. Stefan Wölfl
Bei organisatorischen Fragen wenden Sie sich bitte an Dr. Robert Mattmüller.
Beschreibung
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.
Termine
Themenvergabe: Abgeschlossen.
Abgabe der Ausarbeitung: Donnerstag, 17. Juli 2008
Abgabe der Vortragsfolien: Donnerstag, 24. Juli 2008
Vorträge: Als Blockseminar am Donnerstag, den 31. Juli 2008, in Seminarraum 101-01-018.
Anforderungen und Scheine
Um einen Schein zu erwerben, müssen die Seminarteilnehmer
- einen Vortrag von jeweils 30 Minuten Dauer halten,
- eine Seminarausarbeitung abgeben, sowie
- über ein weiteres gewähltes Thema einen 5-minütigen Kurzkommentar nach dem jeweiligen Vortrag abgeben.
Die Leistungen sind in deutscher Sprache zu erbringen und werden benotet. Für die Beurteilung werden die Ausarbeitung, die Erstellung der Vortragsmaterialien, die Vorträge selbst sowie die Beteiligung am Seminar mit einbezogen. Es können 3 Kreditpunkte (entsprechend zwei Semesterwochenstunden) erworben werden. Bitte beachten Sie, dass Sie sich auch beim Prüfungsamt anmelden müssen, damit die Leistung auch als Prüfungsleistung gewertet werden kann.
Die Ausarbeitung sollte mit LaTeX erstellt werden und 10-12 Seiten umfassen. Kommentierte Beispiele, die zur Orientierung und für die Grundstruktur verwendet werden können, finden Sie in unserem Seminarratgeber. Dort gibt es auch weitere Hinweise zum Erstellen der Ausarbeitung und zum Halten eines Seminarvortrags.