к.ф.-м.н. Кондратьев Д. А.
Использование формальной верификации для обеспечения качества программных платформ.
Архив семинара
Ануреев И. С.
Использование формальных методов для обеспечения качества фреймворка СИГМА.
Андрей Гумиров
Язык построения исполнимых спецификаций D0SL (продолжение).
Аннотация
Данный доклад делается в рамках проекта Сигма ЦИИ НГУ.Андрей Гумиров
Язык построения исполнимых спецификаций D0SL.
Аннотация
Данный доклад делается в рамках проекта Сигма ЦИИ НГУ.Аркадий Рофе
СИГМА - генератор цифровых двойников субъектов управления.
Магистр 1 курса Сергей Новиков
ChatGPT o1 решение физических проблем на уровне PhD.
Иван Дорохов, Санкт-Петербург
Виртуальные города как социальная среда для эволюции и самоорганизации искусственного разума и искусственного коллективного разума.
Аннотация
В данном докладе будет предложено разграничение между Искусственным Интеллектом (ИИ) как инструментом целеисполнения, и Искусственным Разумом (ИР) как субъектом с самостоятельным целеполаганием. Мы рассмотрим концепцию виртуальных городов как среды для самоорганизации и эволюции ИР. Этот подход не требует полной формализации знаний о собственном разуме. Особый интерес виртуальные города представляют как тестовая площадка для создания и совершенствования Искусственного Коллективного Разума (ИКР).Информация о семинаре
Руководители:
акад. С. С. Гончаров, к.ф.-м.н А. В. Нечесов
Время и место проведения:
Среда, 18.10 ч., ауд. 5273, новый корпус НГУ
