Российская компания представила LOGOS-k - новый язык программирования
6 января 2026 года российская компания DST Global и исследовательский проект A-Универсум представили LOGOS-k — специализированный язык программирования и среду исполнения для работы с динамическими онтологиями и структурированного взаимодействия с системами искусственного интеллекта. В отличие от традиционных языков программирования, LOGOS-κ оперирует не переменными и функциями, а семантическими сетями, где связи между понятиями являются объектами первого класса с собственным состоянием и поведением.
1. Решение проблемы статических онтологий
Современные системы представления знаний (такие как OWL, RDF, SPARQL) страдают фундаментальным ограничением: они описывают статические отношения между сущностями, но не могут моделировать процессы их трансформации во времени. С другой стороны, языковые модели (LLM) способны генерировать динамический контент, но лишены структурной памяти и системного контроля над своими выводами.
LOGOS-κ предлагает архитектурное решение этой проблемы через три ключевых принципа:
1. Динамические графы знаний: Сущности и связи существуют как активные объекты с состоянием, историей изменений и метриками уверенности.
2. Транзакционное взаимодействие с ИИ: Специализированный оператор Φ обеспечивает структурированный вызов LLM с автоматической валидацией результатов.
3. Полная воспроизводимость: Каждое изменение графа фиксируется как неизменяемое событие с контекстом выполнения.
2. Архитектура и базовые примитивы
Ядро LOGOS-κ построено вокруг концепции `EnhancedActiveContext` — динамического направленного графа, где каждое ребро является объектом класса `OntologicalRelation` с атрибутами:
- `certainty` (уверенность в валидности связи, 0.0–1.0)
Система управляется шестью базовыми операторами, реализованными как методы трансформации графа:
2.1. Оператор Α (Alpha) — Инициализация
(Α "концепция" :тип "абстракция" :уверенность 0.8) Создаёт новый узел в графе. Технический аналог: `graph.add_node(name, attributes)`.
2.2. Оператор Λ (Lambda) — Установление связи
(Λ "источник" "цель" :тип "влияет" :сила 0.7) Создаёт направленное ребро между узлами. Если узлы не существуют, автоматически инициализирует их (ленивая инициализация).
2.3. Оператор Σ (Sigma) — Синтез
(Σ "факт_А" "факт_Б" :имя "гипотеза_С") Генерирует новый узел как эмерджентный результат соединения двух или более существующих сущностей. Автоматически устанавливает связи типа "является_компонентом".
2.4. Оператор Ω (Omega) — Диагностика
(Ω "подграф" :параметр "когерентность") Анализирует состояние графа или его части, вычисляя метрики:
(∇ "целевой_узел" "Ω_результат") Применяет результаты диагностики (инварианты) для оптимизации графа: усиливает значимые связи, разрешает конфликты, повышает общую когерентность.
2.6. Оператор Φ (Phi) — Диалог с ИИ
(Φ "Сформулируй гипотезу на основе данных" :контекст "исследовательский_вопрос"
:порог_NIGC 0.7)
Структурированный вызов языковой модели с четырёхфазным протоколом.
3. Протокол взаимодействия с ИИ: от API к транзакциям
Оператор Φ реализует транзакционный подход к работе с LLM, состоящий из четырёх обязательных фаз:
Фаза 1: Подготовка контекста
Система автоматически собирает релевантный подграф, метаданные и явно указывает "слепые зоны" (области неопределённости).
Фаза 2: Структурированный вызов
Формируется промпт, включающий:
- Семантический контекст (подграф в машиночитаемом формате)
- Чёткую постановку задачи
- Ограничения и требования к ответу
Фаза 3: Валидация по критерию NIGC
Ответ модели оценивается по трём измеряемым параметрам:
1. Непредсказуемость (Unpredictability): Ответ не является тривиальным повторением запроса или известных шаблонов.
2. Рефлексивность (Reflexivity): Модель демонстрирует понимание контекста и признаёт границы своих знаний.
3. Эмерджентность (Emergence): Ответ содержит новые концепты или связи, отсутствовавшие в исходном графе.
Каждый параметр получает оценку 0.0–1.0, общий NIGC-скор вычисляется как среднее значение.
Фаза 4: Интеграция результата
- Если `NIGC ≥ 0.7`: Ответ парсится, извлекаемые сущности и связи добавляются в граф как новые узлы и рёбра.
- Если `NIGC < 0.7`: Ответ сохраняется только как строковый атрибут существующих узлов (журналирование без изменения топологии).
Этот механизм предотвращает "захламление" графа тривиальными или противоречивыми выводами ИИ.
4. Техническая реализация и системные гарантии
4.1. Event Sourcing и воспроизводимость
Каждое изменение в системе регистрируется как объект `OntologicalEvent`, содержащий:
- Точную временную метку
- Состояние графа до и после изменения
- Идентификатор оператора
- Φ-метаданные (намерение, контекст)
- Значения метрик когерентности
Это обеспечивает полную воспроизводимость любых экспериментов и транзакций.
ABSOLUTISM_KEYWORDS = {"всегда", "никогда", "единственный", "абсолютно"} Попытка создать утверждение с этими ключевыми словами вызывает `OntologicalLimitError`.
Система непрерывно вычисляет метрики "здоровья" графа:
- Когерентность: Мера согласованности связей (1.0 = идеальная связность)
- Напряжение: Количество семантических конфликтов и циклов
- Активность: Темп создания новых сущностей и связей
- Стабильность: Тренд изменения когерентности во времени
При снижении когерентности ниже порогового значения система может автоматически инициировать Ω-анализ и ∇-оптимизацию.
5. SemanticDB: стандартизированный экспорт и интероперабельность
LOGOS-κ реализует принципы FAIR (Findable, Accessible, Interoperable, Reusable) и CARE (Collective Benefit, Authority, Responsibility, Ethics) для научных данных.
Модуль `semantic_db/serializer.py` обеспечивает экспорт в четыре формата:
1. YAML: Человекочитаемые отчёты о сессиях
2. JSON-LD: Семантическая разметка для интеграции с Linked Data
3. Turtle (.ttl): Стандартный RDF-формат
4. GraphML: Визуализация и анализ в инструментах типа Gephi, Cytoscape
Каждый экспорт включает:
- Полный провенанс (историю изменений)
- Метаданные о используемых моделях ИИ
- Результаты NIGC-валидации
- Информацию о лицензировании и условиях использования
LOGOS-κ представляет собой не просто ещё один язык программирования, а законченную архитектуру для работы со знаниями в эпоху искусственного интеллекта. Его ключевые инновации:
1. Динамические онтологии: Переход от статического описания к исполняемым моделям трансформации знаний.
2. Измеряемое взаимодействие с ИИ: Количественные метрики качества генерации вместо субъективных оценок.
3. Встроенная верифицируемость: Полная воспроизводимость всех операций через event sourcing.
4. Стандартизированная интероперабельность: Готовность к публикации по стандартам открытой науки.
Для исследователей ИИ LOGOS-κ предлагает структурированную среду тестирования генеративных способностей моделей. Для инженеров знаний — инструмент построения "живых" онтологий, эволюционирующих по заданным сценариям. Для специалистов по данным — платформу создания само-документируемых экспериментов с автоматическим экспортом в научные форматы.
Проект находится на ранней стадии развития, но уже демонстрирует потенциал для трансформации того, как мы формализуем, развиваем и валидируем сложные системы знаний в условиях неопределённости. Исходный код, манифест и полная документация доступны на https://github.com/a-universum/logos-k
Провайдер коммуникационных сервисов «Телфин» расширил возможности телеком-сети брокерской компании «Рекорб». Благодаря пулу многоканальных номеров, а также новым сервисам виртуальной АТС «Телфин.Офис» в связке с системой «Битрикс24» удалось полностью исключить потерю входящих запросов и настроить мгновенные уведомления с указанием источников в общий чат компании.
Компания «Блазар» продолжает реализовывать стратегию развития системы контроля сетевого доступа Blazar NAC, ориентируясь на потребности крупных корпоративных клиентов.
«эВ-групп» автоматизировал кадровый документооборот на базе платформы HRlink, что позволило в разы ускорить оформление работников, сократить объем ручных операций и унифицировать кадровые процессы в масштабах всего холдинга.
Компания «Криогаз» совместно «1С‑Рарус» перевела регламентированный учет с «1С:Управление производственным предприятием» на «1С:Управление холдингом 8». Проект позволил вдвое сократить время для сведения данных за месяц и на 20% ускорить формирование отчетности. Обеспечен корректный расчет себестоимости продукции с учетом специфики энергозатратного производства.
Российский разработчик решений в области киберустойчивости UDV Group отмечает: снижение цены входа в киберпреступность повышает риски для компаний любого масштаба. Готовые инструменты, RaaS-платформы, фишинговые наборы и рынок первичного доступа увеличивают число атак, а для бизнеса последствия успешного инцидента выражаются в простое, выкупе, утечках и долгом восстановлении.
Сергей Семикин, СЕО российского производителя оборудования “ГИГАНТ — Комплексные системы”рассказал о том, что квантовая угроза — это вопрос национальной безопасности, а не только ИБ-отдела, и что данные можно перехватывать сейчас для расшифровки в будущем (Q-Day).
Российский разработчик решений в области киберустойчивости UDV Group предупреждает о рисках неизвестных уязвимостей для бизнеса. Эксперт компании Иван Бурмистров объяснил, как организациям действовать до выхода исправления, сохранить доказательства атаки и не вернуть злоумышленника в сеть вместе с восстановленной системой.
Компания iSpring, разработчик решений для корпоративного онлайн-обучения, вошла в число крупнейших ИТ-компаний России по итогам 2025 года в ежегодном рейтинге CNews500. Выручка компании выросла на 30% по сравнению с 2024 годом.
В компании «Андагар» стартовала серия внутренних митапов, посвященных практическому использованию искусственного интеллекта.
На первой встрече и сотрудники, и руководители компании поделились личным опытом работы с современными ИИ-инструментами, обсудили успешные кейсы, ограничения различных моделей и обменялись полезными лайфхаками, которые уже помогают в ежедневной работе.
«Ренессанс Банк» успешно развивает свою цифровую экосистему. Банк активно внедряет передовые технологии автоматизации кредитования, управления рисками, клиентских сервисов и регуляторной отчётности. Ключевым ИТ-партнером банка на протяжении более чем двух десятилетий выступает компания Neoflex.
Гравитон» совместно со своим золотым партнером — системным интегратором «Бизнес Поставка» — объявили об открытии демоцентра во Владивостоке. Площадка разместилась в главном офисе «Бизнес Поставки».
«Наносемантика», ведущий российский разработчик решений на основе нейросетей, представила Quorum ‒ новую корпоративную платформу для автоматической транскрибации, протоколирования и анализа встреч. Решение разворачивается в закрытом контуре компании (on-premise), поэтому записи и результаты обработки не покидают корпоративную инфраструктуру.
