IntegrationWays.md

DRAFT DISCLAIMER: это всего лишь черновой документ, описывающий возможные способы итеративного внедрения этой системы.

Здесь предоставлен далеко не исчерпывающий список возможностей. Я вполне допускаю возможность существования куда более эффективных подходов, но описал пока что только те, до которых додумался на данный момент:)

Инженерно-сервисный

Государственный вариант

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

Для граждан это будет выглядеть приблизительно так:

1. Открываем веб-сайт/приложения этого сервиса
2. Аутентифицируемся в нём (способов может быть масса)
3. Создаём договор на формальном языке (выбрав один из предсозданных или загрузив свой)
4. Добавляем остальных участников договора
5. Каждый участник подтверждает своё участие - с этого момента договор вступает в юридическую силу
6. Когда кто-то из участников выполняет взятое на себя обязательство, он вносит это в систему (условно нажимает кнопку "это я сделал")
   1. остальные участники подтверждают или опровергают выполнение обязательства
7. Если все участники выполнили взятые на себя обязательства, договор считается выполненным
8. В любой момент любой из участников договора может нажать кнопку "Подать в суд"
   1. все данные собранные в системе (как-то подтверждения/опровержения выполнения обязательств) + дополнительные данные, добавленные участниками в свзяи с разбирательством передаются судье
   2. судья должен проанализировать пришедшие данные и класифицировать правдивость или ложность подтверждений/опровержений
   3. если предоставленных данных не хватает, судья может запросить уточнение или даже назначить очный суд
   4. по итогу, судья выставляет конечные статусы всем обязательствам (выполнено/не выполнено) и договор разрешается автоматически в соответствии с его внутренними пунктами и действующим законодательством

Цели:

1. Упрощение процесса заключения договоров
2. Улучшение арбитражной роли государства
3. Потенциальное уменьшение коррупции в судах
   1. Судья может выбиратся случайно и быть анонимным для участников
   2. Дело может передаваться сразу группе (2-3, например) судей, где каждый не знает друг друга. Каждый из них выносит своё решение не видя решений других судей, и в случае несовпадения решения, может быть привлечён более квалифицированный судья для того, что бы:
      1. Вынести окончательное решение
      2. Принять решение, стоит ли кому-то из ошибившихся судей пройти проверку/переатестацию
   3. Судьи иногда могут получать фейковые дела (с известным правильным результатом) для ongoing тестирования их компетенции и честности
      1. Пул фейковых дел для тестирования может собираться из уже решенных в прошлом для максимально объективных результатов таких тестов
   4. Фигуранты дела могут быть анонимны (для случае, когда личность подающего не имеет решающего значения для дела)
4. Для некоторых типов договоров налогооблажение может быть автоматическим
5. Для некоторых типов договоров (связанных например с услугами или куплей-продажей) государство может выступить стороной гарантированно передающей оплату (самостоятельно или через коммерческие банки) за товар/услугу
6. Сбор данных по типам проводимых сделок для последующего анализа и прогнозирования

Необходимо:

1. Сам формальный язык + документация к его использованию
2. Набор типичных договоров
3. Сам сервис
   1. Веб/моб/десктоп приложение для субъектов
   2. Веб/моб/десктоп приложение для судей
4. Законопроект (пока что на естественном языке =/) дающий юридическую силу таким договорам и регламентирующий работу судей в такой системе

Желательно:

1. Инструмент перевода договора с формального языка на естественный
2. Инструмент перевода договора с естественного языка на формальный

Общественный вариант

Тоже самое, что и предыдущий со следующими изменениями:

1. Сервис не обязательно государственный
2. Нет ускоренной процедуры разрешения спора в суде
3. Источник истины всё ещё документ на естественном языке
4. Сервис умеет генерировать необходимые документы (сам договор, дополнения к нему, необходимые акты и т.д.) на естественном языке из формального описания

Преимущества:

1. Нет необходимости вносить и принимать новые законопроекты
2. Есть возможность обкатать систему с минимум побочных эфектов
3. В любой момент можно перейти к государственному варианту

Недостатки:

1. Инструмент перевода договора с формального языка на естественный становиться обязательным условием
2. Улучшение арбитражной функции государства не происходит
3. Уменьшения корупции в судах не происходит

Экспертно-политический

В первой итерации этого подхода создаются инструменты для экспертного сообщества, с помощью которых они могут анализировать законодательные инициативы и проще создавать новые.

Для экспертного сообщества и граждан это будет выглядеть приблизительно так:

1. Открываем веб-сайт/приложения этого сервиса
2. Загружаем/выбираем законопроект на естественном или формальном языке
   • если законопроект описан на естественном языке, то переводим его на формальный в автоматическим (или полуавтоматическом) режиме
3. Запускаем процесс анализа законопроекта (условно нажимаем кнопку "анализировать")
4. В результате получаем отчёт, где для этого законопроекта указаны:
   1. Не соответсвия Конституции
   2. Не соответсвия (конфликты) другим проанализированым законопроектам
   3. Места требующие уточнения

Цели:

1. Улучшение прозрачности и понятности законодательной деятельности для обывателя
2. Увеличение продуктивности для экспертного сообщества
3. Увеличение продуктивности для депутатского корпуса
4. Уменьшение внутренней противоречивости
5. Постепенный перевод всей законодательной базы в машиночитаемый формат, что радикально увеличивает возможности для анализа

Необходимо:

1. Сам формальный язык + документация к его использованию
2. Проведение лексического и семантического анализа какой-нибудь Конституции (например, Украины, США, Германии или России), а возможно и нескольких для того что бы выявить терминологическое ядро и основные конструкции
3. Описание конституции с помощью формального языка
4. Автоматический (или полуавтоматический) переводчик законопроектов с естественного на формальный язык
5. Автоматический генератор законопроектов, переводящий формальный язык на естественный
6. Сам сервис

Желательно:

1. Интеграция с базой принятых в парламенте законопроектов
2. Интеграция с системой контроля версий

Экономико-фискальный

В первой итерации этого подхода создаются инструменты для налоговой и налогоплательщиков, с помощью которых упрощается налогооблажение и увеличивается его прозрачность.

Инструменты:

1. Интерактивный справочник-калькулятор, который позволяет легко и быстро определить кто и сколько должен заплатить налогов в конкретной ситуации
2. Генератор налоговой отчётности для предприятий и физ. лиц с возможностью импорта данных из популярных программ бухгалтерского учёта или ERP систем (например 1С, SAP, Microsoft Dynamics и другие).

Цели:

1. Упрощения ведения бух. учёта за счёт отсутствия необходимости подстраиватся под налоговый кодекс
2. Увеличение прозрачности налоговой системы за счёт исключения внутренних противоречий в налоговом кодексе
3. Уменьшение человеческого фактора в процессе налогооблажения, и как следствие:
   1. Уменьшение издержек на содержание налоговой
   2. Уменьшение уровня коррупции
   3. Уменьшение давления на бизнесс со стороны налоговой
   4. Уменьшение затрат на бухгалтерию (особенно критично для малого/среднего бизнесса)
4. Улучшение качества данных собираемых налоговой т.к. появиться привязка не только к виду налога, а конкретным совершаемым действиям предприятий/лиц, что позволит:
   1. Существенно упростить и намного больше автоматизировать (возможно, вплоть до realtime) расчёт макроэкономических показателей
   2. Упростить проведение сравнительного анализа
   3. Спустя какое-то время строить более точные модели для прогнозирования последствий изменения налоговой политики

Необходимо:

1. Сам формальный язык + документация к его использованию
2. Переведение налогового кодекса с естественного языка в формальный
3. Сами инструменты

Желательно:

1. API для банков и предприятий для полной автоматизации налогооблажения хотя бы в тривиальных случаях

Научно-теорeтический

Этот подход подразумевает создание формальной системы (в математическом определении этого термина) на основе идей изложеных здесь, что позволит создать научную теорию на стыке юрисприденции и математики.

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

К сожалению, данный метод сам по себе не даёт никаких практических результатов. Но он даёт возможность улучшить качество других подходов за счёт создания научной базы под ними.