Заседания семинаров
- Манцивода А. В.
Модели как мифы и интеллектуальные агенты.
- Витяев Е. Е., Манцивода А. В.
Общая дискуссия: Зачем семантика большим лингвистическим моделям? Зачем человеку две системы обработки информации по Канеману?
Аннотация
Как разрешаются сознанием противоречия посредством образов-моделей по работам Алахвердова - сознание как механизм разрешения противоречий. Единство синтаксиса и семантики в вероятностных формальных понятиях.
Презентация посвящена текущему состоянию платформы bSystem и стратегическим планам ее дальнейшего развития. Архитектура платформы основана на парадигме семантического моделирования и объектных онтологиях. Сейчас платформа предоставляет промышленные инструменты для разработки интеллектуальных приложений и используется в ряде бизнес-проектов.
Недавние работы по развитию самой платформы включают интеграцию объектных онтологий с семантическим вероятностным выводом. Эта интеграция значительно расширяет возможности платформы. Отталкиваясь от этого продвижения, мы рассматриваем стратегические идеи и планы, касающиеся разработки гибридных подходов, которые поддерживают совместную работу семантического моделирования и больших языковых моделей в рамках многокомпонентных интеллектуальных агентов. Работа таких агентов рассматривается как интегральное взаимодействие компонент, имитирующих человеческие интуицию, воображение и рассуждения.
Светов И. Е., Полякова А. П.
Об обращении обобщенных преобразований Радона, действующих на трехмерные векторные и тензорные поля.
Аннотация
В докладе рассматривается задача восстановления трехмерных векторных и симметричных тензорных полей по значениям нормальных, продольных и смешанных преобразований Радона. В случае, когда известны значения всех обобщенных преобразований Радона, установлены связи с преобразованием Радона компонент векторных и симметричных тензорных полей. Получены новые детальные разложения трехмерных векторных и симметричных 2-тензорных полей в виде суммы попарно ортогональных членов. Для построения каждого члена в сумме требуется только одна функция. С использованием этих разложений описаны ядра и образы каждого из обобщенных преобразований Радона. Также исследованы весовые преобразования Радона векторных полей. Полученные результаты дают многочисленные возможности для получения формул обращения и построения алгоритмов реконструкции векторных и тензорных полей.Лука Никифоров, С. В. Августинович
Трехэлементные порождающие множества блинчикового графа.
А. Плясунов
A Multi-Objective Reformulation of the Pessimistic Bilevel Problems.
Alessandro Agnetis (University of Siena)
Scheduling machines subject to unrecoverable failures and other related stochastic sequencing problems.
М. В. Швидефски
Дуальность для конечно порожденных квазимногообразий решеток (совместная работа с В. Джебяком, университет Пуэрто Рико, США).
Аннотация
Для ряда квазимногообразий $SP(L)$, порожденных конечной решеткой $L$, установлена дуальность категории, объектами которой являются биалгебраические решетки из $SP(L)$, а морфизмами - полные решеточные гомоморфизмы, и категории упорядоченных пространств с дополнительной структурой и морфизмами, сохраняющими эту структуру.Zoom
В. А. Шарафутдинов (ИМ СО РАН, Новосибирск)
Двумерная задача Кальдерона и плоские метрики.
Литература
V. A. Sharafutdinov, Two-dimensional Calderon problem and flat metrics // arXiv:2501.17471Николаев Ростислав Олегович (НГУ)
Применение больших языковых моделей для анализа временных рядов.

