LINUX.ORG.RU
ФорумTalks

Автоматизация законодательства

 ,


0

2

На правах пятницы.
Короче, делается какой-нибудь язык типа лиспа, куда загоняется вся законодательная база. Потом по этому скрипту можно собрать, например, текст уголовного кодекса или прочекать всё законодательство на наличие логических дыр. Конечно всё - в опенсорц и все законы хранить в git. Юристы перестанут сходить с ума, наступит конец юридической безграмотности и правового произвола.

прочекать всё законодательство на наличие логических дыр

Тут уж скорее базу данных надо, что бы чекать логические связи.

karton1 ★★★★★
()
Ответ на: комментарий от karton1

Ну да. Что-то типа базы знаний. Делали же что-то такое по-любому.

crutch_master ★★★★★
() автор топика
Последнее исправление: crutch_master (всего исправлений: 1)

На Agda всё верифицировать!

Unununij ★★★★
()
Ответ на: комментарий от Deleted

Фиксить, что же еще. Многое не будет приниматься уже на корню, например законы, где нет чётких определений как раз таки. Также это повысит порог вхождения в законодательство.

crutch_master ★★★★★
() автор топика
Ответ на: комментарий от crutch_master

Скорее всего косяки не потому что они там сами запутались, а потому что это некоторым выгодно.
Хотя запили, может пригодиться.

Deleted
()
Ответ на: комментарий от Deleted

Хотя запили, может пригодиться.

Там работы на докторскую будет походу.

crutch_master ★★★★★
() автор топика
Ответ на: комментарий от Deleted

Скорее всего косяки не потому что они там сами запутались, а потому что это некоторым выгодно.

Ну, часто бывает, что закон просто неоднозначно трактует и умысла сверху в этом не видно. Просто составили через жопу.

crutch_master ★★★★★
() автор топика

наличие логических дыр

Бггг. Ну вот смотри:
1. https://www.zakonrf.info/konstitucia/81/
2. 1+1+0+1+1 > 1+1 ?

Где теперь твой бог? Кто теперь будет фиксить, а?

Алсо, есть МИРОВАЯ ПРАКТИКА принимать законы с неточными определениями понятий или вообще без них. Конфликты разруливать экспетными заключениями: столяр Вася дал взятку в $50 — тюрьма, гроб, кладбище; министр Василий дал взятку — эксперты не усмотрели признаков. А корректировать/определять понятие уже при острой необходимости.

Deleted
()

Придётся закодировать также дух законов, традиции административной практики. А выиграет от этого всего какой-нибудь Гугл, который вычислит, как законным способом захватить неограниченную власть.

Deleted
()

Такой наивный, было б так всё просто суды б с юристами голову не ломали. Обычаи делового оборота и пробелы законодательства ещё ни кто не отменял. Плюс трактовка закона зависит от конъюнктуры партии.

Ramil ★★★★
()

Хватит хотя бы платить немного тому, кто найдет лог. дыры/неточные определения, и т.п. (Ну и потом чинить, соответственно). Соответственно по мере того, как дыры будут латать $$ бонус подымать.

ncrmnt ★★★★★
()

При этом по крайней мере в российском законодательстве некоторые вопросы решаются только по смыслу из текста всего закона.

Ramil ★★★★
()

Законы не для этого созданы, они как раз для сложности и разных трактовок.

Чтобы проблемы все решить достаточно на один листок формата A4 написать общие правила для всех в стране, в обязательном порядке чтобы все заучили. И за нарушение правил вписать наказание в виде око за око, плюс пол ока. И оставить только судей и палачей|взыскателей. Карать любого.

Например взяли у тебя денег 10 тыщ, не отдали, взыскатель любой ценой взыскал эти 10 тысяч с того + 5 тыщь(пол ока). Ну естественно за наказания телесные всё совсем просто. Покалечил руку, ему покалечили две.

Так работало когда у людей, но когда потребовалось обманом заиметь у кого-нибудь что-нибудь и не получить по башке - ввели прообразы современных законов. Всё это вводилось с помощью убийств, пыток и гонений. А ты хочешь это всё это как-то структурировать? Это же против самой природы законов:)

ixrws ★★★
()
Ответ на: комментарий от Ramil

Обычаи делового оборота и пробелы законодательства ещё ни кто не отменял. Плюс трактовка закона зависит от конъюнктуры партии.

Не, ну так бы это выяснялось все еще на стадии планирования.

crutch_master ★★★★★
() автор топика
Ответ на: комментарий от Pyzia

Ты не представляешь, какой это гигантский объём работы.

Ну, я представляю, что огромный, интересна, скорее, техническая сторона вопроса. Можно ли формализовать право до какого-нибудь яп и заставить как-то это работать на практике.

crutch_master ★★★★★
() автор топика
Ответ на: комментарий от Deleted

Придётся закодировать также дух законов, традиции административной практики

Нет, всё будет прописано.

crutch_master ★★★★★
() автор топика
Ответ на: комментарий от ncrmnt

Да этого полно. Только от заплаток становится еще хуже. Закон, как дышло, и доходит до того, что в разных регионах трактуют законы по-разному. Новая работа в сфере ЖКХ, погружаюсь понемногу.

crutch_master ★★★★★
() автор топика
Ответ на: комментарий от xmikex

Почему? Можно будет, хотя бы тупо узнать список обязанностей произвольного субъекта и найти ссылки на все законы, связанные с этим.

crutch_master ★★★★★
() автор топика
Последнее исправление: crutch_master (всего исправлений: 4)
Ответ на: комментарий от crutch_master

ну для кого эта база будет?
людям она удобства больше не даст, а программам никто еще права не давал выносить судебных решений.

xmikex ★★★★
()
Ответ на: комментарий от xmikex

людям она удобства больше не даст

Почему не даст? Удобнее изучать нюансы законодательства. На стадии планирования закона сразу всплывут все косяки, пробелы, отсутствующие определения.

crutch_master ★★★★★
() автор топика

Был, ЕМНИП, где то в Южной Америке один диктатор, хотел что то подобное запилить ещё в 70-80е, вобщем его свергли

Satou ★★★★
()

Ну и выяснится, что всю эту законодательную базу стоит выкинуть в мусор и переделывать. Собственно это и без лишпа понятно.

vazgen05 ★★★
()
Ответ на: комментарий от Satou

Был, ЕМНИП, где то в Южной Америке один диктатор, хотел что то подобное запилить ещё в 70-80е, вобщем его свергли

Никогда ничего подобного не слышал. Можете покопаться в памяти поглубже?

Ну, если только вы не вспоминаете Альенде, который помимо того, что не диктатор (это сверг его Пиночет), ничего подобного, насколько я знаю, не предлагал.

Каким проектом он известен — это автоматизацией экономики и прямой демократии.

Zmicier ★★★★★
()

куда загоняется вся законодательная база.

Частично есть в «Кодекс» ©, «Консультант Плюс» ©, «Гарант» ©, ...

quickquest ★★★★★
()
Ответ на: комментарий от knovich

А зачем вообще ПДД? Если участники движения будут внимательны, а за порчу имущества у них будут отобирать их имущество - то во-первых: многие вообще откажутся от личного автотранспорта и осознают что он им не нужен, ибо опасен и невыгоден, куда лучше те же поезда и их аналоги и во-вторых: те что не откажутся будут ездить настолько осторожно и внимательно, что аварий вообще не будет кроме редких случаев.

Вся суть современных нарушений в том, что 90% нарушений ни как не караются, а не в точности формулировок.

ixrws ★★★
()

Есть смарт-контракты в ethereum, они правда только скриптуют денежные операции, зато правила одни для всех и очень зачетно то, что результат работы кода не сможет отменить даже суд.

goingUp ★★★★★
()

Короче, делается какой-нибудь язык типа лиспа, куда загоняется вся законодательная база.

Сергей Мавроди мечтал алгоритмизировать законодательство РФ. Но не срослось.

P.S.Многие хотят быть фриками ...

pacify ★★★★★
()
Ответ на: комментарий от ixrws

Правило проезда равнозначного нерегулируемого перекрёстка надо заносить на ваш лист А4 или каждый раз из машины выходить и обсуждать с другим водителем, кто первый поедет? А если оба торопятся? Ездить строго не быстрее 30 км/ч?

knovich
()
Ответ на: комментарий от Zmicier

Похоже память подводит и это про Альенде

Satou ★★★★
()
Ответ на: комментарий от crutch_master

Техническая сторона вопроса проста до вульгарности: уже сейчас это может обработать обычный гитхаб, подводные камни кроются во всех остальных сторонах.

Pyzia ★★★★★
()

lojban

Это называется lojban, язык не допускающий семантической неоднозначности (на самом деле нет, но это для другого разговора).

Camel ★★★★★
()

А ещё лучше, чтоб скрипт и законы писал. Уверен, что у него это лучше получится, чем у депутатов.

aureliano15 ★★
()
Ответ на: комментарий от crutch_master

Сама задача не решаема ибо все не тривиальные проблемы и все жизненные ситуации законом не урегулированы. Поэтому и существует в ГПО аналогия права, считай машина этого применить не сможет.

Ramil ★★★★
()
Ответ на: комментарий от ixrws

Например взяли у тебя денег 10 тыщ, не отдали, взыскатель любой ценой взыскал эти 10 тысяч с того + 5 тыщь(пол ока).

А как доказывать что был факт передачи денег по договоренности?

Без законов увы ни как.

Ramil ★★★★
()
Последнее исправление: Ramil (всего исправлений: 1)
Ответ на: комментарий от ixrws

Чтобы проблемы все решить достаточно на один листок формата A4 написать общие правила для всех в стране, в обязательном порядке чтобы все заучили.

Уже давно есть. Священный Къоран

Ramil ★★★★
()
Ответ на: комментарий от crutch_master

Новая работа в сфере ЖКХ, погружаюсь понемногу.

Я сам юрист в жкх уже 4 года

Ramil ★★★★
()
Ответ на: комментарий от crutch_master

Новая работа в сфере ЖКХ, погружаюсь понемногу.

Дай угадаю. ГИС ЖКХ, договоры управления, договоры с РСО, тех паспорта, Приказ Минсвязи 74?

Ramil ★★★★
()

никто не позволит это ввести в дело. Законы сделаны так, чтобы некоторые были перед ним равнее

dikiy ★★☆☆☆
()
Ответ на: комментарий от Ramil

Ага. Там целый сейф договоров и постоянно что-то придумывают.

crutch_master ★★★★★
() автор топика
Ответ на: комментарий от dikiy

никто не позволит это ввести в дело. Законы сделаны так, чтобы некоторые были перед ним равнее

Разве это нельзя прописать такие вещи? Например, что такие-то вещи решают такие-то комиссии, в таких-то случаях.

crutch_master ★★★★★
() автор топика
Ответ на: комментарий от burato

Да не разжигаю я. У кого пригорает - это их проблемы.

crutch_master ★★★★★
() автор топика

Даже для пятничного и субботнего ЛОР-а тема бредовая. Законы на то и есть, чтобы ими крутить можно было как угодно крутящему.

peregrine ★★★★★
()
Ответ на: комментарий от peregrine

Как будто нельзя это прописать в законе. Например, что оффтоп определяется модератором. Или размер штрафа. Да и ничто не мешает быть закону совершенно дебильным.

crutch_master ★★★★★
() автор топика
Последнее исправление: crutch_master (всего исправлений: 1)
Ответ на: комментарий от crutch_master

Ввести правило модератор всегда прав не годится из-за того, что надо договариваться между модераторами (хотя можно ввести систему рангов, что вышестоящий модератор прав), но проблема будет в том, что пользователи ресурса не будут знать, чего от них не хочет видеть модератор. Вот чтобы пользователи знали и были придуманы законы, однако они погрязли в формальностях, отношение к ним стало частью общества, и выродились в то, что мы имеем сейчас во всем мире. Однако их истинная природа и основная цель не изменилась, что бы не говорили юристы. А вот если по какой-то неведомой причине она изменится, то будет крах всей юридической системы.

peregrine ★★★★★
()
Последнее исправление: peregrine (всего исправлений: 2)
Вы не можете добавлять комментарии в эту тему. Тема перемещена в архив.