Algebraic approach to the analysis of legal documents

• Дата: 2023
• Автори: Letychevskyi, O.O., Peschanenko, V.S., Poltorackiy, M. Yu.
• Формат: Стаття
• Мова: English
• Опубліковано: PROBLEMS IN PROGRAMMING 2023
• Теми: legal text mining; behavior algebra; symbolic modeling; formalization; algebraic matching; incompleteness; UDC 519.85
• Онлайн доступ: 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...