|
Einrichtungen >> Fakultät Wirtschaftsinformatik / Angewandte Informatik >> Bereich Angewandte Informatik >> Lehrstuhl für AI Systems Engineering (KI-Systementwicklung) >>
|
AISE-UL: Universelle Logik & Universelles Schließen
- Dozentinnen/Dozenten
- Prof. Dr. Christoph Benzmüller, Dr. Andrea Vestrucci, David Fuenmayor, Daniel Kirchner
- Angaben
- Vorlesung
Rein Präsenz 2,00 SWS
Gaststudierendenverzeichnis, Modulstudium
Zeit und Ort: Mi 14:00 - 16:00, WE5/04.004
vom 17.10.2022 bis zum 10.2.2023
- Englischsprachige Informationen:
- Title:
- AISE-UL
- Contents
- Knowledge representation and reasoning applications in computer science, AI, philosophy and math typically employ very different logic formalisms. Instead of a "single logic that serves it all" (as envisioned already by Leibniz) an entire "logic zoo" has been developed, in particular, during the last century. Logics in this zoo, e.g., include modal logics, conditional logics, deontic logics, multi-valued logics, temporal logics, dynamic logics, hybrid logics, etc. In this lecture course we will introduce, discuss and apply a meta logical approach to universal logical reasoning that addresses this logical pluralism. The core message is this: While it might not be possible to come up with a universal object logic as envisioned by Leibniz, it might in fact be possible to have a universal meta logic in which we can semantically model, analyse and apply various species from the logic zoo. Classical higher order logic (HOL) appears particularly suited to serve as such a universal meta logic, and existing reasoning tools for HOL can fruitfully be reused and applied in this context.
The participants of this course will, in combination with a hands-on introduction to Isabelle/HOL, learn about HOL, about semantical embeddings (SSE technique) of non-classical logics in HOL, and about proof automation of these logics in Isabelle/HOL. They will conduct practical exercises regarding the application of the SSE technique in philosophy, mathematics or artificial intelligence, including, normative reasoning and machine ethics.
- Literature
- Will be announced in lecture course
- Zusätzliche Informationen
- Erwartete Teilnehmerzahl: 40
- Zugeordnete Lehrveranstaltungen
- Ü (Rein Präsenz):AISE-UL: Universelle Logik & Universelles Schließen (Gruppe 1)
-
Dozentinnen/Dozenten: Prof. Dr. Christoph Benzmüller, David Fuenmayor
Zeit und Ort: Do 10:00 - 12:00, WE5/05.003
- Ü (Rein Präsenz):AISE-UL: Universelle Logik & Universelles Schließen (Gruppe 2)
-
Dozentinnen/Dozenten: Prof. Dr. Christoph Benzmüller, David Fuenmayor
Zeit und Ort: Do 12:00 - 14:00, WE5/05.003
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 |
|
|