Юридическая модель

Цитата: slavae от 08.02.2018 14:05:26Читал сейчас про то, как одни законы сталкиваются с другими и конфликтуют.
А вот интересно было бы разработать некую компьютерную модель мира законов, в которой и были бы видны столкновения интересов. Видимо, сначала придётся создать некую связную модель нашего мира, который пытаются регулировать законами, а потом уже привязывать разные части этих разных законов к этим деталям модели мира. Конечно, сложностей не избежать, например когда один закон описывает лесонасаждения вообще, а другой - кусты между полями. Ну ведь для этого у нас есть Академия наук, не так ли?
Хотя, честно сказать, мне кажется, такую модель быстрее придумают трое недавних студентов, работающих программистами, чем институт АН.

Цитата: slavae от 08.02.2018 14:05:26

 

Так РАН разработал, и его за это тут же "убили"
Сергей Глазьев: У нас чудовищная экономическая катастрофа
Вскоре после того, как Российская академия наук (РАН) начала выступать с программой смены экономической парадигмы в стране, а публично защищать нынешнюю модель пришлось Анатолию Чубайсу, мы стали свидетелями так называемой «реформы» академии по все большему ограничению ее полномочий. Последний инцидент — срыв выборов президента РАН и попытки переподчинить избрание напрямую главе государства. Как считает академик Сергей Глазьев, реформа РАН дает результаты, обратные официально заявлявшимся, но ученые еще могут поставить экономику на правильные рельсы.

• +0.58 / 16

Цитата: slavae от 08.02.2018 14:05:26Читал сейчас про то, как одни законы сталкиваются с другими и конфликтуют.
А вот интересно было бы разработать некую компьютерную модель мира законов, в которой и были бы видны столкновения интересов. Видимо, сначала придётся создать некую связную модель нашего мира, который пытаются регулировать законами, а потом уже привязывать разные части этих разных законов к этим деталям модели мира. Конечно, сложностей не избежать, например когда один закон описывает лесонасаждения вообще, а другой - кусты между полями. Ну ведь для этого у нас есть Академия наук, не так ли?
Хотя, честно сказать, мне кажется, такую модель быстрее придумают трое недавних студентов, работающих программистами, чем институт АН.

Цитата: slavae от 08.02.2018 14:05:26

 

.
Есть какая то быль-байка.. в инете наверное долго искать.
.
Какой то юнец на западе, приперся с Идеальной машиной для голосования...а его в  зашей поперли.
С пояснением - Никому Не Нужна Идеальная Система. Она будет предсказуемая и Не Управляемая.
.
Точно такая же ерунда и с Набором Законов.
Хочешь этот используй,  а хочешь - тот.

• +0.65 / 8

Цитата: Magic Spirit от 08.02.2018 14:24:05.
Есть какая то быль-байка.. в инете наверное долго искать.
.
Какой то юнец на западе, приперся с Идеальной машиной для голосования...а его в  зашей поперли.
С пояснением - Никому Не Нужна Идеальная Система. Она будет предсказуемая и Не Управляемая.
.
Точно такая же ерунда и с Набором Законов.
Хочешь этот используй,  а хочешь - тот.

Цитата: Magic Spirit от 08.02.2018 14:24:05

 

Особенно с учетом интересов тех в чьих интересах эти законы принимаются или какие цели преследуются.
Во всяком случае летом  2010 как оказалось самым насущным был закон о перелетных пчелах а не о защите лесов.
Кстати как думаете, внесение в уголовный кодекс статьи за лесные поджоги  с сроками от 10 лет и штрафами с 10 нулями, способствовало бы снижению пожароопасности?

• +0.34 / 5

Цитата: Trifon от 08.02.2018 19:38:06Особенно с учетом интересов тех в чьих интересах эти законы принимаются или какие цели преследуются.
Во всяком случае летом  2010 как оказалось самым насущным был закон о перелетных пчелах а не о защите лесов.
Кстати как думаете, внесение в уголовный кодекс статьи за лесные поджоги  с сроками от 10 лет и штрафами с 10 нулями, способствовало бы снижению пожароопасности?

Цитата: Trifon от 08.02.2018 19:38:06

 

.
Ну если смотреть, сколько "вписавшиеся в рынок" в 2010 году заработали на поджогах, и продажах вообще негорелого, фактически леса...Будут бомжей для поджогов нанимать.

• +0.82 / 9

Цитата: slavae от 08.02.2018 14:05:26Читал сейчас про то, как одни законы сталкиваются с другими и конфликтуют.
А вот интересно было бы разработать некую компьютерную модель мира законов, в которой и были бы видны столкновения интересов. Видимо, сначала придётся создать некую связную модель нашего мира, который пытаются регулировать законами, а потом уже привязывать разные части этих разных законов к этим деталям модели мира. Конечно, сложностей не избежать, например когда один закон описывает лесонасаждения вообще, а другой - кусты между полями. Ну ведь для этого у нас есть Академия наук, не так ли?
Хотя, честно сказать, мне кажется, такую модель быстрее придумают трое недавних студентов, работающих программистами, чем институт АН.

Цитата: slavae от 08.02.2018 14:05:26

 

Можно с другой стороны попробовать подойти.. Писать законы в виде набора объектов и отношений между ними в виде фактов и правил.. Первое приближение - скажем на Прологе.. Не совсем конечно то, но - примерно.. А потом - прогонять их на непротиворечивость с основной базой данных законов и указов.. Конечно - это отнюдь не просто, но - ИМХО единственный способ начать наконец издавать логически и фактически увязанные законы..

• +1.37 / 19

Цитата: slavae от 08.02.2018 14:05:26Читал сейчас про то, как одни законы сталкиваются с другими и конфликтуют.
А вот интересно было бы разработать некую компьютерную модель мира законов, в которой и были бы видны столкновения интересов. Видимо, сначала придётся создать некую связную модель нашего мира, который пытаются регулировать законами, а потом уже привязывать разные части этих разных законов к этим деталям модели мира. Конечно, сложностей не избежать, например когда один закон описывает лесонасаждения вообще, а другой - кусты между полями. Ну ведь для этого у нас есть Академия наук, не так ли?
Хотя, честно сказать, мне кажется, такую модель быстрее придумают трое недавних студентов, работающих программистами, чем институт АН.

Цитата: slavae от 08.02.2018 14:05:26

 

О, вы тут не одиноки. Лет 20 назад один исследователь сформулировал идею, что гражданско-правовой договор можно сформулировать в виде математической проблемы. И что и эту проблему, и ее решение, и доказательство корректности этого решения можно описать в виде алгоритма для некоторого Тьюринг-полного исполнителя. Собственно, благодаря этой идее в блокчейн 2.0 и появились смарт контракты.

Результат: только по итогам 2017 куча инцидентов с общей суммой потерь в несколько $млрд. показала, что любую красивую идею способна испоганить кучка косоруких недоучек-программистов, которые умудряются наделать ошибок и в тексте смарт-контрактов, и компиляторе языка программирования смарт-контрактов, и в самом языке программирования, и в виртуальной машине для его исполнения И это - только в небольшой (финансовой) части гражданского права.

Чтобы осознать весь масштаб бедствия, попробуйте хотя бы на русском языке, даже без компьютерных моделей, сформулировать, что именно в уголовном кодексе называется словосочетанием "тяжкие последствия" 

• +0.73 / 8

Цитата: slavae от 08.02.2018 14:05:26Читал сейчас про то, как одни законы сталкиваются с другими и конфликтуют.
А вот интересно было бы разработать некую компьютерную модель мира законов, в которой и были бы видны столкновения интересов. Видимо, сначала придётся создать некую связную модель нашего мира, который пытаются регулировать законами, а потом уже привязывать разные части этих разных законов к этим деталям модели мира. Конечно, сложностей не избежать, например когда один закон описывает лесонасаждения вообще, а другой - кусты между полями. Ну ведь для этого у нас есть Академия наук, не так ли?
,

Цитата: slavae от 08.02.2018 14:05:26

 

"Кто о чем, а вшивый о бане"(с)
Как обычно ужасная Академия.
РАН сейчас ничего в принципе разработать не может - ее давным, давно отлучили от институтов и ФНЦ- ими с 2013-го руководит ФАНО вообще-то.
РАН задачи не ставит вообще.
Научной базы у РАН тоже нет- ее отобрали и отдали в распоряжение ФАНО, где АН будет разрабатывать то, на симпозиуме на природе?
Ну и вообще для этой задачи не нужен институт в принципе- это просто программа-  ищущая совпадения в базе данных.

ЦитатаХотя, честно сказать, мне кажется, такую модель быстрее придумают трое недавних студентов, работающих программистами, чем институт АН.

Классика- РАН мало разогнали , надо продолжать, надоели академики и ученые вообще.
Ну а молодежь-выпускники программисты, без опыта работы при чем, спасут страну.

ЗЫ: Мне эту программу  написать не предлагать, я не программист, давно отошел от этого.

• +0.64 / 11