Cеминар «Нестандартные логики» им. Л. Л. Максимовой

Архив семинара

08 октября 2026 г.

О. А. Доманов (ИФИП СО РАН)
Генеративный ИИ и проблема следования правилу.

Аннотация

Одна из существенных проблем генеративного искусственного интеллекта, основанного на больших лингвистических/языковых моделях (LLM), состоит в том, что он плохо умеет следовать правилам или инструкциям. Мы рассмотрим: действительно ли LLM (не) умеет следовать правилам, в каком смысле она (не) следует им, и что можно сделать, чтобы обеспечить это следование. Основной тезис доклада: люди и языковые модели, хотя и могут иногда добиваться одних и тех же результатов, но используют при этом различные механизмы, что и приводит, действительно, к ограничениям в способности языковых моделей следовать правилам.

01 октября 2026 г.

Николай Вячеславович Шилов (преподаватель Лицея 22 "Надежда Сибири" и Институт систем информатики СО РАН, Новосибирск)
Путеводитель (для начинающих) по стране Формальной Семантики Программ.

Аннотация

Три основных исторически сложившихся «провинции» страны Формальной Семантики Программ – это Операционная Семантика, Денотационная Семантика и Аксиоматическая Семантика. Выступление рассчитано прежде всего на тех, кто только начинает путешествие по этой стране, чтобы познакомиться с общедоступным путеводителем...

24 сентября 2026 г.

М. Н. Рыбаков (Тверь, Москва)
Логики для описания вычислений: синтаксис, семантика, сложность.

Аннотация

Доклад посвящён логикам, предназначенным для формального описания свойств вычислительных процессов, – прежде всего динамическим пропозициональным логикам (PDL, DPDL, IPDL и др.), а также таким темпоральным логикам как LTL (linear-time temporal logic), CTL (computation tree logic) и ATL (alternating-time temporal logic). Будут даны синтаксические и семантические описания этих логик, и особое внимание будет уделено сложности проблемы разрешения: будут приведены оценки сложности как для логик в полном языке, так и для различных их фрагментов (в том числе с ограниченным числом переменных). При этом предполагается обсудить не только разрешимые, но и неразрешимые проблемы, а также идеи, лежащие в основе сложностных оценок. Все необходимые определения будут даны.

17 сентября 2026 г.

М. И. Кудряшова (НГУ)
Декартово замкнутые категории $T_0$-пространств с аппроксимациями.

Аннотация

Ю. Л. Ершов установил декартову замкнутость категории $\Delta$-пространств, как рефлексивных подпространств декартово замкнутой категории $\Delta^d$-пространств. Используя похожий подход мы устанавливаем декартову замкнутость некоторых других полных подкатегорий в $Top_0$.

28 мая 2026 г.

А. А. Харитонов (НГУ)
Динамическая логика с продолжениями (окончание).

Аннотация

В докладе будет представлено описание модуля $G0$, предложенного в оригинальной работе [de Groote, 2006] и получившего развитие до $G$ (и далее) в диссертации "Expressing discourse dynamics through continuations" (Ekaterina Lebedeva, 2016). Будет обсуждаться предлагаемый способ отделения пропозиционального содержания и контекста, благодаря чему значения выражений естественного языка при необходимости могут трактоваться как функции от контекста, а дискурсивная динамика — включая анафорические связи и другие прагматические явления — моделироваться при помощи механизма "продолжений" (continuations).

21 мая 2026 г.

А. А. Харитонов (НГУ)
Динамическая логика с продолжениями.

Аннотация

07 мая 2026 г.

А. Циткин (Уоррен, США)
Табличные и предтабличные многообразия.

Аннотация

докладе рассматривается общий (алгебраический) подход к проблемам табличности и предтабличности многообразий алгебр, прежде всего, в связи с разрешимостью алгоритмической проблемы табличности. В частности обобщается критерий предтабличности предложенный Л. Л. Максимовой и В. Ф. Юн.