AISE-Sem-M: Masterseminar zu KI-Systementwicklung
This seminar covers selected topics from across the spectrum of interests of the AISE research group. These research activities lie at the intersection of artificial intelligence, philosophy, mathematics, computer science, and natural language and cover topics such as:
• mechanisation of normative reasoning and explanation in computers to develop trusted AI systems
• hybrid AI systems: automated reasoning, machine learning and agent-based architectures
• AI & ethics, AI & law
• rational argumentation
• universal logical reasoning
• logico-pluralistic knowledge representation and reasoning methodologis and infrastructures
• applications: e.g. in computational metaphysics (e.g., Gödel's ontological argument), machine ethics,
mathematical foundations (e.g., category theory)
• automated theorem proving (e.g. Leo theorem provers) and model finding
• interactive/automated theorem proving in research and education
Lernziele/Kompetenzen:
Participating students will be introduced to current research questions and papers from the AISE group's spectrum of interest. Students will explore, prepare and present a selected topic and acquire in depth knowledge about the involved research questions and challenges. Ideally, this work will lead to a subsequent topic for a thesis project. Presentations of research topics related to a running thesis project are also welcome. Students will learn to assess and review research papers and to prepare and present own papers.
Sonstige Informationen: The main language of instruction in this course is English.
In addition to the contributions by participating students there will presentations by PhD students and guest researchers.
Empfohlene Vorkenntnisse: Basic knowledge on AI, logic, theoretical computer science and
mathematics; background in theoretical philosophy may also be useful. Ideally participants have attended at least one prior course of the AISE group.
This seminar covers selected topics from across the spectrum of interests of the AISE research group. These research activities lie at the intersection of artificial intelligence, philosophy, mathematics, computer science, and natural language and cover topics such as:
• mechanisation of normative reasoning and explanation in computers to develop trusted AI systems
• hybrid AI systems: automated reasoning, machine learning and agent-based architectures
• AI & ethics, AI & law
• rational argumentation
• universal logical reasoning
• logico-pluralistic knowledge representation and reasoning methodologis and infrastructures
• applications: e.g. in computational metaphysics (e.g., Gödel's ontological argument), machine ethics,
mathematical foundations (e.g., category theory)
• automated theorem proving (e.g. Leo theorem provers) and model finding
• interactive/automated theorem proving in research and education
Lernziele/Kompetenzen:
Participating students will be introduced to current research questions and papers from the AISE group's spectrum of interest. Students will explore, prepare and present a selected topic and acquire in depth knowledge about the involved research questions and challenges. Ideally, this work will lead to a subsequent topic for a thesis project. Presentations of research topics related to a running thesis project are also welcome. Students will learn to assess and review research papers and to prepare and present own papers.
Sonstige Informationen: The main language of instruction in this course is English.
In addition to the contributions by participating students there will presentations by PhD students and guest researchers.
Empfohlene Vorkenntnisse: Basic knowledge on AI, logic, theoretical computer science and
mathematics; background in theoretical philosophy may also be useful. Ideally participants have attended at least one prior course of the AISE group.
- Moderator/in: Christoph Benzmüller
- Moderator/in: David Fuenmayor Pelaez
Semester: 2024/25 Wintersemester