?

Log in

No account? Create an account
kouzdra [entries|archive|friends|userinfo]
kouzdra

[ website | www.kouzdra.org ]
[ userinfo | livejournal userinfo ]
[ archive | journal archive ]

Математическая юриспруденция - 2 [Jul. 4th, 2018|11:42 pm]
kouzdra
Кстати забавно что народу как-то сразу начали мерещиться "автоматические судьи" и прочие ужасы - хотя вполне очевидно зачем на самом деле это может быть нужно (и кстати в постановке задачи на госконкурсе это сказано прямо) - для того же, для чего нужны типовые системы (и более продвинутые варианты верификаторов) - для "статической отладки" законодательства:

То есть для поиска по крайней мере (для начала) наиболее очевидных дыр, ляпов и противоречий в законодательной продукции (и для поддержания хотя бы на некотором уровне консистентности ее при патчах).

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

PS: А вот кстати то, что заявка вынесена на конкурс кстати почти наверняка означает, что какие-то достаточно конкретные уже наработки, под финансирование которых конкурс и объявлен, уже есть.
LinkReply

Comments:
[User Picture]From: prostak_1982
2018-07-04 08:56 pm (UTC)
https://wyradhe.livejournal.com/546104.html

Как наизнанку-то старается все вывернуть.
(Reply) (Thread)
[User Picture]From: dennis_chikin
2018-07-04 09:13 pm (UTC)
Достаточно было цитаты про новоевропейских образованных.
(Reply) (Parent) (Thread)
From: (Anonymous)
2018-07-04 10:41 pm (UTC)

Представил новый рассказ коммари

Представил страшную картину : дупутаты голосуют за новый закон , а автоматический верификатор его отбрасывает, они переписывают, а он отбрасывает, итд и тп.Они нанимают специалистов разобраться почему, и получается , что он не работает из-за противоречий порождаемых классовой природой общества. Верификатор разобрали, профессуру посадили по 282 , кибернетику и матлогику объявили лэенауками. FIN.
(Reply) (Thread)
From: (Anonymous)
2018-07-05 10:38 am (UTC)

Re: Представил новый рассказ коммари

Годнота!
(Reply) (Parent) (Thread)
[User Picture]From: interier
2018-07-05 02:44 am (UTC)
Да ладно - автоматические судьи, нам уже мерещится Установитель Добровольного Абсолютного Порядка, Машина для Управления Государством достойных Индиотов, котороя расположена за Яшмовыми воротами в Радужном Дворце.....
(Reply) (Thread)
[User Picture]From: vitus_wagner
2018-07-05 07:19 am (UTC)
Вспомнил еще одну замечательную технологию формализованной обработки юридических текстов


Хардин вынул несколько листов бумаги из папки, лежащей у него под
рукой и разложил их.
- Между прочим это сделано не мной, - сказал он. - Мюллер Холк из
отдела Логики подписался под этим анализом, как вы можете видеть.
Пирени наклонился через стол, чтобы лучше рассмотреть документы, а
Хардин продолжал:
- Письмо с Анакреона было, естественно, простой проблемой, потому что
люди, которые писали его, были скорее людьми дела, а не слов. В нем ясно,
хотя и не совсем квалифицированно высказано одно утверждение. если
смотреть на символы, то увидеть его не просто, но словами оно переводиться
следующим образом: "Или вы в течении недели дадите нам то, что мы хотим,
или мы перебьем вас к чертовой матери и все равно возьмем то, что нам
нужно".
Пока пять членов Комитета рассматривали строчки символов, была
тишина, а потом Пирени уселся в кресло и неуверенно откашлялся.
- Так какой же выход вы видите, доктор Пирени? - спросил Хардин.
- Кажется, никакого.
- Прекрасно.
Хардин сложил листки.
- А теперь вы видите перед собой копию договора между Империей и
Анакреоном, договора, между прочим, подписанного по поручению Императора
лордом Дорвином, который был здесь на прошлой неделе. Рядом с договором вы
можете видеть его символический знак.
Договор заключал в себя пять страниц мелкого шрифта, а анализ был
написан всего на полстраницы.
- Как вы видите, господа, примерно около девяноста процентов выпало
из анализа, как полная бессмыслица, а все важное можно описать весьма
интересным способом: "Обязательства Анакреона по отношению к Империи:
никаких! Власть Империи над Анакреоном: никакой!"
И вновь все пятеро внимательно следили за договором, тщательно
сверяясь с доводами, и когда они оторвались от бумаг, Пирени обеспокоенно
заявил:
- Кажется, все верно.
- В таком случае вы признаете, что договор этот не больше и не
меньше, как декларация полной независимости Анакреона и признание этого
статуса Императором?
- Кажется, да.
- И вы думаете, что Анакреон не понимает этого и не хочет усилить
свою позицию независимости - так что естественно стремится не обращать
внимания, ни малейшего на намек, что им может чем-то грозить Империя? В
особенности, если вполне очевидно, что Империя беспомощна и не может
выполнить ни одну из своих угроз, так как в противном случае им никогда бы
не была предоставлена независимость.
- Но тогда, - перебил его Сатт, - как мэр Хардин относится к
утверждениям лорда Дорвина в том, что Империя окажет нам поддержку? Его
гарантии были... - он пожал плечами. - они были удовлетворительными.
Хардин откинулся на спинку кресла.
- Вы знаете, это самое интересное из того, что только происходит. Я
признаюсь, когда увидел его светлость, я решил, что он самый настоящий
глупый осел, но в конце концов выяснилось, что он - законченный дипломат и
исключительно умен. Я взял на себя смелость записать на пленку все его
утверждения.
Раздались протестующие крики, и Пирени в ужасе открыл рот.
- Что здесь такого? - требовательно спросил Хардин. - Да, конечно,
нарушение правил гостеприимства и вообще то, чего не сделал бы ни один
порядочный джентльмен. К тому же, если бы его светлость поймал меня за
руку, это было бы не очень приятно, но ведь все обошлось, а пленка у меня.
Я записал его, переписал на бумагу, потом так же послал Холку на анализ.
- И где же этот анализ? - спросил Ландин Краст.
- Вот это, - ответил Хардин, - и есть самое интересное. Это был самый
трудный анализ из всех трех, проведенных в лаборатории. Когда после двух
дней тяжелой работы Холку удалось устранить все бессмысленные утверждения,
смутные намеки, бесполезные определения, короче, всю ерунду, оказалось,
что у него не осталось ровным счетом ничего, ни единого слова. Лорд
Дорвин, господа, за все пять дней обсуждения, не сказал ни одной
определенной фразы, и причем так, что вы этого не заметили. Вот вам
заверения и гарантии нашей драгоценной Империи.
(Reply) (Thread)
From: siberian_chem
2018-07-06 04:47 am (UTC)
А так и есть :)
(Reply) (Parent) (Thread)
[User Picture]From: vlad_rulez
2018-07-05 10:35 am (UTC)
У нас в ХИРЭ сдавали дисер на тему "темпоральной логики", а фактически автоматического поиска ошибок, противоречий и недостаточных определений в RFC от сетевых протоколов.
Вот автореферат - http://openarchive.nure.ua/bitstream/document/1551/1/KorovchenkoEB.doc

Edited at 2018-07-05 10:36 am (UTC)
(Reply) (Thread)
From: (Anonymous)
2018-07-05 10:46 am (UTC)

from Mike

С одной стороны, конечно, когда мы на грант подаем - то обычно исходим из того, что полработы уже есть, можно будет отчитаться. Но с другой - тут немного другие эмпиреи.. ;)
(Reply) (Thread)
[User Picture]From: kouzdra
2018-07-06 05:45 am (UTC)

Re: from Mike

Тут несложным гуглением выяснилось что есть уже куда больше. Это направление лет 15 минимум активно развивается.
(Reply) (Parent) (Thread)
From: siberian_chem
2018-07-06 04:44 am (UTC)
А потом ЧПОК и "мы не делаем ошибок".
(Reply) (Thread)
[User Picture]From: kouzdra
2018-07-06 05:44 am (UTC)
Ну не без этого. Как Ариан-5 вот за бугор улетел. Но работа ведется :)
(Reply) (Parent) (Thread)