|
|
Vorlesungsverzeichnis >> Fakultät Wirtschaftsinformatik und Angewandte Informatik >>
|
AISE-Sem-M: Masterseminar zu KI-Systementwicklung- Dozent/in
- Prof. Dr. Christoph Benzmüller
- Angaben
- Seminar
Rein Präsenz
2,00 SWS
Gaststudierendenverzeichnis
Zeit und Ort: Mi 17:00 - 19:00, WE5/03.004
vom 17.10.2022 bis zum 10.2.2023
- Englischsprachige Informationen:
- Title:
- AISE-Sem-M
- Contents
- 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
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.
In addition to the contributions by participating students there will presentations by PhD students and guest researchers.
- Zusätzliche Informationen
- Erwartete Teilnehmerzahl: 15
- Institution: Lehrstuhl für AI Systems Engineering (KI-Systementwicklung)
Hinweis für Web-Redakteure:
Wenn Sie auf Ihren Webseiten einen Link zu dieser Lehrveranstaltung setzen möchten, verwenden Sie bitte einen der folgenden Links:Link zur eigenständigen Verwendung Link zur Verwendung in Typo3
|
 |
|
|
UnivIS ist ein Produkt der Config eG, Buckenhof |
|
|