 |
|
|---|---|
Мнение. Регуляторная гильотина позволит заменить судей на программный код МНЕНИЯ | 27 май, 13:38
 Аппарат бизнес-омбудсмена РФ Бориса Титова внес предложение по автоматизации «регуляторной гильотины» при помощи искусственного интеллекта. Нормативные акты из смежных областей могут быть написаны в единой логике и с единым терминологическим словарем.Дмитрий Хизбуллин ведущий инженер ключевых направлений в Huawei:
Как инженер-программист я однозначно поддерживаю концепт приведения юридических текстов в формализованный вид. Приведу пример стартапа, успешно применяющего юридический мета-язык на практике. Речь идет о Pactum AI, технологическом стартапе из Эстонии, основанном в 2019 году и уже привлекшем $15 млн финансирования. До 2018 года я работал с со-основателем Pactum - Кристианом Корьюсом (Kristjan Korjus) - в другом эстонском стартапе. Идея Pactum в том, чтобы формализовать процесс согласования контрактов между отделом закупок и поставщиками. Для этого требуется формализовать договоры на поставку и параметризовать их по множеству величин, в частности стоимости единицы продукции, количеству единиц, пени за просрочку и тп. Далее требуется формализовать ценовую политику заказчика. Ключевой момент в том, что эта стадия согласуется один раз между заказчиком и Pactum. Далее в дело вступает чат бот, который обзванивает сотни поставщиков и при помощи нейронных сетей для обработки естественного языка (NLP) переписывается с каждым поставщиком, пытаясь сторговаться на выгодных условиях. Также бот имеет право заполнить и подписать контракт, таким образом полностью заменяя работу десятков людей в отделе закупок. Если дать волю фантазии, то перевод всех законодательных документов в машинообрабатываемый формат позволит в перспективе заменить судей в судах на программный код, который будет, во-первых, абсолютно беспристрастным, во-вторых, не будет допускать ошибок по незнанию, в-третьих решать любой кейс за доли секунды. Причем если в странах с непрецедентным правом достаточно будет подвергнуть регуляторной гильотине только правовые акты, то в странах с прецедентным правом потребуется перевод в машиночитаемый формат в том числе и всей огромной записи прецедентных решений судов. Уже сейчас существуют так называемые методы формальной верификации (к примеру, Z3-solver от Microsoft), которые могут доказывать истинность проверяемого утверждения, имея формализованную базу из верных утверждений. В данный момент они применяются в разработке ПО, а так же электроники, однако имеют достаточную общность, чтобы подтвердить или опровергнуть юридические формулировки, имея документы, подвергнутые регуляторной гильотине.
ДРУГИЕ НОВОСТИ
|
СПЕЦПРОЕКТЫГигаЧат обучился в аграрном вузе на 8 факультетах и успешно сдал выпускной экзамен
17.06.2025 18:15
Чат-бот T2 помог клиентам более 35 миллионов раз
|
