Veranstaltungen

Aktuelle Veranstaltung WS 2023/24

Vorlesung zu Legal AI

Gemeinsam mit dem K.I. Park an der FAU zu Legal-Tech (weitere Informationen unter: https://www.legal-ai.rw.fau.de) veranstalten wir eine praxisorientierte Vorlesung zu legal-AI.

In der Vorlesung werden die Studierenden in die Konzepte von AI sowie deren rechtliche Rahmenbedingungen eingeführt und bekommen einen Überblick über die Anwendungen von künstlicher Intelligenz im Recht, die aktuell schon möglich sind und in Zukunft vielleicht möglich werden. In der zweiten Vorlesungshälfte wird es Aufgabe der Studierenden sein, eine eigene Legal Tech Anwendung unter Begleitung der Dozenten zu entwickeln.

Die Vorlesung, ist auf zwei Semester angelegt. Für die erfolgreiche Teilnahme werden 5 ECTS vergeben und ein Zertifikat in Legal Tech vom K.I. Park Berlin ausgestellt. Die Veranstaltung im ersten der beiden Semester, dem WS 2022/23, findet immer online über Zoom https://fau.zoom-x.de/j/67962960903) am Donnerstag 18-20 Uhr (c.t.), beginnend am 26.10.2023, statt. 

Die Folien sowie weitere Informationen zur Lehrveranstaltung finden Sie auf StudOn.

Letzte Veranstaltung SS 2023

Pro-/Seminar: Juristische Argumentation und „Künstliche Intelligenz“

Das Seminar wird mit Unterstützung durch Prof. Dr. Alexander Steen – Institut für Mathematik und Informatik an der Universität Greifswald – und Herrn Lucca Baumgärtner Student der Informatik an der FAU veranstaltet.

Ziel des Seminars ist es, Studierenden einerseits juristische Argumentationen und Methoden und andererseits Aussagen-, Prädikaten- und deontische Logik näher zu bringen. In interdisziplinär aus Studierenden der Rechtswissenschaften, der Informatik, der linguistischen Informatik und der Digitalen Geistes- und Sozialwissenschaften besetzten Teams soll eine juristische Falllösung möglichst genau und auch umfassend in Logik formalisiert werden, um dabei wichtige Erfahrungen zu sammeln.

Dies soll unter Einsatz eines Legal-Tech-Tools erfolgen. Nach der Formalisierung der juristischen Falllösung kann mit Hilfe des Beweisers dieses Tools dann z.B. maschinell überprüft werden, ob die juristische Argumentation konsistent ist. Die Interpretation und Anwendung von Gesetzestexten auf einem konkreten Lebenssachverhalt erfordert von menschlichen Experten ein hohes Maß an Wissen, Erfahrung und die Fähigkeit zahlreiche kontextuelle Überlegungen anzustellen. Die Formalisierung und Automatisierung solch eines Prozesses in einem computergestützten Verfahren muss dies entsprechend reflektieren.

Ausgehend von einer Fallstudie werden in dieser Veranstaltung erforderliche juridische Schritte der Rechtsanwendung identifiziert und verschiedenen Objekt- und Meta-Ebenen zugeordnet. Diese Zuordnung erlaubt Analysen und die Diskussion von Softwareanforderungen, die juristische Assistenzsysteme ganz allgemein erfüllen müssen, um bei juristischen Fallentscheidungen unterstützen zu können. Es handelt sich bei der den Studierenden gestellten Aufgabe um eine besonders schwierige, da verschiedene Disziplinen zusammengeführt werden müssen und ein Tool zum Einsatz kommt, welches derzeit auch noch weiterentwickelt wird. Daher werden die Teams bei der Arbeit über mehrere Tutorialveranstaltungen während der Bearbeitungszeit begleitet und angeleitet.

Die Teams geben als Pro-/Seminararbeit ab: 1. Eine gemeinsam entwickelte juristische Falllösung (im Umfang, Inhalt und Form einer „klassischen“ juristische Hausarbeit/Seminararbeit entsprechend); 2. Eine gemeinsam erstellte Formalisierung dieser juristischen Falllösung im Tool; 3. Jeweils einen von jedem Teilnehmer bzw. jeder Teilnehmerin individuell erstellten Erfahrungsbericht. Schließlich werden all diese Ergebnisse in einer gemeinsamen Präsentation vorgestellt und das Tool mit der formalisierten Falllösung ausprobiert.

Das Proseminar richtet sich insbesondere an Studierende der ersten vier Fachsemester der Rechtswissenschaften, der Informatik, der linguistischen Informatik und der Digitalen Geistes- und Sozialwissenschaften. Spezielle Vorkenntnisse zur Argumentationstheorie, juristischen Methodenlehre oder Informatik wären hilfreich, werden aber nicht erwartet. Einführende inhaltliche Hinweise zu den jeweiligen Themen sowie Informationen zu einführender Literatur werden im Laufe der ersten Termine und auch noch speziell bei der Vergabe und Vorbereitung der Themen gegeben.

Zum Erwerb eines benoteten Proseminarscheins gem. § 10 Abs. 1 3,4 Abs. 2 StO ist die Anfertigung einer schriftlichen Proseminararbeit im Umfang von ca. 15 Seiten, ein mündliches Referat der wesentlichen Ergebnisse der Arbeit mit anschließender Diskussion, sowie die regelmäßige aktive Teilnahme am Proseminar erforderlich.

Zum Erwerb eines benoteten Seminarscheins ist die Anfertigung einer schriftlichen Seminararbeit im Umfang von ca. 15 Seiten und ein mündliches Referat der wesentlichen Ergebnisse der Arbeit mit anschließender Diskussion, sowie die regelmäßige aktive Teilnahme am Proseminar erforderlich.

ECTS: 5. Das Seminar ist als Schlüsselqualifikation geeignet.

Zunächst erfolgt eine allgemeine Einführung in das wissenschaftliche Arbeiten. Es geht um formale Anforderungen, Literaturrecherche, Zitiertechnik, Gutachtenstil, etc. Am Ende der allgemeinen Einführung erfolgt dann eine spezielle Einführung in die Fragen der später zu bearbeitenden Themen und zur Nutzung des Tools.

Danach finden in einem noch bekanntzugebenden Zeitraum zunächst keine weiteren Proseminarveranstaltungen statt, um den Bearbeitern die Möglichkeit zur Anfertigung ihrer Beiträge zu geben. Auch in diesem Zeitraum können Sie sich aber bei Fragen individuell bei uns melden.

Schließlich erfolgen in den kommenden Proseminarveranstaltungen dann die Referate mit anschließender Diskussion, wobei pro Veranstaltung zwei Präsentationen stattfinden werden und die Formalisierungen mit dem Tool vorgeführt und evaluiert werden.

Die Veranstaltungen finden jeweils nur online über Zoom, jeweils Donnerstags von 10-12 Uhr c.t statt (1. Termin: 20. April 2023 nach den Osterferien):

https://us02web.zoom.us/j/4962723955?pwd=eGNLeU1ueGs1aExMMTBQOS9PSEpmUT09

Die Anmeldung zu diesem Proseminar ist über StudOn möglich. Die Teilnehmerzahl ist auf 15 Personen begrenzt, wobei die Interdisziplinarität der Teams berücksichtigt wird.

Die vollständige Ankündigung finden Sie hier.

WS 2022/23

Vorlesung zum Thema Recht durch Maschinen und Künstliche Intelligenz Vom Compliance Bot zum digitalen Assistenten für das Registergericht

Im Wintersemester hat Prof. Axel Adrian eine Vorlesung zum Thema Recht durch Maschinen und Künstliche Intelligenz Vom Compliance Bot zum digitalen Assistenten für das Registergericht gehalten. Die Vorlesung behandelte den Bereich „Recht durch Technik“ im Unterschied zu Fragen nach „Recht über Technik“.

Vorlesung zu Legal AI

Weiterhin organisierten wir vom K.I. Park an der FAU zu Legal-Tech (weitere Informationen unter: https://www.legal-ai.rw.fau.de) eine Vorlesung, die über Semester angelegt war. Für die erfolgreiche Teilnahme wurden 5 ECTS vergeben und ein Zertifikat in Legal Tech vom K.I. Park Berlin ausgestellt. Die Veranstaltung richtete sich an Studierende der Rechtswissenschaften und des A.I. Masters sowie an alle anderen Interessierten. 

In der Vorlesung wurden die Studierenden in die Konzepte von AI sowie deren rechtliche Rahmenbedingungen eingeführt und bekamen einen Überblick über die Anwendungen von künstlicher Intelligenz im Recht, die aktuell schon möglich sind und in Zukunft vielleicht möglich werden. In der zweiten Vorlesungshälfte war es Aufgabe der Studierenden, eine eigene Legal Tech Anwendung unter Begleitung der Dozenten zu entwickeln.

Die Folien zur Lehrveranstaltung finden Sie hier.

SS 2022

Pro-/Seminar

Im Pro-/Seminar wurde in den ersten vier Doppelstunden in die Themen eingeführt. Zunächst wurde allgemein vermittelt, wie wissenschaftliches Arbeiten und Argumentation funktionieren. Inhaltlich ging es dann um Themen sowohl aus der Rechtswissenschaft als auch aus der Logik bzw. der theoretischen Informatik. Dann sollen einerseits Fragen der Logik und der Subsumtion in der juristischen Methodenlehre und in der Rechtsanwendung untersucht werden. Anhand der juristischen Literatur können Studierende für spezifische Autoren klären, wie diese die Einsatz- und Leistungsfähigkeit von Logik in der Rechtsanwendung, insbesondere bei der Subsumtion, einschätzen und wo die Grenzen der Logik in der Rechtswissenschaft verortet werden. Andererseits soll aber auch untersucht werden, welche formalen Systeme in der Logik, bzw. theoretischen Informatik heute diskutiert werden, um juristische Normen zu formalisieren und welche Probleme es dabei gibt.

Gastreferent Herr Prof. Dr. Alexander Steen (Jun. Prof. für Informatik am Institut für Mathematik und Informatik der Universität Greifswald) gab uns – via Zoom – leicht verständlich Einblicke in aktuelle Fragen der Logik und der theoretischen Informatik in Bezug auf Herausforderungen der Rechtsanwendung geben. So hoffen wir auf eine wechselseitige Diskussion zwischen Studierenden der Rechtswissenschaften, der Informatik, der linguistischen Informatik, der Digital Humanities, der Philosophie, etc. Am Ende der vierten Doppelstunde wurden dann die Themen vergeben, wie z.B.

• Logik, Subsumtion und Justizsyllogismus der Rechtsanwendung nach der klassischen juristischen Methodenlehre
• Der Justizsyllogismus und die Syllogistik nach Aristoteles
• Subsumtion und Urteilskraft nach Kant
• Subsumtion bei Hegel
• Logische Studien zur Gesetzesanwendung von Engisch
• Lege und Deduktion, Induktion sowie Abduktion nach Peirce in der Rechtsanwendung
• Subsumtionsmodelle in der juristischen Methodenlehre nach Larenz vs. Zippelius
• Juristische Subsumtion nach Regeln? (Neumann, Koch/Rüßmann)
• Normenlogik nach Ota Weinberger und andere in der juristischen Literatur diskutierte formale Systeme
• Begriff der Künstlichen Intelligenz: Symbolische KI vs. Mustererkennung (subsymbolische KI
• Nicht alle Vögel fliegen: Können nichtmonotone Schlüsse und mathematische Logik co-existieren?
• Chisholms Paradox: Die Grenzen der deontischen Logik als Modallogik
• Die pragmatische Kuriosität („The pragmatic oddity“) deontischer Logiken
• Wie lösen zeitgenössische Logiken deontische Paradoxien?
• Vergleich von Modallogiken und normbasierten Logiken
• Wie behandeln Logiken normative Konflikte?
• Wie können Rechtsnormen im Computer repräsentiert werden? (Bsp. LegalRuleML)
• Wie funktioniert eine Wissensdatenbank für juristische Normen? (Bsp. DAPRECO)

Die vollständige Ankündigung finden Sie hier.

WS 2021/22

Pro-/Seminar

Das Seminar wurde mit Unterstützung durch Prof. Dr. Alexander Steen – Institut für Mathematik und Informatik an der Universität Greifswald – und Max Rapp Wissenschaftlicher Mitarbeiter bei Prof. Dr. Michael Kohlhase, Wissensrepräsentation und Verarbeitung an der FAU, veranstaltet. Ziel des Seminars ist es, Studierenden einerseits juristische Argumentationen und Methoden und andererseits Aussagen-, Prädikaten- und deontische Logik näher zu bringen. In interdisziplinär aus Studierenden der Rechtswissenschaften, der Informatik, der linguistischen Informatik und der Digitalen Geistes- und Sozialwissenschaften besetzten Teams soll eine juristische Falllösung möglichst genau und auch umfassend in Logik formalisiert werden, um dabei wichtige Erfahrungen zu sammeln. Dies soll unter Einsatz des Tools „NAI“ (The Normative Reasoner – siehe https://tutorial.normativeai.com/) erfolgen. Nach der Formalisierung der juristischen Falllösung kann mit Hilfe des Beweisers dieses Tools dann z.B. maschinell überprüft werden, ob die juristische Argumentation konsistent ist. Die Interpretation und Anwendung von Gesetzestexten auf einem konkreten Lebenssachverhalt erfordert von menschlichen Experten ein hohes Maß an Wissen, Erfahrung und die Fähigkeit zahlreiche kontextuelle Überlegungen anzustellen. Die Formalisierung und Automatisierung solch eines Prozesses in einem computergestützten Verfahren muss dies entsprechend reflektieren. Ausgehend von einer Fallstudie werden in dieser Veranstaltung erforderliche juridische Schritte der Rechtsanwendung identifiziert und verschiedenen Objekt- und Meta-Ebenen zugeordnet. Diese Zuordnung erlaubt eine Analysen und die Diskussion von Softwareanforderungen, die juristische Assistenzsysteme ganz allgemein erfüllen müssen, um bei juristischen Fallentscheidungen unterstützen zu können. Es handelt sich bei der den Studierenden gestellten Aufgabe um eine besonders schwierige, da verschiedene Disziplinen zusammengeführt werden müssen und ein Tool zum Einsatz kommt, welches derzeit auch noch weiterentwickelt wird. Daher werden die Teams bei der Arbeit über mehrere Tutorialveranstaltungen während der Bearbeitungszeit begleitet und angeleitet. Die Teams geben als Pro-/Seminararbeit ab: 1. Eine gemeinsam entwickelte juristische Falllösung (im Umfang, Inhalt und Form einer „klassischen“ juristische Hausarbeit/Seminararbeit entsprechend); 2. Eine gemeinsam erstellte Formalisierung dieser juristischen Falllösung im NAI-Tool; 3. Jeweils einen von jedem Teilnehmer bzw. jeder Teilnehmerin individuell erstellten Erfahrungsbericht. Schließlich werden all diese Ergebnisse in einer gemeinsamen Präsentation vorgestellt und das NAI-Tool mit der formalisierten Falllösung ausprobiert.

Das Proseminar richtet sich insbesondere an Studierende der ersten vier Fachsemester. Spezielle Vorkenntnisse zur Argumentationstheorie, juristischen Methodenlehre oder Wissenschaftstheorie wären hilfreich, werden aber nicht erwartet. Einführende inhaltliche Hinweise zu den jeweiligen Themen sowie Informationen zu einführender Literatur werden im Laufe der ersten Termine und auch noch speziell bei der Vergabe und Vorbereitung der Themen gegeben.

Die Videos der Lehrveranstaltung finden Sie hier.

Die Folien zur Lehrveranstaltung finden Sie hier.

SS 2021

Pro-/Seminar

Das Pro-/Seminar fand als Zoom-Meeting statt.

Im Sommersemester 2021 habe ich ein Pro-/Seminar zum Recht der demokratischen Parlamentswahl veranstaltet.