IU IncubatorRRiL
Repräsentation von Recht in Logik zur Automatisierung von Rechtsnormen
Projektbeschreibung
Bereits seit den 1950er und 1960er Jahren begann man darüber nachzudenken, wie die Rechtsanwendung mit Hilfe von Computern automatisiert werden kann. Dieser Ansatz wurde in den letzten Jahren, oft unter dem Stichwort Legal Tech, wesentlich weiterentwickelt. Voraussetzung dafür ist eine geeignete Repräsentation der anzuwendenden Rechtsnormen, beispielsweise in Form von logischen Regeln.
In der KI wird heute für viele Anwendungsgebiete nicht mehr (ausschließlich) mit regelbasierten Ansätzen gearbeitet, sondern mit maschinellem Lernen, meist auf Basis von neuronalen Netzen (verschiedenster Versionen). Für die Anwendung von Rechtsnormen sind solche Ansätze aber – ohne Kombination mit anderen Technologien – beschränkt geeignet, da sie mit Herausforderungen wie Änderungen des Rechts, unterschiedlichen Rechtsnormen in unterschiedlichen Ländern sowie der Nachvollziehbarkeit der Rechtsanwendung nicht umgehen können. Für die Modellierung und Anwendung von Rechtsnormen eignen sich Logik-basierte Ansätze daher besser.
Aktuell gibt es schon Arbeiten, die sich mit der Repräsentation von Recht in Logik befassen, aber nur wenige Arbeiten gehen darüber hinaus und nutzen diese Repräsentation, um die Anwendung der Rechtsnormen zu automatisieren.
Dies führt zu folgenden Forschungsfragen:
Wie kann man bestehende Logik-basierte Werkzeuge, beispielsweise Inference Engines, Beweissysteme oder (constraint-)logische Programmierung, zur automatisierten Anwendung von Rechtsnormen nutzen?
Welche Einschränkungen ergeben sich daraus für die Repräsentation der Rechtsnormen?
Diese Fragen sollen am Beispiel ausgewählter Fragen des Datenschutzrechts nach DSGVO bearbeitet werden.
Dauer des Projekts
07/2024 – 06/2026
Projektmitglieder
Denomination: Datenschutz und IT-Sicherheit
Dipl.-Mathematiker (mit Diplomarbeit in mathematischer Logik), Ph.D. Computer Science. Weiterbildungsstudium LL.M. IT und Recht. Zertifizierter Berater im Datenschutzrecht (FU Hagen).
Seit 2016 Professor an der IU.
Viele Veröffentlichungen zum Datenschutz, u.a. Fachbuch Datenschutz für Softwareentwicklung und IT. Eine praxisorientierte Einführung. Springer Vieweg, 2021
Denomination: Cyber Security
Diplom-Informatikerin mit dem Anwendungsfach BWL und juristischem Schwerpunkt, Dr. rer. nat. in der Informatik, seit über 17 Jahren in der Wirtschaft tätig seit 2023 Professorin an der IU
Denomination: Informatik
Diplom-Informatiker, seit 1988 Projekte und Forschungsarbeiten insbesondere auf dem Gebiet ”Anwendungen der logischen und constraint-logischen Programmierung“. 2002 Promotion zum Dr.-Ing. (Fachgebiete Software Engineering und Künstliche Intelligenz) an der TU Berlin. 2013 Berufung zum Professor für Wirtschaftsinformatik, seit 2021 Professor für Informatik an der IU
Denomination: DevOps und Cloud Computing
M.Sc. Informatik mit Forschungsschwerpunkt: automatisiertes Reasoning in Wissensdatenbanken am Xerox Research Centre Europe, Frankreich. Bi-nationale Promotion (2013) an der Saar-Uni und der Uni de Lorraine in Zusammenarbeit mit dem Max-Planck-Institut für Informatik und dem INRIA (Frankreich) im Bereich Formale Verifikation. Dozent für TLA+ an der Saar-Uni und TU Darmstadt (2013-2017). Seit 2023 Professor an der IU
Weitere Infos
IU Incubator
Prof. Dr. Ralf Kneuper ralf.kneuper@iu.org
Prof. Dr. Petra Beenken petra.beenken@iu.org
Prof. Dr. Ulrich John ulrich.john@iu.org
Prof. Dr. TianXiang Lu tianxiang.lu@iu.org
