1 Основные тезисы...................................................................15
1.1 Неэффективность права........................................................ 16
1.2 Основная гипотеза об автоматизации права........................17
1.3 Задачи автоматизации права ............................................... 18
1.4 Признаки машиночитаемых норм.......................................... 21
1.5 Подходы к автоматизации права в мире ............................ 22
1.6 Наш подход к автоматизации права...................................... 24
1.6.1 Фреймворк.............................................................................. 24
1.6.2 Автоматизация новых, а не существующих норм……..26
1.6.3 Машиночитаемые нормы как источник права…………..27
1.7 Правоотношения, которые могут быть автоматизированы ........................................................................................................... 29
1.8 Политико-правовые аспекты автоматизации права…... 31
1.9 Этические вопросы автоматизации права....................... 32
2 Неэффективность права ......................................................34
2.1 Неэффективность норм на естественном языке .......... 36
2.2 Неэффективность ручного исполнения норм человеком. 38
2.3 Дополнительные последствия.............................................. 39
3 Зачем нам право как электричество .......................................41
3.1 Совместимость права с новым миром................................ 42
3.2 Точность и предсказуемость правоприменения ................ 46
3.2.1 Предсказуемость права для бизнеса................................ 48
3.2.2 Предсказуемость права для государства......................... 49
3.3 Экономия ресурсов................................................................ 51
3.4 Скорость правоотношений .................................................. 58
3.5 Автоматическая защита ....................................................... 64
3.6 Доступ к праву для всех........................................................ 66
3.7 Создание совместимых продуктов ..................................... 70
3.7.1 Скорость и стоимость....................................................... 70
3.7.2 Надёжность.........................................................................71
3.7.3 Риски сбоев .......................................................................72
4 Автоматизация в мире.............................................................75
4.1 Уровни автоматизации..........................................................77
4.1.1 Статус документа и мета-разметка .................................78
4.1.2 Алгоритмизация процессов ............................................79
4.1.3 Сравнение норм................................................................79
4.2 Продукты............................................................................. 80
4.2.1 Россия.............................................................................. 80
4.2.2 Эстония............................................................................ 81
4.2.3 Другие страны ................................................................ 83
4.2.4 Плюсы ............................................................................. 84
4.2.5 Минусы............................................................................ 84
8 4.3 Программирование права........................................... 85
4.3.1 Новая Зеландия ............................................................ 86
4.3.2 Стэнфорд........................................................................87
4.3.3 Accord Project ................................................................. 88
4.3.4 OpenLaw (Гарвард)........................................................ 90
4.3.5 Data61 ............................................................................... 91
4.3.6 OpenFisca........................................................................ 92
4.3.7 Плюсы ............................................................................. 93
4.3.8 Минусы............................................................................ 93
4.4 Языки юридического программирования...................... 94
4.4.1 Legalese........................................................................... 95
4.4.2 Solidity ............................................................................. 95
4.4.3 eGaaS............................................................................... 96
4.4.4 Legal Knowledge Interchange Format (LKIF) ...................97
4.4.5 Плюсы .............................................................................. 99
4.4.6 Минусы............................................................................100
4.5 Мета-разметка права........................................................101
4.5.1 LegalXML ........................................................................102
4.5.2 Плюсы .............................................................................105
4.5.3 Минусы...........................................................................105
4.6 «Искусственный интеллект»............................................106
4.6.1 Сильный ИИ....................................................................106
4.6.2 Слабый ИИ (Machine Learning) ....................................107
4.6.3 Примеры использования ИИ ........................................108
9 4.6.4 Плюсы ..........................................................................110
4.6.5 Минусы............................................................................111
5 Как автоматизировать право.............................................. 112
5.1 Целевые характеристики машиночитаемых норм ….......113
5.1.1 Однозначная интерпретация правовых норм………….114
5.1.2 Совместимость машиночитаемых правовых норм ......115
5.1.3 Совместимость норм с внешней информацией116
5.1.4 Возможность автоматического влияния норм на внешние системы и вещи...........................................................................................117
5.1.5 Совместимость машиночитаемых норм с существующими нормами и процессами ....................................................................................................118
5.1.6 Масштабируемость .........................................................118
5.2 Фреймворк ..........................................................................119
5.2.1 Основа фреймворка.......................................................120
5.2.2 Алгоритмизация..............................................................121
5.2.3 Онтологии.......................................................................123
5.2.4 Данные для автоматизированного права....................125
5.2.5 Новая юридическая техника и методы разработки регулирования........................................................................127
5.2.6 Человек в системе .......................................................128
5.3 Автоматизация существующих или новых норм..........130
5.3.1 Сложности автоматизации старых норм...................130
5.3.2 Автоматизация новых норм...................................... 137
10 5.3.3 Тупики в работе машиночитаемого права..........140
5.3.4 Инкорпорация элементов старых и новых норм….141
6 Алгоритмизация.............................................................. 143
6.1 Возможности..................................................................144
6.1.1 Императивное и объектно-ориентированное программирование ..............................................................................................144
6.1.2 Функциональное программирование........................151
6.1.3 Логическое программирование ..............................155
6.1.4 Скриптовые языки программирования...................161
6.1.5 DSL и языки программирования 5 поколения…….162
6.2 Ограничения.................................................................166
6.2.1 Алгоритмическая разрешимость машиночитаемого права.....................................................................................166
6.2.2 Проблема остановки конкретной программы, созданной на основе машиночитаемого права, неразрешима..............................171
7 Машинное обучение ........................................................173
8 Онтологии ......................................................................... 176
8.1 Возможности................................................................... 177
8.2 Ограничения...................................................................183
9 Данные для автоматизации.............................................186
10 Другие элементы фреймворка ......................................188
10.1 Роль людей...................................................................189
10.1.1 Экспертный контроль за работой системы ………..189
10.1.2 Ввод специальных данных в систему экспертом….190
10.1.3 Принятие специальных решений в системе экспертом .................................................................................................191
10.1.4 Исполнение специальных норм экспертами или гражданами.............................................................................193
10.1.5 Обычные пользователи системы...............................194
10.2 Создание норм...............................................................196
10.2.1 Новая юридическая техника......................................196
10.2.2 Новые методы регулирования и разработки………..199
11 Нетехнические аспекты автоматизации202
11.1 Ограничения естественного языка ..............................204
11.1.1 Неоднозначность.........................................................205
11.1.2 Латентность ................................................................207
11.1.3 Избыточность.............................................................208
11.2 Политико-правовые аспекты.........................................210
11.2.1 Устранение противоречий и пробелов.......................210
11.2.2 Правовой режим машиночитаемого права…….......211
11.2.3 Совместимость автоматизации с общими правовыми институтами............................................................................212
11.3 Этические вопросы........................................................215
11.3.1 Законотворчество.......................................................215
11.3.2 Правоприменение......................................................217
11.3.3 Соблюдение и исполнение норм..............................219
12 Совместимость норм с автоматизацией221
12.1 Почему мы рассматриваем нормы? ..........................223
12.2 Что такое «оценка потенциала автоматизации»?.....225
12.3 Признаки норм, влияющие на автоматизацию..........227
12.3.1 Признаки, вытекающие из правового содержания нормы...................................................................................228
12.3.2 Признаки, вытекающие из юридической техники ..............................................................................................231
12.3.3 Признаки норм, существующие в системе других норм.......................................................................................234
12.4 Функциональные виды норм.......................................235
12.4.1 Нормы и метанормы................................................236
12.4.2 Концептуальные нормы ......................................... 237
12.4.3 Атрибутивные нормы ..............................................239
12.4.4 Особенности регулятивных норм ..........................241
12.4.5 Регулятивные нормы...............................................243
12.5 Оценка потенциала автоматизации.........................246
12.5.1 Факторы ..................................................................246
12.5.2 Вес............................................................................249
12.5.3 Формула оценки.......................................................250
12.5.4 Пример расчета.......................................................251