01
Моделирование знания
Как представить не только сведения, но также нормы, условия, исключения, применимость и происхождение вывода.
Пн - Пт с 10:00 до 19:00
CyberCustoms · исследовательский контур
Исследования и публикации
Материалы о цифровом представлении таможенного знания, Единой таможенной грамматике, правовой памяти и воспроизводимом применении норм к конкретным обстоятельствам.
Публикации отражают развивающуюся исследовательскую позицию проекта.
Технические реализации и формальные модели уточняются по мере проверки гипотез.
Публикации
Основная серия текстов последовательно переходит от проблемы цифрового представления таможенной сферы к архитектуре знания и минимальной операциональной единице.
От моделей таможенных данных к моделям таможенного знания: пределы существующих подходов к цифровому представлению таможенной сферы →
Постановка проблемы: почему структурированных данных недостаточно для воспроизводимого представления таможенного знания и правоприменения.
Рабочая версия
Единая таможенная грамматика как универсальная модель представления таможенных знаний →
Метамодель, связывающая сущности, атрибуты, отношения, правила, источники, применимость, доказательства и след исполнения.
Рабочая версия
Цифровое таможенное высказывание в структуре Единой таможенной грамматики →
Описание минимальной завершённой единицы машинно-представленного таможенного знания и её места в архитектуре системы.
Рабочая версия
Темы исследования
Проект находится на пересечении таможенного права, инженерии знаний, формальных моделей, искусственного интеллекта и практики таможенного оформления.
02
Цифровое правоприменение
Как соединять факты конкретного случая с действующими нормами, не смешивая документальную и нормативную истину.
03
Трассируемый ИИ
Как ограничить роль языковой модели поиском, оркестрацией и объяснением, сохранив доказуемость результата.
Рабочий подход
Исследование развивается вместе с прототипом. Теоретические конструкции проверяются на данных, правовых источниках, классификационных задачах и исполнимых контрактах.
ФормулировкаОпределение проблемы, терминов и границ гипотезы.
ФормализацияКонтракты, модели данных, типы отношений и состояния.
РеализацияПарсеры, правовая память, workflow и контрольные примеры.
ПроверкаПоиск противоречий, неполноты и границ автоматизации.
Материалы проекта
Страница будет дополняться статьями, докладами, презентациями и описаниями проверяемых исследовательских гипотез.