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

Иван Дорохов, Санкт-Петербург
Виртуальные города как социальная среда для эволюции и самоорганизации искусственного разума и искусственного коллективного разума.

д. ф.-м. н. Е. Е. Витяев
Информационная теория сознания.

Дмитрий Иванович Свириденко
Цифровые двойники умных городов.

к. ф.-м.н. Кондратьев Д. А.
От спецификаций к доказательству выполнения свойств нейронных сетей.

Новиков Сергей
Полиномиальная вычислимость на блокчейн и мультиблокчейн структурах.
Научный руководитель: Нечесов А. В.

1. Андрей Гумиров, 4 курс
   Исследование возможности применения логико-вероятностных методов для создания систем поддержки принятия решений в области кибербезопасности.
    
   Аннотация

   20 минут доклад и 10 минут вопросы.
   
    
2. Кондратьев Дмитрий Александрович, к.ф.-м.н., Институт систем информатики им. А. П. Ершова СО РАН (научный сотрудник), Новосибирский Государственный Университет (ассистент)
   Дедуктивная верификация нейронных сетей (продолжение).
    
   Аннотация

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

Копытков Дмитрий Алексеевич, студент 4-го курса НГУ
Рассуждения на основе прецедентов в интеллектуальных системах поддержки.