22 posts
В исследованиях по построению вычислимых дейцентричных правовых онтологий я экспериментирую с белорусскими кодексами. Для работы без хороших инструментов, которые ещё нужно создать, относительно простым для моделирования материалом оказываются ПДД + КоАП. Но "простой" здесь означает лишь проще чем, например, трудовой или налоговый кодекс. Процесс построения модели на основе текстов выявляет...
"A Common Legal Platform" - концептуальная архитектурная разработка коллектива под названием Liquid Legal Institute e.V. Сходу заявляют о своём радикализме в отношении цифровой трансформации закона: The legal ecosystem must reinvent itself , while also reflecting the particular importance of law. Этот радикализм, подозреваю, скрыто исповедуют многие из тех, кто занимается разработкой...
Вышел очередной отчёт лаборатории вычислительного права MIT: Drafting X2RL: A Semantic Regulatory Machine-Readable Format. Исследователи MIT вводят новый формат представления регуляторных данных: X2RL (eXtensible Regulatory Reporting Language), с попыткой преодолеть ограничения существующих в Штатах и для американского контекста (в Европе иные) синтаксических форматов USLM и Akoma Ntoso....
Sergot M., A Computational Theory of Normative Positions. Логические формализмы вроде презентованного здесь читать непросто, да и не очень интересно. Интересны границы метода. Например, ввод-вывод в формализм. Приведённый ниже отрывок взят из примера практического использования логики (формализм Norman-G): Note [2]. We are supposing for the purpose of the example that if one of the...
Заметка на полях исследований стека технологий для дейцентричного процессинга. Оператор negation в спецификации SPARQL проявляет интересную проблему с интеграцией разноуровневых онтологий и эпистемических вычислений. Данные, представленные в блоке "Data"- текущая онтика, набор фактов, организованный в соответствии с какой-то онтологией (О1). По факту там несколько онтологий импортировано...
Нашел приличное количество публикаций на тему масштабирования логического и онтологического нормативного вывода. Проект MIREL из Университета Люксембурга, Университет Болоньи и прочие прорабатывают вопрос "как обрабатывать огромные количества данных с огромным количеством правил". Не нашёл пока работающих систем, хотя упоминания про то, что прототип вывели в коммерческую эксплуатацию, есть....
В период с середины 1990-ых и где-то по начало 2010-ых институты Европейского Союза финансировали несколько попыток формализовать законотворчество и обмен правовой информацией, включая проекты по созданию опорной онтологии права, как базиса для обмена правовой информацией на семантическом уровне. Стандарты синтаксического уровня (как нарезать текст законов на блоки, связывать их...
Гарвардский (Berkman Klein Center for Internet & Society at Harvard Law School) проект OpenLaw заявляется, как платформа для создания "полностью цифровых, юридически значимых активов без необходимости кодировать" (purely digital, legal-enforceable assets with no coding necessary). По факту - проект пытается выйти из атомарной простоты протоколов чейна (Etherium), ориентированных исключительно...
Ключевое направление моих текущих исследований: 1. поиск метода представления исполняемого знания в вычислимой форме 2. разработка необходимой для этого теоретической и инженерной инфраструктуры. Где 1. "Исполняемое знание" Знание из предметных областей с высокой степенью сложности, тех, что чаще относят к гуманитарному, социальному или психологическому полю. Для "физической" 4D-инженерии, где...
По изданию R.Susskind "ONLINE COURTS and THE FUTURE OF JUSTICE", Oxford University Press 2019. Конспектирование и перевод: Егор Чурилов ix | Я часто шучу, что пишу одну и ту же книгу каждые 4 года ---|--- 1 | Introduction | В 2039 моя внучка Роза будет 21-летней. Я оптимистичен, грядут трансформации и агитировать кого-то за онлайн суды будет не нужно, как не нужно сейчас агитировать кого-то за...
Вышел Указ № 148 «О цифровых банковских технологиях». Сел почитать и по ходу дела накидал в ArchiMate схему закона (первые 10 пунктов) в качестве упражнения. Интересно, вот без всякой подготовки в моделировании и в нотации ArchiMate 3, насколько что-то их этих схем понятно юристам и неюристам? Одна из задач #ТёмныйМоделер \- такие схемы (а точнее, вычислимые модели, для которых схемы - только...
Вышел Указ № 148 «О цифровых банковских технологиях». Сел почитать и по ходу дела накидал в ArchiMate схему закона (первые 10 пунктов) в качестве упражнения. Интересно, вот без всякой подготовки в моделировании и в нотации ArchiMate 3, насколько что-то их этих схем понятно юристам и неюристам? Одна из задач #ТёмныйМоделер \- такие схемы (а точнее, вычислимые модели, для которых схемы - только...
[slideshare:https://www.slideshare.net/slideshow/computational-law/137945481]
Русская версия здесь Revision 3 Original '2019 Revision 1 version published in Recht Innovative 01-2019 1 Currently, there is no widely accepted definition for Computational Law. The term itself also has several related, often almost synonymous forms: AI in Law, Computational Legal, Artificial Legal Intelligence, etc. The literature mostly contains inductive definitions when the notion is...
Русская версия здесь Revision 3 Original '2019 Revision 1 version published in Recht Innovative 01-2019 1 Currently, there is no widely accepted definition for Computational Law. The term itself also has several related, often almost synonymous forms: AI in Law, Computational Legal, Artificial Legal Intelligence, etc. The literature mostly contains inductive definitions when the notion is...
English version is available 1 В настоящее время для Вычислительного права не существует широко принятого определения. Сам термин также имеет несколько родственных, часто используемых почти как синонимы: Computatonal Law, AI in Law, Computational Legal, Artificial Legal Intelligence и пр. В литературе встречаются в основном индуктивные определения, где понятие фиксируется как зонтичный термин...
English version is available 1 В настоящее время для Вычислительного права не существует широко принятого определения. Сам термин также имеет несколько родственных, часто используемых почти как синонимы: Computatonal Law, AI in Law, Computational Legal, Artificial Legal Intelligence и пр. В литературе встречаются в основном индуктивные определения, где понятие фиксируется как зонтичный термин...
Есть гипотеза (или уж не гипотеза, а принятый факт), что разум примата развился в человеческий в значительной мере по причине наличия рук - свободных конечностей, которые предоставляют особый манипулятивный (от manus, рука) доступ к миру. То бишь, фронтальное расположение глаз, дающее особую оптику, и возможность подносить к ним предметы руками дали приматам больший и более богатый опыт...
Из работы на тему теории прототипов, как опереть юридический язык на "prototypical perceptual semantics" (это сами переводите): "Каким-то образом требование о том, что экземпляр концепции должен быть «подобен» прототипу (своего рода «горизонтальное» ограничение), кажется, усиливает требование о том, что образец должен быть помещен на некоторый определенный уровень иерархии концепта (своего...
Доступна русская версия. December speech by Daniel Greenwood, the Head of Computational Law R&D at MIT. [youtube:AjXtIA4f9j4] The speaker clearly outlines objectives of Computational Law; on the other hand I do not agree with how the boundaries of the discipline are defined. This is the neopositivist mainstream to bring it all down to language and semantics: let's split laws into semantic...
Доступна русская версия. December speech by Daniel Greenwood, the Head of Computational Law R&D at MIT. [youtube:AjXtIA4f9j4] The speaker clearly outlines objectives of Computational Law; on the other hand I do not agree with how the boundaries of the discipline are defined. This is the neopositivist mainstream to bring it all down to language and semantics: let's split laws into semantic...
English version available Декабрьское выступление главы law.mit.edu Daniel Greenwood. Он там с одной стороны неплохо очерчивает задачи computational law, но я не согласен с тем, как он определяет границы дисциплины. У него, и это позитивистский мэйнстрим, всё упирается в семантику: давайте нарежем законы на семантические атомы, а потом будем связывать его логикой, статистикой, онтологиями,...