| Lerninhalte |
Beschreibung
Im (Pro-)Seminar "Logik und Künstliche Intelligenz für Legal Tech" sollen anhand von aufeinander aufbauenden Vorträgen die Verwendung von Logikformalismen und Methoden der Künstlichen Intelligenz im Bereich der juristischen Argumentation bzw. Schlussfolgerung beleuchtet werden. Dabei werden die Grenzen von mathematischer Logik (klassischer Logik) für diesen Zweck beleuchtet und anschließend
weitere, nichtklassische, Logikformalismen für deontische/normative Schlüsse diskutiert. Ein besonderer Augenmerk liegt dabei auf der Vorstellung von aktuell existierenden KI-Systemen und deren Verwendung.
Als besonderen Gast dürfen wir Prof. Axel Adrian begrüßen. Prof. Adrian ist Notar in Nürnberg und Honorarprofessor an der rechtswissenschaftlichen Fakultät der FAU Erlangen-Nürnberg. Er wird uns (digital via Zoom o.ä.) eine leicht verständliche Einführung in die juristische Arbeit und ihre Grundlagen geben, und die Notwendigkeit von interdisziplinärer Arbeit zwischen der Mathematk/Informatik und den Rechtswissenschaften erläutern. So hoffen wir auf spannende Diskussionen und Synergien zwischen den Fachgebieten.
Qualifikationsziele
Nach erfolgreicher Absolvierung der Veranstaltung sind die Studierenden in der Lage ...
- wissenschaftliche Vorträge größtenteils eigenständig vorzubereiten und selbstständig durchzuführen,
- eigenverantwortlich Literaturrecherche zu betreiben und für die Vorbereitungen zu nutzen,
- die Regeln guter wissenschaftlicher Praxis zu kennen und anzuwenden, insbesondere Aspekte zur korrekten Angabe von Quellen und Fremdinhalten,
- grundlegende Begriffe aus dem Bereich Legal-Tech zu beschreiben,
- die Verwendung, inkl. Schwächen und Stärken, von Logikformalismen in diesem Kontext zu reflektieren und zu diskutieren, und
- einige aktuelle Ansätze und Standards aus dem symbolischen KI-Bereich im Legal-Tech-Kontext zu beschreiben.
Themen
- Aussagen- und Prädikatenlogik
- Modallogiken, Deontische Logiken, Normlogiken, Paradoxien
- Methoden künstlicher Intelligenz
- Automatische und interaktive Theorembeweiser, Tools für Legal-Tech
- Standards and Beweisersoftware
|
