Computational Reasoning with S(CASP) – Registration of a New Management Director of a Company with Limited Liability

Title:Computational Reasoning with S(CASP) – Registration of a New Management Director of a Company with Limited Liability

Authors:Axel Adrian, Stephanie Evert, Michael Kohlhase, Andreas Maier, Lutz Schröder, Osman Anil Basaran, Steffen Bothe, Merlin Humml, Stephan Prettner, Max Gabriel Rapp, Michael Gritz, Verena Stürmer, Johannes Lindner and Moritz Blöcher

Conference:IRIS25

Tags:Handels- und Gesellschaftsrecht, Logik, logische Formalisierung, maschinelles Schließen, Register- und Notarrecht, s(CASP), symbolische KI, Wissensrepräsentation and XAI

Abstract:

The research project DIREGA is investigating possibilities and limitations of the computational automation of the legal review process for commercial register entries. Using the example of an application for a change of managing director, we demonstrate how the legal review process can be formalized using methods of symbolic AI and carried out automatically through computational reasoning in the answer set programming language s(CASP), exploiting that s(CASP) is capable of providing simplified logical justifications not only in case of success but also in case of failure of computational verification.