ИМ СО РАН
Вход для сотрудников

Семинар «Объяснительный Искусственный Интеллект»

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

Казаков Геннадий Витальевич (доцент НГУ и СГУ)
Технологии ИИ для решения проблем образования в эпоху клипового сознания и цифровой амнезии: Мультимедиа лекция со встроенным педагогическим агентом.

Аннотация

Эффекты информатизации современного общества - непрерывное образование, клиповое сознание, цифровая амнезия - существенно снижают эффективность лекционной формы учебных занятий. Предлагается новый подход к лекционной форме, основанный на переходе к мультимедиа лекции со встроенным педагогическим агентом. Использование разнотипных учебных материалов под управлением интерактивного программного обеспечения предоставляет развитые средства работы с учебным материалом, а встроенный интеллектуальный педагогический агент выполняет функции поддержания мотивации слушателя, контроля внимательности, фиксирует какие части прослушаны учащимся и насколько внимательно.

Показывается, что такой формат лекционной работы избавлен от недостатков как классической формы, так и видеолекции, хорошо адаптирован для целей непрерывного образования, а также может сглаживать эффекты цифровой амнезии и, при систематическом применении, противостоять формированию клипового сознания.

В ходе доклада планируется обсуждение элементов методики применения, планы опытной эксплуатации системы в учебном процессе, предполагается демонстрация мультимедиа лекции с использованием сигнального прототипа системы.

PS: студентам на семинар подходить с зачетками!

Булыгин Владимир Викторович (компания Ростелеком)
Максимизация коэффициента однозначности для объектов состоящих из множества признаков.

АннотацияПредложен алгоритм машинного обучения, сутью которого является уменьшение неопределенности входного потока данных. Из множества признаков выбирается такое его подмножество, что минимизируется количество неоднозначных переходов. На выходе получаем фазовый портрет объекта, представленный графом. Будет предложен способ оценки сложности.

к.ф.-м.н. Дмитрий Кондратьев (ИСИ)
Автоматизация доказательства условий корректности программ и перспективы применения машинного обучения в данной области (продолжение).

Иван Бондаренко (Лаборатория прикладного ИИ, НГУ)
О переносе знаний из предметной области в глубокую нейросеть с помощью иерархического многозадачного обучения.

Николай Вячеславович Шилов, Иннополис
IMO Grand Challenge.

АннотацияIMO Grand Challenge - инициатива/проект, начатый в 2019 г., направленный на разработку системы искусственного интеллекта, систематически побеждающего в Международной Математической Олимпиаде (IMO). В качестве "решателя" в данном проекте используется LEAN (Proof Assistent). Выступление будет носить вводный и обзорный характер.

к.ф.-м.н. Дмитрий Кондратьев, ИСИ
Автоматизация доказательства условий корректности программ и перспективы применения машинного обучения в данной области (продолжение).

к.ф.-м.н. Дмитрий Кондратьев, ИСИ
Автоматизация доказательства условий корректности программ и перспективы применения машинного обучения в данной области (продолжение).

Список семинаров

Информация о семинаре

Информация о семинаре

Руководители:
акад. С. С. Гончаров, к.ф.-м.н А. В. Нечесов

Время и место проведения:
Среда, 18.10 ч., ауд. 5273, новый корпус НГУ

Ссылка на страницу семинара Ссылка на страницу семинара

***

Семинары ИМ СО РАН