ISSA_2014-04-05 - Высшая школа экономики

Доступен только на StudyGur

Тема:
Скачиваний: 1
Страниц: 27
Опубликован:
ЧИТАЙТЕ ПОЛНЫЙ ТЕКСТ ДОКУМЕНТА

ПРЕДПРОСМОТР

Научно-учебная лаборатория
Интеллектуальных систем
и структурного анализа
Факультет компьютерных наук,
Департамент анализа данных и искусственного интеллекта
Заведующий лабораторией
д.ф.-м.н. С.О. Кузнецов
Докладчик, старший научный сотрудник
к.т.н., доцент А.А. Незнанов
Высшая школа экономики, Москва, 2015
www.hse.ru
Общие данные о лаборатории
Что, где, когда?
• Сокращённое название – НУЛ ИССА
• НУЛ ИССА создана в сентябре 2012 года и является структурным
подразделением департамента анализа данных и искусственного
фото
интеллекта факультета компьютерных наук НИУ ВШЭ
• Контактная информация
• Сайт: http://cs.hse.ru/ai/issa
• Заведующий лабораторией д.ф.-м.н. С.О. Кузнецов,
тел.: +7(495)772-95-90 * 22670, e-mail: [email protected]
• Менеджер лаборатории Л.И. Антропова,
тел.: +7(495)772-95-90 * 22668, e-mail: [email protected]
• Адрес: Москва, Кочновский проезд, 3.
фото
Высшая школа экономики, Москва, 2015
2
Ведущий научный сотрудник
• Андре Щедров, PhD
•
Chair of the Mathematics Department, Professor of Mathematics, Professor of
Computer and Information Science,
фото
University of Pennsylvania
• Интересы:
•
•
•
•
Вычислительная логика
Информационная
безопасность
Криптография и
криптографические протоколы
Коллаборативные
технологии
фото
Высшая школа экономики, Москва, 2015
3
Основные сотрудники
Кузнецов Сергей Олегович, д.ф.-м.н.
Руководитель лаборатории
фото
Незнанов Алексей Андреевич, к.т.н., доцент
Старший научный сотрудник
Игнатов Дмитрий Игоревич, к.т.н.
Научный сотрудник
Объедков Сергей Александрович, к.т.н.
Научный сотрудник
фото
Высшая школа экономики, Москва, 2015
4
Область интересов
Почему мы так называемся?
• Напомним: интеллектуальных систем и структурного анализа!
• Все информационные системы становятся всё более
«интеллектуальными»
фото
• Всё в большем числе приложений приходится работать со
сложно структурированными данными, представленными в виде графов
и сетей
• Отметим: одним из важнейших аспектов интеллектуализации является
«анализ данных», который стал «интеллектуальным» (ИАД)
• Он не сводится к статистике и поиску совпадений
• ИАД – это в первую очередь специальная подготовка данных,
онтологическое моделирование, извлечение знаний и т.д.
• В основе лежат различные логики (модальная, дескриптивная, …)
фото
Высшая школа экономики, Москва, 2015
5
Социальные сети, как объект исследования
социологов, и как Интернет-службы
фото
фото
© slate.com
© yworks.com
Высшая школа экономики, Москва, 2015
6
Структурные модели текстов в виде деревьев и
более сложных структур
• Чаща разбора
(Parse Thicket)
•
С. Кузнецов,
Б. Галицкий
фото
фото
Высшая школа экономики, Москва, 2015
7
Решётки формальных понятий для
интерактивного анализа понятий
фото
фото
© Д.И. Игнатов
Высшая школа экономики, Москва, 2015
8
Направления исследований
Что нам интересно?
Машины вполне обучаемы, но у них нет сердца
•
•
•
•
•
•
•
•
•
•
Data Mining, Knowledge Discovery, and Machine Learning
(Майнинг данных, обнаружение знаний и машинное обучение)
фото
Computational Logic (Вычислительная логика)
Formal Concept Analysis (Анализ формальных понятий)
Knowledge Bases and Applied Ontology Modelling (Базы знаний и
онтологическое моделирование)
Multimodal Clustering (Мультимодальная кластеризация)
Structural Analysis and Applied Graph Theory (Структурный анализ и
прикладная теория графов)
Natural Language Processing (Автоматическая обработка текста)
Recommender Systems and Collaborative Technologies
(Рекомендательные системы и коллаборативные технологии)
Social Network Analysis (Анализ социальных сетей)
фото
Big Data Analysis (Обработка больших данных)
Высшая школа экономики, Москва, 2015
9
Основные научные проекты
Чем конкретно мы занимаемся?
• Развитие анализа формальных понятий и его приложений при
построении интеллектуальных систем
• Развитие методов и алгоритмов мультимодальной кластеризации
фото
• Развитие методов обработки больших коллекций
неструктурированных текстов (в том числе – под управлением
онтологий)
• Создание интегрированной среды научных исследований в области
анализа формальных понятий и смежных областей – Formal Concept
Analysis Research Toolbox (FCART)
• Проекты по созданию прикладных программных средств анализа
неструктурированных данных (например, коллекций текстов на
естественном языке), рекомендательных систем, систем обработки
структурной информации в областях здравоохранения,
фото
правоохранения и др.
Высшая школа экономики, Москва, 2015
10
Основные научные проекты
Чем конкретно мы занимаемся?
• Развитие анализа формальных понятий и его приложений при
построении интеллектуальных систем
• Мультимодальной кластеризации
фото
• анализа социальных сетей рекомендательных систем
• Развитие интегрированной среды научных исследований в области
анализа формальных понятий и смежных областей – Formal Concept
Analysis Research Toolbox (FCART)
• Проекты по созданию прикладных программных средств анализа
неструктурированных данных (например, коллекций текстов на
естественном языке), рекомендательных систем, систем обработки
структурной информации в областях здравоохранения,
правоохранения и др.
фото
Высшая школа экономики, Москва, 2015
11
Анализ формальных понятий
Появление Formal Concept Analysis
• Термин «Анализ Формальных Понятий (АФП)» [Formal Concept
Analysis (FCA)] был предложен Рудольфом Вилле [Rudolf Wille],
который начал работу над своим исследованием «restructuring lattice
theory» в конце 1970-х годов в Техническом университете фото
Дармштадта
• АФП уходит корнями в работы, посвящённые связям Галуа и
решеткам замкнутых множеств (G. Birkhoff, O. Ore и др.), и ранние
работы о приложениях теории решёток к задачам информатики (M.
Barbut, B. Monjardet и др.)
•
На ранних этапах развития АФП зачастую неверно воспринимался как
ещё один тяжело масштабируемый формализм для работы с таблицами
из нулей и единиц
• После работ группы профессора Б. Гантера из Дрезденского
политехнического университета, С.О. Кузнецова и многих других
исследователей стала понятна актуальность АФП при решении задач
обработки больших объёмов сложных динамических фото
данных,
связанных с некоторыми дополнительными знаниями (онтологиями)
Высшая школа экономики, Москва, 2015
12
Анализ формальных понятий
Достижения и приложения
• Развитие теоретических основ и инструментария узорных структур
[Pattern Structures]
• Развитие понятия устойчивости формальных понятий
фото
[Stability of a Formal Concepts]
• Применение аппарата АФП в приложениях здравоохранения,
криминалистики, анализа социальных сетей и др.
фото
Высшая школа экономики, Москва, 2015
13
Анализ формальных понятий
Достижения и приложения
фото
фото
Высшая школа экономики, Москва, 2015
14
Formal Concept Analysis Research Toolbox (FCART)
External Data Source
External Data Set
External Data
Query Description
LDS
Import/Export
Tools
Local Data
Storage
JSON Collection
Snapshot Profile
FCART
Import/Export
Tools
Session DB
Data Snapshot
(Multivalued Context)
Scaling Query +
Graph Generators
Analytic Artifacts
Pattern Structure
фото
Binary Context
Clusters
SOMs
Concept Lattice
фото
Высшая школа экономики, Москва, 2015
15
Зарубежные партнёры
С кем мы активно сотрудничаем?
Всегда есть мороженое одному невкусно ни мне, ни тебе, никому.
Александр Вратарев
•
•
•
•
•
•
•
•
•
Lorraine Research Laboratory in Computer Science and its Applications
фото (LORIA
Nancy, France)
Institut Supérieur d’Informatique, de Modélisation et de leurs Applications
(L’ISIMA Clermont-Ferrand, France)
Institut National des Sciences Appliquées (INSA LYON, France)
Technische Universität Dresden (TU Dresden, Germany)
Katholieke Universiteit Leuven (KU Leuven, Belgium)
Eindhoven University of Technology (TU/e, Eindhoven, Netherlands)
Palacky Univeristy (Olomouc, Czech Republic)
Université de Caen (Caen, France)
Infobright Company (Toronto, Canada)
фото
Высшая школа экономики, Москва, 2015
16
Российские партнёры
С кем мы активно сотрудничаем?
Всегда есть мороженое одному невкусно ни мне, ни тебе, никому.
Александр Вратарев
•
•
•
•
•
Институт Проблем Передачи Информации РАН им. А.А. Харкевича
фото
Институт Системного Анализа РАН
Компании Yandex, ImhoNet, Witology, Avicomp, АлгоМост и др.
Фонд Сколково
Лаборатория Цифрового Общества
•
Партнёры из НИУ ВШЭ
• Международная лаборатория анализа и выбора решений
• Лаборатория алгоритмов и технологий анализа сетевых структур
• Лаборатория методов анализа больших данных
• Факультет математики, факультет филологии, департамент психологии,
департамент программной инженерии, кафедра публичнойфото
политики и
др.
Высшая школа экономики, Москва, 2015
17
Поддержка магистерской программы
«Науки о данных» (Data Science)
Специализации программы направлены на подготовку магистров в
различных областях прикладной математики и информатики:
• Интеллектуальные системы
фото
• Анализ Интернет-данных
• Технологии моделирования сложных систем
•
Дисциплины, читаемые сотрудниками лаборатории:
•
•
•
•
•
•
Упорядоченные множества в анализе данных
Неклассические логики
Методы машинного обучения и разработки данных
Machine Learning and Data Mining
Проектирование взаимодействия с пользователем
Распределённые системы
фото
Высшая школа экономики, Москва, 2015
18
Публикационная активность
• За 3 года существования лаборатории её сотрудниками опубликовано
более 90 работ по проектам, ведущимся в НУЛ
• http://cs.hse.ru/ai/issa/publications
фото
• Большинство работ опубликовано на английском языке
издательствами Springer и Elsevier
• Сергей Олегович Кузнецов и Дмитрий Игоревич Игнатов стали одними
из самых публикуемых сотрудников НИУ ВШЭ
• Сергей Александрович Объедков в 2013 году стал победителем
Scopus Award Russia за выдающийся вклад в развитие компьютерных
наук на национальном и международном уровнях
• Наш новый ведущий специалист Андре Щедров – один из наиболее
цитируемых авторов в области вычислительной логики
фото
Высшая школа экономики, Москва, 2015
19
Периодический семинар лаборатории
Периодический научный семинар лаборатории вот уже третий год
проходит по четвергам в 16:40 как минимум каждые 2 недели.
фото
• За 2013-2015 гг. проведено более 50 заседаний
• Докладчиками были как крупные российские и зарубежные учёные
(Steffen Hoelldobler, TU Dresden (Germany), Jean-Francois Boulicaut, INSA Lyon (France),
Alessandro Moschitti, University of Trento (Italy), Dominik Slezak, University of Warsaw &
Infobright Inc. (Poland), Boris Gutkin, Ecole Normale Supérieure (France), Tomasz
Kociumaka, Warsaw university (Poland), Andre Scedrov, University of Pennsylvania (USA),
Пьяных О.С., Harvard Medical School (USA), Laurent Bienvenu, Laboratoire J-V. Poncelet
(France), Аржанцев И.В., НИУ ВШЭ, Осипов Г.С., ИСА РАН, Жуков Л.Е., НИУ ВШЭ и
многие др.)
так и молодые специалисты (студенты и аспиранты)
фото
Высшая школа экономики, Москва, 2015
20
Организация научных мероприятий (2013 г.)
• 10.01.2013 – 20th International Conference on Conceptual Structures (ICCS
2013) – http://iccs2013.hbcse.tifr.res.in
• 24.03.2013 – International Workshop “Formal Concept Analysis meets
Information Retrieval” (FCAIR) в рамках ECIR 2013 – http://fcair.hse.ru
фото
• 25.03.2013 – 35th European Conference on Information Retrieval (ECIR 2013),
совместно с компанией Яндекс – http://ecir2013.org
• Впервые в России за 35 лет!
• 04.04.2013 – Вторая всероссийская конференция по Анализу
Изображений, Сетей и Текстов (АИСТ 2013) – http://aistconf.org/legacy/2013
• 03.08.2013 – 2nd International Workshop “What can FCA do for Artificial
Intelligence?” (FCA4AI 2014) в рамках IJCAI 2013 – http://fca4ai.hse.ru/2013
• 07.12.2013 – 2nd International IEEE Workshop on Experimental Economics
and Machine Learning в рамках конференции IEEE ICDM 2013 –
http://eeml.hse.ru/2013
фото
Высшая школа экономики, Москва, 2015
21
Организация научных мероприятий (2014 г.)
•
•
•
•
•
•
09.04.2014 – Третья всероссийская конференция по Анализу Изображений, Сетей и
Текстов (АИСТ 2014) – http://aistconf.org/legacy/2014
03.06.2014 – 2nd International Conference on Information Technology and Quantitative
Management (ITQM 2014) – http://itqm2014.hse.ru
фото
06.06.2014 – 9th International Computer Science Symposium in Russia (CSR 2014) –
http://logic.pdmi.ras.ru/csr2014
16.06.2014 – 24th Annual Symposium on Combinatorial Pattern Matching (CPM 2014) –
http://cpm2014.hse.ru
19.08.2014 – 3rd International Workshop “What can FCA do for Artificial Intelligence?”
(FCA4AI 2014) в рамках IJCAI 2013 – http://www.fca4ai.hse.ru/2014
11.09.2014 – 16th International Conference on Artificial Intelligence: Methodology,
Systems, Applications (AIMSA 2014) – http://www.aimsaconference.org
• В 2016 году планируется впервые провести в России конференцию
The Thirteenth International Conference on Concept Lattices and Their
Applications (CLA 2016)
фото
Высшая школа экономики, Москва, 2015
22
Крупнейшее мероприятие 2013 года
В 2013 году лаборатория участвовала в организации совместно с
компанией Яндекс
• 35th The annual European Conference on Information Retrieval
фото
(ECIR’2013)
• а также семинар
• Formal Concept Analysis meets Information Retrieval (FCAIR)
фото
Высшая школа экономики, Москва, 2015
23
Серии международных семинаров «What can FCA do for … ?»
C 2012 года лаборатория организует семинар
• Workshop “What can FCA do for Artificial Intelligence?” (FCA4AI)
• Годы: 2012, 2013, 2014, …
фото
• Руководители:
•
•
•
Sergei Kuznetsov, Higher Schools of Economics, Moscow, Russia
Amedeo Napoli, LORIA-INRIA, Vandoeuvre les Nancy, France
Sebastian Rudolph, Technische Universitaet Dresden, Germany
фото
Высшая школа экономики, Москва, 2015
24
Проекты Центра фундаментальных исследований
Год
2012
2013
2014
2015
Название
Математические модели, алгоритмы и программные средства
интеллектуального анализа информации в текстовой и
структурной форме
Математические модели, алгоритмы и программные средства
интеллектуального анализа больших данных (Big Data) в
текстовой и структурной форме
Математические модели, алгоритмы и программные средства
интеллектуального анализа данных в текстовой и структурной
форме
Интеллектуальный анализ данных на основе решеток замкнутых
описаний и прикладных онтологий
Число
публикаций
фото
42
29
38
-фото
Высшая школа экономики, Москва, 2015
25
Трудоустройство в лаборатории и после
• Лаборатория – прекрасная стартовая площадка как для дальнейшей
научной карьеры, так и для продвижения в бизнес-среде
• Лаборатория ищет инициативных исследователей, которые готовы
фото
участвовать в разработке и апробации методов анализа данных
(аналитиков) и/или реализации программных средств (программистов).
• Для того чтобы поступить в лабораторию, нужно прислать резюме
заведующему, пройти собеседование и, возможно, аттестацию
(проверку математических знаний и/или навыков программирования)
• Студенты и аспиранты изначально зачисляются на должность
стажёра-исследователя с испытательным сроком
• Аспиранты обычно становятся младшими научными сотрудниками
• Молодая НУЛ ИССА уже может гордиться трудоустройством стажёров в
Yandex, Witology, Imhonet, АлгоМост, Лабораторию Цифрового Общества, а
также участием сотрудников в программах студенческого и академического
фото
обмена с международными партнерами
Высшая школа экономики, Москва, 2015
26
101000, Россия, Москва, Мясницкая ул., д. 20
Тел.: (495) 621-7983, факс: (495) 628-7931
www.hse.ru
ЗАРЕГИСТРИРУЙТЕСЬ - ЭТО БЕСПЛАТНО

Похожие документы