Algebraic approach to the analysis of legal documents

• Veröffentlicht in: PROBLEMS IN PROGRAMMING
• Datum: 2023
• Heft: 3-4
• Сторінки: 117-127
• ISSN: 1727-4907
• Автори та афіліації: O.O. Letychevskyi — Glushkov Institute of Cybernetics NAS of Ukraine; V.S. Peschanenko — Kherson State University — ORCID: 0000-0003-1013-9877; M. Yu. Poltorackiy — Kherson State University
• Hauptverfasser: Letychevskyi, O.O., Peschanenko, V.S., Poltorackiy, M. Yu.
• Format: Artikel
• Sprache: Englisch
• Veröffentlicht: PROBLEMS IN PROGRAMMING 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...