Маслянко, Павло ПавловичМірко, Сергій Сергійович2024-05-292024-05-292023Мірко, С. С. Математичне та програмне забезпечення системи пошуку судових прецедентів в судочинстві України : магістерська дис. : 113 Прикладна математика / Мірко Сергій Сергійович. – Київ, 2023. – 158 с.https://ela.kpi.ua/handle/123456789/66939Дисертацію виконано на 130 аркушах, вона містить 2 додатки та перелік посилань на використані джерела з 24 найменувань. У роботі наведено 22 рисунків та 7 таблиць. Актуальність теми. База судових рішень в судочинстві України, які знаходяться в єдиному реєстрі судових рішень, перевищує сто мільйонів документів. До того ж вона містить декілька різновидів судових документів, таких як рішення, постанова, ухвала, вирок тощо, також має три рівні судочинства - перша інстанція, апеляція та касація, при цьому маючи досить розгалужене категорювання справ. Особливістю організації інформаційних ресурсів судочинства України є специфіка структур організації баз даних, форматів даних, процесів обробки даних, форматів запитів та інтерфейсів взаємодії з інформаційними ресурсами. Можна сказати, що в Україні де-факто існує прецедентне право, тобто раніше прийняті рішення по судових справах у відповідності до законодавства України використовуються для прийняття рішення щодо вирішення поточних справ, тобто на практиці судді використовують раніше прийняті рішення для винесення рішень по своїх поточних справах, а адвокати для розуміння того, як правильно побудувати свою правову позицію. Також в судочинстві України існують інші зацікавлені сторони, наприклад слідчі, представники влади, прокуратури тощо. Тому для інформатизації бізнес-процесів діяльності зацікавлених осіб у судочинстві України існують системи пошуку прецедентів серед вироків, рішень, ухвал та інших документів. Але існуючі системи потребують значного часу, щоб задовільнити потребу користувача у пошуку потрібного судового документа через обмежену функціональність взаємодії користувача з системою. Тому, наразі, актуальною є проблема розробки науково обґрунтованої концептуальної моделі системи пошуку прецедентів (СПП) у судочинстві України, яка б взаємодіяла з користувачем під час пошуку прецедентів з використанням підходів інтелектуального аналізу тексту та її імплементація на множині відкритих баз даних для забезпечення пошуку прецедентів серед законодавчо встановлених видів результатів судочинства України. Зв’язок роботи з науковими програмами, планами, темами. Дисертаційна робота виконувалась згідно з планом науково-дослідних робіт кафедри прикладної математики Національного технічного університету України «Київський політехнічний інститут імені Ігоря Сікорського». Мета і задачі дослідження. Метою є створення математичного, програмного та методичного забезпечення системи пошуку судових прецедентів в судочинстві України, яка б взаємодіяла з користувачем під час пошуку прецедентів з використанням підходів інтелектуального аналізу тексту. Для досягнення постановленої мети необхідно виконати наступні задачі: - Виконати аналіз існуючих систем пошуку прецедентів в судочинстві України - Виконати аналіз та огляд існуючих теоретичних рішень побудови систем пошуку прецедентів в судочинстві України - Виконати огляд перспективних рішень для побудови системи пошуку прецедентів в судочинстві України - Розробити уніфіковану модель системи пошуку прецедентів в судочинстві України - Розробити та описати математичне забезпечення пошуку прецедентів в судочинстві України - Розробити та описати програмне забезпечення пошуку прецедентів в судочинстві України - Провести верифікацію та валідацію пошуку прецедентів в судочинстві України Об’єкт дослідження. Методи та моделі інформаційно-пошукових систем (ІПС); підходи та функції розрахунку відповідності документа до запиту користувача; моделі, методи та алгоритми інтелектуального аналізу тексту: обробка природньої мови, представлення текстів, вилучення інформації, групування текстів; методи та підходи системної інженерії, систематизації, моделювання та проектування систем; існуючі програмні методи реалізації інформаційно-пошукових систем, існуючі системи пошуку прецедентів в судочинстві України: Єдиний державний реєстр судових рішень, Закон онлайн, База правових позицій Верховного Суду. Предмет дослідження. Системна інженерія та модель СПП на основі бізнес-профіля Еріксона–Пенкера; методи теорії системного аналізу, системної інженерії, моделювання та проектування систем пошуку текстів, розрахунку відповідності документа запиту, обробки природної мови, тематичного моделювання текстів, вилучення ключових слів, візуалізації даних; програмне забезпечення реалізації текстового пошуку ElasticSearch. Методи дослідження. Для вирішення поставленої задачі було розглянуто, методологію системної інженерії, методи та технології науки про дані, методи: тематичного моделювання текстів: LDA, NMF, Top2Vec, BERTopic; виділення ключових слів: на основі функцій подібності, Rake/Yake, на основі PageRank (графові), на основі енбедінгів; функції відповідності документа запиту користувача: TF-IDF (частота терміну до інвертованої частоти документу), Best Match 25, Divergence From Randomness Divergence From Information, Мовні моделі (Діріхле та Єлінек-Мерсер), Information Based. Огляд існуючих систем пушку прецедентів в судочинстві України: Єдиний державний реєстр судових рішень, Закон онлайн, База правових позицій Верховного Суду. Наукова новизна одержаних результатів включає в себе такі пункти: - Розроблено уніфіковану модель системи пошуку прецедентів в судочинстві України, яка б взаємодіяла з користувачем в процесі пошуку із застосуванням алгоритмів інтелектуального аналізу тексту. - Запропоновано підхід імплементації тематичного моделювання документів в систему пошуку прецедентів в судочинстві України. - Запропоновано підхід та алгоритм рекомендування пошукових слів на основі оцінок релевантності документів користувача. Практичне значення одержаних результатів. Запропоновано математичне, програмне та методичне забезпечення системи пошуку судових прецедентів в судочинстві України, яка взаємодіє з користувачем під час пошуку прецедентів з використанням підходів інтелектуального аналізу тексту, що пришвидшує пошук та аналіз судових документів в судочинстві України. Система збирає розмічені користувачем документи, як релевантні та нерелевантні до запиту, що дає можливість створити розмічений датасет судових документів. Датасет можна використати для модернізації системи, навчивши на ньому більш складні алгоритми інтелектуального аналізу тексту. Апробація результатів дисертації. Основні положення та результати роботи дисертації доповідалися та були опубліковані у матеріалах наукової конференції магістрантів та аспірантів «Прикладна математика та комп’ютинг - ПМК-2022» . Публікації. Результати дисертації викладено в науковій праці: тези «Математичне та програмне забезпечення системи пошуку прецедентів в судочинстві України» конференції магістрантів та аспірантів «Прикладна математика та комп’ютинг - ПМК-2022».158 с.ukсистеми пошуку прецедентів в судочинстві Українисистемна інженеріябізнес-профіль Еріксона-ПенкераLDAвилучення ключових слів на основі функцій подібностірекомендування пошукових слівМатематичне та програмне забезпечення системи пошуку судових прецедентів в судочинстві УкраїниMaster Thesis519.688