Algebraic approach to the analysis of legal documents

• Datum: 2023
• Hauptverfasser: Letychevskyi, O. O., Peschanenko, V. S., Poltorackiy, M. Yu.
• Format: Artikel
• Sprache: English
• Veröffentlicht: Інститут програмних систем НАН України 2023
• Schlagworte: legal text mining; behavior algebra; symbolic modeling; formalization; algebraic matching; incompleteness; UDC 519.85
• Online Zugang: https://pp.isofts.kiev.ua/index.php/ojs1/article/view/514
• Назва журналу: Problems in programming

In this study, problems regarding the analysis of law articles and their conformance to legal documents are considered. The algebraic approach is used for the formal verification of legal texts that is presented as specification of behavior algebra. Having a formal presentation of legal texts allows...