Компьютерные науки > Расчеты и язык [представлен 24 мая 2026 (v1), последний пересмотренный вариант 17 сентября 2026 года (эта версия, v2)) Заголовок: К своим фруктам вы узнаете их: Сопоставление формализации права на основании решений, которые они кодируют Вижу PDF HTML (экспериментальное резюме): Разработка правовых положений обещает машинодоступное право и автоматизированную правовую аргументацию, а недавно МПМ заманчиво создавать такие формализация непосредственно из статутного текста. Вместе с тем любая формализация делает имплицитный интерпретационный выбор, последствия которого трудно предвосхитить, особенно если автором является ЛУЗМ. Мы представляем метод систематического сопоставления различных формализований одного и того же правового положения по их выводам в отношении отдельных дел. Учитывая многочисленные формализации положения, мы сравниваем их на уровне узла, вычисляем общий интерфейс для каждой пары из совпадающих и используем SAT-разработчик для перечисления крайних случаев, по которым любые две формальности расходятся. Отдельные экстремальные случаи затем переносятся в конкретные фактические сценарии, которые может рассмотреть эксперт по правовым вопросам и принять соответствующие меры. Мы применяем наш метод к формализации десяти положений ЕС, разработанных девятью пограничными МЛМ. Мы считаем, что различия в поведении между формализациями по существу не связаны с их структурным согласием и что словесные случаи свидетельствуют о качественно различных…
По их плодам вы узнаете их: сравнение формализации права решениями, которые они кодируют
arXiv:2605.25186v2 Тип уведомления: заменить перекрестное резюме: формализация правовых положений обещает доступное для машин право и автоматизированную правовую аргументацию, а недавно МЛМ заманчиво создавать такие формализации непосредственно на основе статутного текста. Вместе с тем любая формализация делает имплицитный интерпретационный выбор, последствия которого трудно предвосхитить, особенно если автором является ЛУЗМ. Мы представляем метод систематического сопоставления различных формализований одного и того же правового положения по их выводам в отношении отдельных дел. Учитывая многочисленные формализации положения, мы сравниваем их на уровне узла, вычисляем общий интерфейс для каждой пары из совпадающих и используем SAT-разработчик для перечисления крайних случаев, по которым любые две формальности расходятся. Отдельные экстремальные случаи затем переносятся в конкретные фактические сценарии, которые может рассмотреть эксперт по правовым вопросам и принять соответствующие меры. Мы применяем наш метод к формализации десяти положений ЕС, разработанных девятью пограничными МЛМ. Мы считаем, что поведение расходитсяc