Expressive Klassische und Nichtklassische Logiken und deren Automatisierung
--- Seminar Winter 2013/14 ---

Seminar (Nr. 19675) - 2-stündig, ECTS: 4
Dozenten: Christoph Benzmüller
Ort: SR 140/A7 Seminarraum (Hinterhaus)
Termine: siehe unten
Zielgruppe: Studenten mit Interesse an Logic und Deduktionssystemen
Voraussetzungen: Studenten ab dem 5. Semester, Grundkenntnisse und Logik und theoretischer Informatik
Maximale Anzahl von Teilnehmern: 15
Website: http://christoph-benzmueller.de/2013-ExLog/

Inhalt

Im Fokus dieses Seminars stehen ausdrucksstarke klassische und nichtklassische Logiken, beispielsweise: Klassische Logik höherer Stufe, Quantifizierte Modallogiken (einschliesslich Temporallogiken), Quantifizierte Konditionale Logiken, Quantifizierte Mehrwertige Logiken, usw.

Diese Logiken sind von grossem Interesse für die Informatik, die Künstliche Intelligenz, die Philosophie und die Computerlinguistik. Ihre Automatisierbarkeit ist allerdings als sehr schwierig einzustufen, was praktische Anwendungen bisher weitgehend ausschloss.

Wir werden die Theorie einiger solcher expressiven Logiken skizzieren und aktuelle Fortschritte hinsichtlich ihrer Mechanisierung und Automatisierung diskutieren.

Es ist geplant, dass in diesem Seminar auch verschiedene externe Wissenschaftler Vorträge anbieten.

Vorbesprechung

Eine erste Vorbesprechung fand am Freitag, dem 12. Juli 2013, um 14:00 Uhr statt.
Eine zweite Vorbesprechung findet am Freitag, dem 11. Oktober 2013, um 14:00 Uhr; SR 140/A7 Seminarraum (Hinterhaus).

Einarbeitung

Alle Teilnehmer des Seminars sollten folgenden Artikel gründlich durchlesen: Jeder Teilnehmer erhält dann ein eigenes Vortragsthema zugewiesen, verbunden mit der Durcharbeitung mind. eines weiteren Artikels.

Termine (diese Angaben sind vorläufig)



C. Benzmüller, 2013