AISE-Proj-B: Bachelorprojekt KI-Systementwicklung

Dozentinnen/Dozenten:

Christoph Benzmüller, David Fuenmayor

Angaben:

Vorlesung, 2,00 SWS

Termine:

Mi, 12:00 - 14:00, WE5/01.003

AISE-Proj-M: Masterprojekt KI-Systementwicklung; AI and Ethics

Dozent/in:

Christoph Benzmüller

Angaben:

Übung, 4,00 SWS, Blockveranstaltung z.B. Ende September in Kombination mit der Goethe-Institut Summer School AI and Ethics; zum derzeitigen Zeitpunkt ist noch nicht klar, ob diese Summer-School auch tatsächlich wieder ausgerichtet werden wird; falls dies der Fall ist soll diese Lehrveranstaltung mit der Summer-School in Kombination angeboten werden

Termine:

Zeit/Ort n.V.

AISE-ProjPrak-UR: Universal Reasoning (in Philosophy, Mathematics and Computer Science) Kopie

Dozent/in:

N.N.

Angaben:

[Proj], 6.00 SWS, ECTS: 15

Termine:

Zeit/Ort n.V.

AISE-Sem-B: Bachelorseminar Computational Philosophy

Dozentinnen/Dozenten:

Christoph Benzmüller, Andrea Vestrucci

Angaben:

Seminar, 2,00 SWS, Gaststudierendenverzeichnis, Modulstudium

Termine:

Mi, 10:00 - 12:00, WE5/02.005

Voraussetzungen / Organisatorisches:

Philosophy students will receive 6 ECTS for the seminar. BA-Studiengang: Aufbaumodul 2, Vertiefungsmodul 2 MA-Studiengang: Kernmodul 2, Freie Spezialisierung 1+2

Inhalt:

Leibniz had a vision: human thoughts made computable. What is real, good, beautiful, or personal identity all facets of human thinking treated and organized as elements of calculation. This vision had a tremendous multi-part impact: It fostered the development of machines to calculate ( ordinateur , the French word for computer, is what makes order out of chaos). It established the basis for the science prior to all others (K. Gödel), i.e., mathematical logic. It influenced the so-called analytical approach in philosophy, treating propositions formally. The interdisciplinary seminar in Computational Philosophy will embrace these three aspects. Via a clear introduction to mathematical logic topics, we will discuss how, and how far, thinking and algorithms are one thing, and can impact each other. In particular: What are the computational limits of human thought? What are the (philosophical) limits of computation? What are the future directions of making our thinking computable, and a machine thinking? We will try to answer these questions by familiarizing ourselves with symbolic AI programs and the current research. For instance, we will deepen interpretations of AI limits; we will clarify the relationship between Gödel s incompleteness theorems and Turing s halting problem; we will explore metaphysical arguments, belief changes, and ethical problems in an automated reasoning environment. Evaluation of the seminar is based on students presentations during the seminar and a short final reflective essay.

AISE-Sem-M: Masterseminar zu KI-Systementwicklung

Dozent/in:

Christoph Benzmüller

Angaben:

Seminar, 2,00 SWS

Termine:

Mi, 17:00 - 19:00, WE5/05.003

AISE-UL: Universelle Logik und Universelles Schließen

Dozentinnen/Dozenten:

Christoph Benzmüller, David Fuenmayor

Angaben:

Vorlesung, 2,00 SWS

Termine:

Mi, 14:00 - 16:00, WE5/04.004

AISE-UL: Universelle Logik und Universelles Schließen (Gruppe 1)

Dozent/in:

Christoph Benzmüller

Angaben:

Übung, 2,00 SWS

Termine:

Do, 8:00 - 10:00, WE5/04.014

AISE-UL: Universelle Logik und Universelles Schließen (Gruppe 2)

Dozent/in:

Christoph Benzmüller

Angaben:

Übung, 2,00 SWS

Termine:

Do, 12:00 - 14:00, WE5/05.003