Вычислительное право
Вычислительное право исследовательская дисциплина и группа знаниевых технологий для поддержки практик права и юриспруденции, со следующими задачами:
1. представление правого и другого необходимого предметного знания в виде функций, вычислимых на машине Тьюринга;
2. анализ, алгоритмический вывод, и синтез правового знания;
3. представления результатов вывода в виде, пригодном для использования человеком или другими машинами. цель: автоматизированное управление жизненным циклом исполняемого правового знания для поддержки общественных практик
СВЕРХЗАДАЧА ДЛЯ ВЫЧИСЛИТЕЛЬНОГО ПРАВА
Автоматизированное управление жизненным циклом правового знания в обществе:
1. Создавать право: конструировать правила для целесообразного регулирования общественных отношений в соответствии с нуждами общества. Робот-законодатель
2. Обслуживать право: поддерживать строгость синтаксиса, непротиворечивость семантик, структуру представлений, версионность и трассируемость. Робот-законодержатель
3. Усматривать право: определять возникновение ситуации правового регулирования. Робот-законосмотритель
4. Вычислять право: определять форму правового регулирования с учётом всех предпосылок, контекста, процесса. Робот-законовычислитель
5. Применять право: определять, как необходимая абстрактная правовая норма должна быть применена в конкретной практической ситуации. Робот-законоприменитель
«Вычислительное право. Состояние, задачи, проблемы». Презентация с выступлений
Посмотрите запись, чтобы узнать подробности
anticomplexity.org
https://anticomplexity.org/ongoing-r-d