27 и 30 марта 2026 года в Московском государственном университете имени М. В.Ломоносова в рамках общеуниверситетской научной конференции «Ломоносовские чтения–2026» прошла секция «Инженерия знаний и доверенный искусственный интеллект для сложных систем». Пленарное заседание и подсекция «Инженерия знаний и проверяемые корпуса знаний» состоялись 27 марта на факультете искусственного интеллекта МГУ; подсекция «Доверенный искусственный интеллект: качество, устойчивость, безопасность, оценка и валидация» прошла 30 марта. Оба заседания открыл академик Российской академии наук и Российской академии образования, профессор, руководитель Лаборатории инженерии знаний ИМИСС МГУ Алексей Львович Семенов.
Секция была выстроена как единый научный контур, соединивший вопросы инженерии знаний, проверяемых корпусов знаний, онтологического моделирования, больших языковых моделей, а также проблематику качества, устойчивости, безопасности, оценки и валидации интеллектуальных систем. Именно в таком сочетании на площадке Московского университета обсуждались как фундаментальные основания доверенного искусственного интеллекта, так и его прикладные контуры — от лингвистических и математических задач до автоматизированного проектирования, программной безопасности и космической деятельности.
Пленарное заседание 27 марта открылось вступительным словом А. Л. Семенова, задавшим научную рамку всей секции. С пленарным докладом выступил декан факультета искусственного интеллекта МГУ, генеральный директор Института AIRI, профессор Российской академии наук И. В. Оселедец. В центре его выступления находились новые свойства интеллектуальных агентов и более широкий вопрос о характере взаимодействия современных систем искусственного интеллекта с человеком. Эта постановка задала тон дальнейшему обсуждению — от объяснимости и контролируемости моделей до их встраивания в сложные исследовательские и инженерные среды.
В подсекции «Инженерия знаний и проверяемые корпуса знаний» было представлено 13 докладов, охвативших широкий спектр фундаментальных и прикладных направлений. Алексей Сорокин представил доклад «Автоматическая генерация объяснений в задаче исправления грамматических ошибок с помощью обучения с подкреплением», показав перспективы соединения языковых моделей и механизмов объяснимости. Фёдор Садковский выступил с сообщением «RusHalluRAG: разработка набора данных и методов для обнаружения галлюцинаций в системах поиска и генерации ответов на русском языке», поставив одну из ключевых проблем современной языковой инженерии — выявление недостоверного или неподтверждённого содержания в системах ответов. А. С. Конушин представил доклад «Трёхмерная реконструкция для систем автоматизированного проектирования», посвящённый применению интеллектуальных методов к параметрическому описанию и реконструкции сложных объектов.
Значительное внимание участников привлёк доклад А. Н. Блинкова и А. А. Пичугова «Искусственный интеллект в космической деятельности и Лунных поселениях». В нём были поставлены вопросы применения интеллектуальных технологий в космическом контуре, включая орбитальные вычислительные мощности, энергетическую инфраструктуру для интеллектуальных систем на лунных базах, новые средства навигации и защиты информации, а также средства психоэмоциональной поддержки экипажей. Внешний информационный отклик на работу секции показал, что именно космическое направление, наряду с объяснимостью и инженерными приложениями искусственного интеллекта, стало одним из наиболее заметных сюжетов состоявшегося обсуждения.
Фундаментально-математическую и методологическую линию первой подсекции составили доклады А. М. Булкина и М. В. Шамолина «Физически-информированные алгоритмы стохастической оптимизации и прогнозирования в задачах с редкими событиями»; Г. П. Ковалева, М. М. Тихомирова и Н. В. Лукашевич «Обучение больших языковых моделей соблюдению национальных этических стандартов»; Г. В. Николаева и А. В. Хвостикова «Панорамирование изображений с интегрированной оптимизацией, специфичной для микроскопии»; М. В. Валинкина и С. Л. Кузнецова «Реляционные модели исчисления Ламбека с субэкспоненциалом локального сокращения»; Н. К. Верещагина «Локальные правила и иерархические замощения»; М. Е. Гонзюх и В. А. Любецкого «Алгоритмическая модель развития стволовой клетки на основе случайных процессов и кластеризация клеток на основе нейронных сетей»; Т. В. Купцова и Н. К. Верещагина «Полудуплексная коммуникационная сложность с честным противником»; А. В. Еремина и Л. Д. Беклемишева «Арифметическая семантика строго позитивных логик». В совокупности эти выступления показали, что секция ИМИСС МГУ стала пространством содержательного соединения инженерии знаний, математической логики, алгоритмических методов и высокосложных прикладных постановок.
Второе заседание, состоявшееся 30 марта, открыл А. Л. Семенов приветственным словом, после чего работа продолжилась в подсекции «Доверенный искусственный интеллект: качество, устойчивость, безопасность, оценка и валидация» под руководством Е. В. Зубаревой. В программе подсекции было представлено 12 докладов, сосредоточенных на одной из наиболее значимых задач современной интеллектуальной инженерии — формировании научно обоснованных подходов к надёжности, проверяемости и безопасности моделей и систем.
Первый блок второй подсекции был посвящён вопросам сертификации, верификации и устойчивости. Дмитрий Корж представил доклад «Методы сертификации моделей глубокого обучения». Никита Андриянов выступил с докладом «Непреднамеренное рассогласование посредством обучения в контексте: узкие контекстные примеры могут приводить к широкому рассогласованию больших языковых моделей». А. М. Миронов и К. К. Пчелин представили сообщение «Применение больших языковых моделей для анализа уязвимостей программного обеспечения». А. М. Миронов, К. В. Зиборов, Н. С. Бондарев и Ю. А. Янович выступили с докладом «Формальная верификация и устойчивость к цензуре протоколов византийского консенсуса на примере IBFT». А. М. Миронов и Д. К. Локтев представили доклад «Уязвимости в смарт-контрактах: анализ и способы их устранения». А. М. Миронов и Ш. М. Гаджиев выступили с сообщением «Усиление больших языковых моделей с помощью методов обучения с подкреплением: новые подходы и перспективы». Этот блок чётко обозначил, что доверенный искусственный интеллект в университетской повестке понимается не декларативно, а как предмет строгой научной и инженерной работы.
Второй блок подсекции был посвящён представлениям объектов, прикладным аналитическим постановкам и исследованию поведения языковых моделей. А. М. Колосов представил доклад «Методы построения представлений объектов с использованием внешней информации о свойствах наборов объектов». А. А. Изместьев и А. М. Колосов выступили с сообщением «Формирование торговых сигналов из новостного потока с помощью больших языковых моделей». Николай Жарков представил доклад «Формирование торговых сигналов из новостей на основе эмбеддингов: методология и оценка прогностической силы». К. А. Александров и А. М. Колосов выступили с сообщением «От одного промпта к библиотеке навыков: как способ разбиения цели влияет на качество выполнения в трёхмерной среде». Я. Г. Егоров и А. М. Колосов представили доклад «Изучение подходов к определению видов распределений, порождаемых большими языковыми моделями». Подсекция завершилась выступлением Анны Борисюк «Анатомия „разучивания“: двойное воздействие значимости фактов и типа обучения модели», соединившее проблематику машинного обучения, вычислительной семантики и управления знаниями в современных моделях.
Обсуждение на обеих площадках показало высокий уровень межфакультетской и межинституциональной кооперации. В работе секции приняли участие представители ИМИСС МГУ, факультета искусственного интеллекта, механико-математического факультета, факультета вычислительной математики и кибернетики, Научно-исследовательского вычислительного центра МГУ, НИИ механики МГУ, а также Института AIRI, ИППИ РАН, ИСП РАН, Sber AI Lab и Сколковского института науки и технологий. По итогам пленарного обсуждения в публичном поле были обозначены и более общие результаты работы секции: запрос на единый понятийный каркас доверенного искусственного интеллекта, на систему требований к надёжности и контролируемости интеллектуальных систем, на уточнение исследовательских приоритетов ближайших лет и на обновление образовательной подготовки в этой области.
Проведённая секция подтвердила роль ИМИСС МГУ как научной площадки, на которой соединяются инженерия знаний, проверяемые корпуса знаний, математические основания интеллектуальных технологий, вопросы качества и безопасности искусственного интеллекта, а также критически значимые прикладные контуры — от систем автоматизированного проектирования и анализа программных уязвимостей до космической деятельности и лунных поселений. В этом смысле секция ИМИСС МГУ на «Ломоносовских чтениях–2026» стала значимым вкладом в развитие университетской научной кооперации по одному из ключевых направлений современной науки и технологий.
Справочно
Новость на официальном сайте МГУ: msu.ru
ИСТИНА МГУ: https://istina.msu.ru/conferences/816421600/
Страница секции на портале конференций МГУ: conf.msu.ru/rus/event/10430/
Публикация на портале «Научная Россия» (07.04.2026): scientificrussia.ru