UnivIS
Informationssystem der Otto-Friedrich-Universität Bamberg © Config eG 
Zur Titelseite der Universität Bamberg
  Sammlung/Stundenplan Home  |  Anmelden  |  Kontakt  |  Hilfe 
Suche:      Semester:   
 Lehr-
veranstaltungen
   Personen/
Einrichtungen
   Räume   Telefon &
E-Mail
 
 
 Darstellung
 
Druckansicht

 
 
 Außerdem im UnivIS
 
Vorlesungsverzeichnis

 
 
Veranstaltungskalender

 
 
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