Maschinelles Schliessen mit s(CASP)

Anmeldung eines neuen Geschäftsführers einer GMBH zum Handelsregister

Merlin Humml

Stephan Prettner

Max Gabriel Rapp

Michael Gritz

Verena Stürmer

Johannes Lindner

Moritz Blöcher

Axel Adrian

Stephanie Evert

Michael Kohlhase

Andreas Maier

Lutz Schröder

Osman Anil Basaran

Steffen Bothe

Zitiervorschlag: Axel Adrian / Stephanie Evert / Michael Gritz / Verena Stürmer / Johannes Lindner / Moritz Blöcher / Michael Kohlhase / Andreas Maier / Lutz Schröder / Osman Anil Basaran / Steffen Bothe / Merlin Humml / Stephan Prettner / Max Gabriel Rapp, Maschinelles Schliessen mit s(CASP), in: Jusletter IT 30. April 2025

Das Forschungsprojekt DIREGA hat die Erforschung der Möglichkeiten und Grenzen der maschinellen Automatisierbarkeit der rechtlichen Prüfung von Handelsregisteranmeldungen zum Forschungsgegenstand. Am Beispiel der Geschäftsführeranmeldung soll veranschaulicht werden, wie der juristische Prüfvorgang auf dem Gebiet der symbolischen KI formalisiert und mithilfe der Answer-Set-Programming-Sprache s(CASP) maschinell vollzogen werden kann, wobei s(CASP) – anders als klassische Implementierungen – in der Lage ist, dem User vereinfachte logische Begründungen nicht nur für den Erfolg, sondern auch den Fehlschlag der maschinellen Prüfung auszugeben.