Рубрика: вычислительное право

2

«A Common Legal Platform»: новый закон на новых технологиях

«A Common Legal Platform» — концептуальная архитектурная разработка коллектива под названием Liquid Legal Institute e.V.  Сходу заявляют о своём радикализме в отношении цифровой трансформации закона: The legal ecosystem must reinvent itself, while also reflecting the particular importance of law. Этот радикализм, подозреваю, скрыто исповедуют многие из тех, кто занимается разработкой...

0

X2RL: попытка MIT создать новый стандарт представления регуляторных данных

Вышел очередной отчёт лаборатории вычислительного права MIT: Drafting X2RL: A Semantic Regulatory Machine-Readable Format. Исследователи MIT вводят новый формат представления регуляторных данных: X2RL (eXtensible Regulatory Reporting Language), с попыткой преодолеть ограничения существующих в Штатах и для американского контекста (в Европе иные) синтаксических форматов USLM и Akoma Ntoso. Главные цели определены...

0

Логика в вычислениях нормативных позиций

Sergot M., A Computational Theory of Normative Positions. Логические формализмы вроде презентованного здесь читать непросто, да и не очень интересно. Интересны границы метода. Например, ввод-вывод в формализм. Приведённый ниже отрывок взят из примера практического использования логики (формализм Norman-G): Note [2]. We are supposing for the purpose of the example that...

0

Эпистемичные способности rdf и SPARQL

Заметка на полях исследований стека технологий для дейцентричного процессинга. Оператор negation в спецификации SPARQL проявляет интересную проблему с интеграцией разноуровневых онтологий и эпистемических вычислений. Данные, представленные в блоке «Data»-  текущая онтика, набор фактов, организованный в соответствии с какой-то онтологией (О1). По факту там несколько онтологий импортировано (example, rdfs, foaf), но...

0

Масштабирование нормативного логического вывода

Нашел приличное количество публикаций на тему масштабирования логического и онтологического нормативного вывода. Проект MIREL из Университета Люксембурга, Университет Болоньи и прочие прорабатывают вопрос «как обрабатывать огромные количества данных с огромным количеством правил». Не нашёл пока работающих систем, хотя упоминания про то, что прототип вывели в коммерческую эксплуатацию, есть. Вместо заявленных...

0

Зима и лето в европейских исследованиях правовых вычислительных онтологий

В период с середины 1990-ых и где-то по начало 2010-ых институты Европейского Союза финансировали несколько попыток формализовать законотворчество и обмен правовой информацией, включая проекты по созданию опорной онтологии права, как базиса для обмена правовой информацией на семантическом уровне. Стандарты синтаксического уровня (как нарезать текст законов на блоки, связывать их квалифицированными...

0

Закрытый Smart Contract Stack проекта OpenLaw

Гарвардский (Berkman Klein Center for Internet & Society at Harvard Law School) проект OpenLaw заявляется, как платформа для создания «полностью цифровых, юридически значимых активов без необходимости кодировать» (purely digital, legal-enforceable assets with no coding necessary). По факту — проект пытается выйти из атомарной простоты протоколов чейна (Etherium), ориентированных исключительно на...

4

Дейцентричные онтологии

Ключевое направление моих текущих исследований: поиск метода представления исполняемого знания в вычислимой форме разработка необходимой для этого теоретической и инженерной инфраструктуры. Где «Исполняемое знание» Знание из предметных областей с высокой степенью сложности, тех, что чаще относят к гуманитарному, социальному или психологическому полю. Для  «физической» 4D-инженерии, где объекты хорошо фиксируются и...

0

«Online Courts and the Future of Justice» R.Susskind (2019). Конспект-перевод

По изданию R.Susskind «ONLINE COURTS and THE FUTURE OF JUSTICE», Oxford University Press 2019. Конспектирование и перевод: Егор Чурилов ix Я часто шучу, что пишу одну и ту же книгу каждые 4 года 1 Introduction В 2039 моя внучка Роза будет 21-летней. Я оптимистичен, грядут трансформации и агитировать кого-то за...

0

Минская Лаборатория Вычислительного Права

Минская Лаборатория Вычислительного Права Minsk Computational Law Laboratory В ближайшее время в Минске состоится установочное собрание Лаборатории Вычислительного Права. Область исследований Вычислительного Права — это в первую очередь поиск формальных, вычислимых представлений правового знания, позволяющих сетям естественных и искусственных интеллектуальных агентов эффективно оперировать такими представлениями в общей деятельности. Дальняя цель...