Программа конференции Тверь 2010 организаторы конференции

Вид материалаПрограмма

Содержание


Координационный комитет кии-2010
Программный комитет кии-2010
Ученые секретарь
Организационный комитет кии-2004
Члены организационного комитета
Расписание работы конференции 20 сентября/понедельник – Заезд, расселение
Съезд раии. ц-224
Программа конференции
10.00-10.30 Открытие конференции
12.00-12.15 Кофе-брейк
Добрынин Д.А., Михайлова И.Н., Панкратова Е.С., Финн В.К.
Игнатов Д.И., Кузнецов С.О.
Кулешов А.П., Бернштейн А.В.
Калабин А.Л., Козлов А.В., Мальков А.А., Пакшвер Э.А.
Бородулин А.Н., Демирский А.А., Карузин Л.А.
15.40-15.55 Кофе-брейк
Титова Н.В.
Петровский А.Б., Ройзензон Г.В., Тихонов И.П., Балышев А.В.
Дяченко О.О., Загорулько Ю.А.
Новицкий В.И.
...
Полное содержание
Подобный материал:

Российская ассоциация искусственного интеллекта

Институт системного анализа РАН

Тверской государственный технический университет


КИИ-2010




20-24 сентября 2010 г.


Двенадцатая национальная конференция по искусственному интеллекту с международным участием


Программа конференции


Тверь 2010


ОРГАНИЗАТОРЫ КОНФЕРЕНЦИИ

Российская ассоциация искусственного интеллекта

Институт системного анализа РАН

Тверской государственный технический университет

при поддержке

Российского фонда фундаментальных исследований (проект 10-07-06051-г)

Компании ABBYY

Администраций Тверской области и города Твери


КООРДИНАЦИОННЫЙ КОМИТЕТ КИИ-2010

Председатель - Академик РАН С.В.Емельянов;

академик РАН С.К.Коровин;

академик РАН С.Н.Васильев;

член-корреспондент РАН Ю.С.Попков.


ПРОГРАММНЫЙ КОМИТЕТ КИИ-2010

Председатель - Фоминых И.Б., д.т.н., проф., РосНИИ ИТ и АП, г. Москва.

Заместители председателя:

Кобринский Б.А., д.м.н., проф., МНИИ ПДХ, г. Москва;

Кузнецов О.П., д.т.н., проф., ИПУ РАН, г. Москва;

Ройзензон Г.В., к.т.н., ИСА РАН, г. Москва.

Ученые секретарь - Виньков М.М., к.т.н., с.н.с., РосНИИ ИТ и АП, Москва

Члены программного комитета:

Аверкин А.Н., к.ф-м.н., доцент, ВЦ РАН, г. Москва;

Арлазаров В.Л., чл.-кореспондент РАН, ИСА РАН, г. Москва;

Вагин В.Н., д.т.н., проф., МЭИ, г. Москва;

Величковский Б.М., чл-корр. РАН, Российский научный центр «Курчатовский институт»;

Гаврилова Т.А., д.т.н., проф., Высшая Школа менеджмента СПбГУ, г. Санкт-Петербург;

Голенков В.В., д.т.н., проф., БГУИР, г. Минск;

Еремееев А.П., д.т.н., проф., МЭИ, г. Москва;

Карпов В.Э., к.т.н., доцент, НИИ ИТ, г. Москва;

Курейчик В.М., д.т.н., проф., ТТИ ЮФУ, г. Таганрог;

Лахути Д.Г., д.т.н., проф., РГГУ, г. Москва;

Осипов Г.С., д.ф.-м.н., проф., ИСА РАН, г. Москва;

Палюх Б.В., д.т.н., проф., ТГТУ, г. Тверь;

Петровский А.Б., д.т.н., ИСА РАН, г. Москва;

Плесневич Г.С., к.ф.-м.н., доцент, МЭИ, г. Москва;

Попов Э.В., д.т.н., проф., ИПС РАН, г. Переславль-Залесский;

Поспелов Д.А., д.т.н., проф., ВЦ РАН, г. Москва;

Рыбина Г.В., д.т.н., проф., НИЯУ МИФИ, г. Москва;

Стефанюк В.Л., д.т.н., проф., ИППИ РАН, г. Москва;

Сулейманов Д.Ш., академик АН Татарстана, ИПС АН Татарстана, г. Казань;

Тарасов В.Б., к.т.н., доцент, МГТУ, г. Москва;

Тельнов Ю.Ф., д.э.н., проф., МЭСИ, г. Москва;

Федунов Б.Е., д.т.н., проф., РосНИИ АС, г. Москва;

Финн В.К., д.т.н., проф., ВИНИТИ, г. Москва;

Хорошевский В.Ф., д.т.н., ВЦ РАН, г. Москва.

ОРГАНИЗАЦИОННЫЙ КОМИТЕТ КИИ-2004

Председатель – Палюх Б.В., д.т.н., проф., ТГТУ, г. Тверь.

Заместители председателя:

Карпов В.Э., к.т.н., доцент, НИИ ИТ, г. Москва;

Семенов Н.А., д.т.н., проф., ТГТУ, г. Тверь;

Тихомиров И.А., к.т.н., ИСА РАН, г. Москва;

Члены организационного комитета:

Алексеев В.В., к.т.н., доцент, ТГТУ, г. Тверь;

Виноградов Г.П., к.т.н., доцент, ТГТУ, г. Тверь;

Елисеев А.В., ТГТУ, г. Тверь;

Ройзензон Г.В., к.т.н., ИСА РАН, г. Москва


Регистрация участников

20 сентября с 10.00 до 18.00, 21 сентября с 9.00 до 14.00 в корпусе «Ц» ТГТУ по адресу наб. А. Никитина, 22, в фойе перед актовым залом (Ц-224).

Расписание работы конференции

20 сентября/понедельник – Заезд, расселение


10.00 – 18.00

Регистрация

В фойе напротив Актового зала (Ц-224)

14.00 – 15.45

Семинар 1. Методы вычислительного интеллекта, метаэвристические методы и их практическое применение. Ц-208

Руководители: В.М. Курейчик, Л.А. Зинчен-ко

Семинар 2. Интеллектуальные организации. Ц-238

Руководители: Ю.Ф. Тельнов, В.Б. Тарасов


15.45 – 16.00

Кофе-брейк

16.00 – 18.30

Семинар 1. Методы вычислительного интеллекта, метаэвристические методы и их практическое применение. Ц-208

Семинар 2. Интеллектуальные организации. Ц-238

21 сентября/вторник


9.00 – 14.00

Регистрация

В фойе напротив Актового зала (Ц-224)

10.00 – 10.30

Открытие конференции. Ц-224 (актовый зал)

10.30 – 11.15

Приглашенный доклад. Г.С. Осипов «Состояние европейских исследований в области искусственного интеллекта». Ц-224 (актовый зал)

11.15 – 12.00

Приглашенный доклад. С.Н. Васильев «Интеллектуализация обучающих систем». Ц-224 (актовый зал)

12.00 – 12.15

Кофе-брейк

12.15 – 13.15

Секция 2. Интеллектуальный анализ данных. Ц-238

Председатели: В.К.Финн, М.А.Михеенкова



Секция 9. Интеллектуальные системы поддержки принятия решений и управления. Ц-208

Председатели: А.П.Еремеев, А.Б.Петровский

Секция 3. Компьютерная лингвистика и семантический Web. Ц-224

Председатели: Д.Г.Лахути, В.Ф.Хорошевский


13.15 – 14.00

Обед. Столовая корпуса «Ц»

14.00 – 15.40

Секция 2. Интеллектуальный анализ данных. Ц-238


Секция 9. Интеллектуальные системы поддержки принятия решений и управления. Ц-208

Секция 3. Компьютерная лингвистика и семантический Web. Ц-224

15.40 – 15.55

Кофе-брейк

15.55 -.17.45

Секция 5. Классификация и распознавание. Ц-238

Председатели: О.М.Аншаков, С.О.Кузнецов


Секция 9. Интеллектуальные системы поддержки принятия решений и управления. Ц-208

Секция 3. Компьютерная лингвистика и семантический Web. Ц-224

С 18.00

Экскурсия по р. Волга на теплоходе (фуршет)

22сентября/среда


10.00 – 10.45

Приглашенный доклад. В.К. Финн «Индуктивные методы миллевского типа в системах искусственного интеллекта». Ц-224 (актовый зал)

10.45 – 11.30

Приглашенный доклад. О.П. Кузнецов, Л.Ю. Жилякова «Динамические ресурсные сети». Ц-224 (актовый зал)

11.30 – 11.45

Кофе-брейк

11.45 – 13.05

Секция 5. Классификация и распознавание. Ц-238



Секция 1. Моделирование рассуждений и неклассичес-кие логики. Ц-208

Председатели: В.Н. Вагин, Г.С. Плесневич

Секция 11. Интеллектуаль-ные динамические системы и роботы; планирование пове-дения Ц-224

Председатели: В.Э. Карпов, Г.С. Осипов, А.С. Ющенко.

13.05 – 13.50

Обед. Столовая корпуса «Ц»

13.50 – 15.30

Секция 5. Классификация и распознавание. Ц-238

Секция 1. Моделирование рассуждений и неклассичес-кие логики. Ц-208

Секция 11. Интеллектуаль-ные динамические системы и роботы; планирование пове-дения Ц-224

15.30 – 15.45

Кофе-брейк

15.45 – 19.00

СЪЕЗД РАИИ. Ц-224 (актовый зал)

С 19.00

Вечерняя лекция. Т.В. Черниговская «Мозг и сознание: известное и неизвестное». Ц-224 (актовый зал)

23сентября/четверг


10.00 – 12.00

Секция 8. Многоагентные системы и распределенный искусственный интеллект. Ц-238

Председатели: В.Л.Стефанюк, В.Б.Тарасов

Секция 1. Моделирование рассуждений и неклассичес-кие логики. Ц-208


Секция 11. Интеллектуаль-ные динамические системы и роботы; планирование пове-дения Ц-224. .

12.00 – 12.15

Кофе-брейк

12.15 – 13.15

Секция 8. Многоагентные системы и распределенный искусственный интеллект. Ц-238

Секция 10. Прикладные интеллектуальные системы. Ц-208

Председатели: Г.В.Рыбина, Б.Е.Федунов

Секция 7. Нечеткие модели и мягкие вычисления. Ц-224

Председатели: А.Н.Аверкин, В.М.Курейчик


13.15 – 14.00

Обед. Столовая корпуса «Ц»

С 14.00

Автобусная экскурсия в г. Старица, Успенский монастырь

14.00 – 16.15

Секция 12. Выставка программных продуктов. Ц-328 (компьютерный класс)

Председатели: И.А.Тихомиров, В.Ф.Хорошевский

Секция 10. Прикладные интеллектуальные системы. Ц-208

Секция 7. Нечеткие модели и мягкие вычисления. Ц-224

16.15 – 16.30

Кофе-брейк

16.30 – 18.15

Секция 12. Выставка программных продуктов. Ц-328 (компьютерный класс)

Секция 4. Когнитивные исследования. Ц-238

Председатели: Б.А.Кобринский, О.П.Кузнецов

Секция 6. Инженерия зна-ний, управление знаниями, онтологии. Ц-224

Председатели: Т.А.Гаврилова, В.В.Грибова

18.15 – 19.00

Приглашенный доклад. В.Л. Стефанюк. Решение творческих задач. Ц-224 (актовый зал)

С 19.30

Товарищеский ужин. Столовая корпуса «Ц»

24сентября/пятница


10.00 – 11.45

Круглый стол: Философ-ские проблемы искусствен-ного интеллекта. Ц-208

Ведущие: В.А.Лекторский, Д.И.Дубровский, С.В.Леньков, А.Ю.Алексеев

Секция 7. Нечеткие модели и мягкие вычисления. Ц-238

Секция 6. Инженерия зна-ний, управление знаниями, онтологии. Ц-224.

11.45 – 12.00

Кофе-брейк

12.00 – 14.00

Круглый стол: Философ-ские проблемы искусствен-ного интеллекта. Ц-208

Секция 7. Нечеткие модели и мягкие вычисления. Ц-238

Секция 6. Инженерия зна-ний, управление знаниями, онтологии. Ц-224.

14.00 – 15.00

Обед. Столовая корпуса «Ц»

15.00

Закрытие конференции. Ц-224 (актовый зал)



Программа конференции


20 сентября - Заезд, расселение


10.00-18.00 Регистрация

14.00–15.45 Семинар 1. Методы вычислительного интеллекта, метаэвристические методы и их

практическое применение. Семинар 2. Интеллектуальные организации.

15.45-16.00 Кофе-брейк

16.00–18.30 Продолжение работы семинаров


21 сентября


9.00-14.00 Регистрация

10.00-10.30 Открытие конференции

10.30-12.00 Приглашенные доклады

10.30-11.15 Г.С.Осипов «Современное состояние исследований в области искусственного

интеллекта»

11.15-12.00 С.Н.Васильев «Интеллектуализация обучающих систем»

12.00-12.15 Кофе-брейк

12.15-15.40

Секция 2. Интеллектуальный анализ данных.

Председатели: В.К. Финн, М.А. Михеенкова


Аудитория

Ц-238

12.15-13.15 Кохов В.А., Кохов В.В. Граф-модели для анализа сходства структур систем на основе обобщенного подструктурного подхода.

Добрынин Д.А., Михайлова И.Н., Панкратова Е.С., Финн В.К. Интеллектуальная система типа ДСМ для анализа клинических данных в онкологии.

Михеенкова М.А., Финн В.К. Интеллектуальный анализ данных в когнитивной социологии.

13.15-14.00 Обед

14.00-15.40 Воинов А.В., Демикова Н.С., Кобринский Б.А. Интеллектуальный анализ медицинских данных с использованием процедуры словарного шкалирования.

Кохов В.А., Незнанов А.А., Ткаченко С.В. Задачи анализа структурного сходства систем и методы их решения.

Игнатов Д.И., Кузнецов С.О. Бикластеризация объектно-признаковых данных на основе решеток замкнутых множеств.

Игнатов Д.И., Каминская А.Ю., Магизов Р.А. Метод скользящего контроля для оценки качества рекомендательных интернет-сервисов.

Кулешов А.П., Бернштейн А.В. Предсказательное метамоделирование и интеллектуальный анализ данных.



12.15-17.45

Секция 9. Интеллектуальные системы поддержки принятия решений и управления

Председатели: А.П. Еремеев, А.Б. Петровский


Аудитория

Ц-208

12.15-13.15 Карпенко А.П., Моор Д.А., Мухлисуллина Д.Т. Многокритериальная оптимизация на основе нейросетевой, нечеткой и нейро-нечеткой аппроксимации функции предпочтений лица, принимающего решения.

Калабин А.Л., Козлов А.В., Мальков А.А., Пакшвер Э.А. Программная система поддержки принятия решений на основе анализа данных технологического процесса производства полиакрилонитрильных нитей.

Загорулько Ю.А., Загорулько Г.Б., Кравченко А.Ю., Сидорова Е.А. Разработка системы поддержки принятия решений для нефтегазодобывающего предприятия.

13.15-14.00 Обед

14.00-15.40 Малтугуева Г.С., Юрин А.Ю. Применение методов группового выбора и прецедентных экспертных систем для обоснования мероприятий по предотвращению отказов.

Ахрем А.А., Афанасьев А.Б., Бодров А.В. Анализ вычислительной сложности решения задач агрегирования данных в OLAP-гиперкубах.

Бородулин А.Н., Демирский А.А., Карузин Л.А. Оценка сложности разработки программных средств на основе использования нейро-нечетких методов.

Янковская А.Е. Принятие субоптимальных решений в интеллектуальных системах, основанных на тестовых методах распознавания образов.

15.40-15.55 Кофе-брейк

15.55-17.45 Еремеев А.П., Еремеев А.А., Пантелеев Д.А. Темпоральная модель данных и возможности ее реализации на основе технологии OLAP.

Кулинич А.А. Модель поддержки принятия решений в конфликтных ситуациях.

Титова Н.В. Оценивание рисков в системах с нечеткой, неполной и противоречивой информацией.

Абраменкова И.В., Зайцев О.В., Стоянова О.В. Алгоритм поддержки принятия решений по управлению информационными ресурсами и примеры его работы.

Петровский А.Б., Ройзензон Г.В., Тихонов И.П., Балышев А.В. Групповое упорядочивание научных проектов по несогласованным многокритериальным оценкам.

Тачков А.А. Нечеткая классификация пожара системой управления мобильного пожарного робота. Стендовый доклад

12.15-17.45

Секция 3. Компьютерная лингвистика и семантический Web.

Председатели: Д.Г. Лахути, В.Ф. Хорошевский


Аудитория

Ц-224

12.15-13.15 Соловьев C.Ю. Нормализация контекстно-свободных грамматик для целей грамматического вывода.

Дяченко О.О., Загорулько Ю.А. Генерация формальных описаний научных статей для информационных систем.

Кожунова О.С. Семантический словарь системы информационного мониторинга и элементы формализации его статей.

13.15-14.00 Обед

14.00-15.40 Курбатов С.С., Найденова К.А., Хахалин Г.К. О схеме взаимодействия в комплексе «Анализ и синтез естественного языка и изображений».

Галицкий Б.А., Дремов Д.А., Кузнецов С.О. Автоматический поиск переводных словосочетаний.

Новицкий В.И. Повышение релевантности мета-поиска с использованием деревьев синтаксического разбора.

Галицкий Б.А., Кузнецов С.О., Якимович С.В. Семантическая классификация на основе обучения по деревьям синтаксического разбора.

Москин Н.Д. Применение нечетких теоретико-графовых моделей в задачах моделирования и поиска песенных мотивов.

15.40-15.55 Кофе-брейк

15.55-17.45 Карлов Б.Н. О свойствах обобщённых категориальных грамматик зависимостей.

Лукашевич Н.В., Логачев Ю.М. Использование методов машинного обучения для извлечения слов-терминов.

Клышинский Э.С., Логачева В.К. Автоматическое порождение правил транскрипции фамильно-именных групп.

Литвинов М.И. Комплексный метод снятия частеречной омонимии с использованием статистики совместного употребления слов в тексте на русском языке.

Ефименко И.В., Жалыбин П.П., Минор С.Г., Старостин А.С., Хорошевский В.Ф. Проект ONTOSMINER: воспоминания о будущем.

Михалькова Е.В. Концепция инвективных имен: возможности применения для формализации смысла комических текстов. Стендовый доклад.

Лукашевич Н.В., Четверкин И.И. Автоматическая классификация отзывов на основе оценочных слов. Стендовый доклад.

15.15-17.45

Секция 5. Классификация и распознавание

Председатели: О.М. Аншаков, С.О. Кузнецов


Аудитория

Ц-238

15.55-17.45 Шац В.Н. Применение модели информационной среды для решения задач классификации и обучения.

Кочин Д.Ю. Адаптивный поиск границ классов в задачах порядковой классификации.

Антипов С.Г., Фомина М.В. Метод формирования обобщенных понятий с использованием темпоральных деревьев решений.

Балтрашевич В.Э., Витол А.Д., Жукова Н.А., Соколов И.С. Интеллектуальный подход к анализу структуры и семантики ГТС.

Голубев С.В. Построение модели структурированных документов на основе машинного обучения.

Толкачева Е.В. О подходе к поддержке решений при автоматизированном составлении проектной документации. Стендовый доклад.

С 18.00 Экскурсия по р. Волга на теплоходе (фуршет)


22 сентября


10.00-11.30 Приглашенные доклады

10.00-10.45 В.К.Финн «Индуктивные методы миллевского типа в системах искусственного интеллекта».

10.45-11.30 О.П.Кузнецов, Л.Ю.Жилякова «Динамические ресурсные сети».

11.30- 11.45 Кофе-брейк

11.45-15.30

Секция 5. Классификация и распознавание

Председатели: О.М. Аншаков, С.О. Кузнецов


Аудитория

Ц-238

11.45-13.05 Семенкин Е.С., Шабалов А.А. Автоматизированное проектирование коллективов интеллектуальных информационных технологий для задач анализа данных.

Масалович А.А. Улучшение качества распознавания изображений документов путем устранения геометрических искажений.

Незнанов А. А., Строк Ф.В. Оценка и сравнение производительности алгоритмов анализа формальных понятий.

Волченко Е.В. Метод построения взвешенной обучающей выборки при групповой экспертной классификации.

13.05-13.50 Обед

13.50-15.30 Стаценко К.Б., Дерягин Д.Г., Мякутин А.В. Классификация графических объектов на иероглифических документах.

Ермоленко А.В., Корлякова М.О. Применение виртуальных моделей объектов для обучения нейросетей.

Колотиенко С.С., Туганбаев Д.А., Шамис А.Л. Комбинирование классификаторов при распознавании символов. Сравнительный анализ нескольких подходов.

Ицкович Л.А., Кузнецов С.О. Методы машинного обучения в задаче распознавания символов.

Козлова Э.В., Дерягин Д.Г. Оценка качества работы алгоритма поиска логической структуры документа при оптическом распознавании.

Пихенько М.С. Распознавание изображений логотипов компаний. Стендовый доклад.

11.45-15.30

Секция 1. Моделирование рассуждений и неклассические логики.

Председатели: В.Н. Вагин, Г.С. Плесневич


Аудитория

Ц-208

11.45-13.05 Раговский А.П. Способ представления термов в логике предикатов первого порядка. Алгоритм унификации.

Баранов Д.В., Махортов С.Д. Исследование и оптимизация условных систем переписывания на основе продукционно-логической модели.

Виноградов Г.П., Кирсанова Н.В., Федотов Р.С. Оценки убежденности об уровне информированности интеллектуального агента в задаче нечеткого выбора.

Куриленко И.Е. Реализация логики ветвящегося времени.

13.05-13.50 Обед

13.50-15.30 Васильевский А.С., Лапшин К.В. Многомерная исчисляющая классификация условных конструкций в непроцедурных языках интеллектуальных систем.

Найденова К.А. Некоторые принципы организации правдоподобных рассуждений в интеллектуальных системах.

Страбыкин Д.А., Шихов М.М. Метод вычислений в параллельном логическом выводе.

Вагин В.Н., Хотимчук К.Ю. Алгоритм абдуктивного вывода с использованием систем поддержки истинности на основе предположений.

11.45-15.30

Секция 11. Интеллектуальные динамические системы и роботы; планирование поведения.

Председатели: В.Э. Карпов, А.С. Ющенко


Аудитория

Ц-224

11.45-13.05 Добрынин Д.А. Интеллектуальные роботы состояние и перспективы.

Берштейн Л.С., Боженюк А.В. Определение сильной связности темпоральных графов.

Шестаков М.П., Кащеев А.А. Моделирование процесса обучения движениям в сложных биомеханических системах на основе нейронечетких комплексов.

Ковалев С.М. Формирование ассоциативных темпоральных правил в базах данных временных рядов на основе темпоральных сетевых моделей.

13.05-13.50 Обед

13.50-15.30 Яковлев К.С. Иерархический подход в задачах планирования траектории на плоскости.

Биктимиров Ф.Б., Лапшова Е.В. Применение CF-алгоритма в позиционировании группы мобильных автономных роботов.

Карпов В.Э. Эмоции роботов.

Волкова Т.А. Вариант динамического ДСМ-метода для обучения мобильного робота.

Девятков В.В., Алфимцев А.Н. Свойства интеллектуального человеко-машинного интерфейса.

15.30-15.45 Кофе-брейк

15.45-19.00 Съезд РАИИ

19.00 Вечерняя лекция. Т.В.Черниговская «Мозг и сознание: известное и неизвестное»


23 сентября


10.00-12.00

Секция 1. Моделирование рассуждений и неклассические логики.

Председатели: В.Н. Вагин, Г.С. Плесневич


Аудитория

Ц-208

10.00-12.00 Виноградов Д.В. Логика умолчаний как альтернатива модификационных исчислений.

Жожикашвили А.В., Савинич Л.В., Стефанюк В.Л. Процедуры выявления знаний об отношениях обусловленности.

Плесневич Г.С. Нечеткая аристотелева логика.

Аншаков О.М. PN-логики и модификационные исчисления.

Грунский И.С. Алгоритм резолюции в логике высказываний при 0-1-ном представлении дизъюнктов. Стендовый доклад.

12.00-12.15 Кофе-брейк

10.00-12.00

Секция 11. Интеллектуальные динамические системы и роботы; планирование поведения.

Председатели: В.Э. Карпов, А.С. Ющенко


Аудитория

Ц-224

10.00-12.00 Забегаев А.Н., Павловский В.Е. Адаптация фильтра Калмана для использования с локальной и глобальной системами навигации.

Павловский В.Е., Русецкая М.Н., Гордеев А.А., Кащеев А.В., Павловский В.В., Фролова Е.А., Юренков В.В. Мобильный интеллектуальный робот-помощник учителя и воспитателя РОБОНЯНЯ.

Калиниченко А.В. Система обнаружения и сопровождения видеомаркеров для обеспечения навигации робота.

Каганов Ю.Т., Карпенко А.П. Многоагентная и нейросетевая система управление манипулятором типа «Хобот».

Калуцкая А.П., Тарасов В.Б. Гранулярная онтология пространства для когнитивных мобильных роботов.

11.30- 11.45 Кофе-брейк

10.00-13.15

Секция 8. Многоагентные системы и распределенный искусственный интеллект.

Председатели: В.Л. Стефанюк, В.Б. Тарасов


Аудитория

Ц-238

10.00-12.00 Лисьев Г.А. Мультиагентный подход для построения модуля поддержки принятия решений в автоматизированной системе поддержки научных исследований (экономика).

Бурков В.Н., Виноградов Г.П., Кузнецов В.Н., Палюх Б.В., Семенов Н.А. Интеллектуальные активные системы.

Котенко И.В., Коновалов А.М., Шоров А.В. Моделирование функционирования команд интеллектуальных агентов бот-сетей и систем защиты.

Семенов С.В. Применение многоагентных технологий в корпоративных информационных пространствах.

Валиев М.К., Дехтярь М.И. О моделировании вероятностных МАС марковскими системами.

Виньков М.М., Фоминых И.Б..Повышение устойчивости к аномалиям интеллектуального агента с ограниченным временным ресурсом: метакогнитивный подход.

12.00-12.15 Кофе-брейк

12.15-13.15 Скобелев П.О. Опыт создания промышленных мультиагентных систем для управления мобильными ресурсами.

Бредихин К.Н., Варшавский П.Р. Реализация извлечения и сохранения прецедентов в CBR-системах на основе распределенных библиотек прецедентов.

Виноградов Г.П., Мальков А.А. Метод построения онтологии предметной области на основе семантического анализа запросов и технологии Text Mining. Стендовый доклад.

Долин В.О. Исследование влияния параметров локализации, регруппировки на эффективность работы алгоритма DMS-PSO. Стендовый доклад.

Федяев О.И., Жабская Т.Е. Семантика перехода от концептуальных к физическим моделям среды jack при создании многоагентных систем. Стендовый доклад.

13.15-14.00 Обед

12.15-16.15

Секция 10. Прикладные интеллектуальные системы.

Председатели: Г.В. Рыбина, Б.Е. Федунов


Аудитория

Ц-208

12.15-13.15 Федунов Б.Е., Романенко А.В. Компьютерные системы имитационного моделирования для отработки баз знаний бортовых интеллектуальных систем системообразующего ядра антропоцентрического объекта.

Евгенев Г.Б. Синергетическая case-технология создания прикладных интеллектуальных систем.

Дулин С.К., Дулина Н.Г., Уманский В.И. Интеллектуализация формирования ресурсов геоинформационного портала.

13.15-14.00 Обед

14.00-16.15 Миронов А.С. Об одном семействе интеллектуальных информационных систем учебного назначения, называемых статическими банками знаний.

Никифорова Л.Н. Методы и алгоритмы облета препятствий при маловысотном полете вертолета.

Нехаев И.Н., Власов А.А. Интеллектуальная система адаптивного тестирования уровня усвоения знаний.

Барановский Н.В. Концептуальный проект интеллектуальной детерминированно-вероятностной прогностической системы оценки лесной пожарной опасности.

Рыбина Г.В. Особенности разработки и использования обучающих интегрированных экспертных систем.

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

Ширма А.А. Адаптивная нейросетевая фильтрация полутоновых изображений. Стендовый доклад.

Зуенко А.А., Кулик Б.А., Фридман А.Я. Примеры применения алгебры кортежей в интеллектуальном анализе данных. Стендовый доклад.

16.15-16.30 Кофе-брейк

12.15-16.15

Секция 7. Нечеткие модели и мягкие вычисления

Председатели: А.Н. Аверкин, В.М. Курейчик


Аудитория

Ц-224

12.15-13.15 Норенков И.П. Генетические алгоритмы в задачах поиска решений на и/или графах.

Ходашинский И.А., Дудин П.А. Идентификация нечетких систем на основе прямого алгоритма муравьиной колонии.

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

13.15-14.00 Обед

14.00-16.15 Сусов Р.В. Метод нечеткого многокритериального выбора функций бизнес-процесса для оптимизации.

Карпов П.М. Новый иммуноподобный алгоритм классификации типа «обучение с учителем» VALIS.

Бураков С.В., Семенкин Е.С. Алгоритм генетического программирования для решения обыкновенных дифференциальных уравнений в символьном виде.

Лебедев Б.К., Лебедев В.Б. Трассировка на основе метода роя частиц.

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

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

Кажаров А.А., Курейчик В.М. Решение задачи о назначениях на основе муравьиных алгоритмов.

16.15-16.30 Кофе-брейк

14.00-18.15

Секция 12. Выставка программных продуктов

Председатели: И.А. Тихомиров, В.Ф. Хорошевский


Аудитория

Ц-328

14.00-16.15 Евсюков E.A., Марков А.A., Морозов Р.В., Ничепорчук В.В., Ноженкова Л.Ф. Программный комплекс «ЭСПЛА-ПРО».

Нурматова Е.В. Программное приложение нечёткого моделирования задачи анализа конкурентоспособности товара.

Бухтояров В.В. Программная система для автоматической генерации интеллектуальных технологий анализа данных IT-PEGAS.

Незнанов А.А., Старичкова Ю.В. Программные средства для построения и исследования моделей структурной сложности орграфов.

Киселёв А.А., Осипов Г.С., Смирнов И.В., Тихомиров И.А., Соченков И.В. Система интеллектуального вертикального поиска.

Афанасьева Т.В., Игонин А.Г., Перфильева И.Г., Романов А.А., Суркова Е.В., Шишкина В.В., Ярушкина Н.Г. Internet-сервис экспресс-анализа экономического состояния предприятия.

16.15-16.30 Кофе-брейк

16.30-18.15 Большакова Е.И., Носков А.А. Система для поиска и выделения конструкций в текстах на естественном языке.

Янковская А.Е., Китлер С.В. Интеллектуальная система ускоренного построения k-значных отказоустойчивых диагностических тестов.

Лебедев П. В. Программа верификации вероятностных многоагентных систем.

Ена О.В., Ефименко И.В., Клинцов В.П Социальный Web: решение Ontos.



16.30-18.15

Секция 4. Когнитивные исследования.

Председатели: В.А. Кобринский, О.П. Кузнецов


Аудитория

Ц-238

16.30-18.15 Новоселов Ю.В. Формальное описание когнитивных образов на основе модифицированного онтологического подхода.

Жилякова Л.Ю. Реализация рекурсивных запросов в динамической ассоциативной ресурсной сети.

Фоминых И.Б. Еще о решении творческих задач специалистом.

Валькман Ю.Р. Структура образа: доформальное исследование.

Малкова А.С. Представление знаний в ценностных суждениях (на материале русских пословиц).

Павлов А.В., Алексеев А.М. О закономерности формирования индуктивного обобщения нейросетью со связями по схеме голографии Фурье.

Заболеева-Зотова А.В., Столяров А.А. Визуализация пространственных отношений. Стендовый доклад.

Каунов С.А., Аверкин А.Н. Моделирование эмоций при принятии решений на основе гибридных интеллектуальных систем. Стендовый доклад.

16.30-18.15

Секция 6. Инженерия знаний, управление знаниями, онтологии.

Председатели: Т.А. Гаврилова, В.В. Грибова


Аудитория

Ц-224

16.30-18.15 Костенко К.И. Классификация операций в пространствах знаний.

Гаврилова Т.А. Когнитивно-дидактические инструменты инженерии знаний.

Болотникова Е.С., Гаврилова Т.А., Горовой В.А. Когнитивная эргономичность онтологий в обучении.

Зуенко А.А., Кулик Б.А., Фридман А.Я. Анализ контекстов при моделировании слабо формализованных предметных областей.

Дейнеко А.О., Рыбина Г.В. Распределенное приобретение знаний для автоматизированного построения баз знаний интегрированных экспертных систем.

Соснин П.И. Создание и использование онтологий проектов в разработке автоматизированных систем.

Грибова В.В., Клещев А.С., Шалфеева Е.А. Концепция и архитектура средств управления интеллектуальными системами.

18.15-19.00 Приглашенный доклад. В.Л. Стефанюк. «Решение творческих задач».

19.30 Товарищеский ужин.


24 сентября


10.00-14.00

Круглый стол: Философские проблемы искусственного интеллекта.

Ведущие: В.А.Лекторский, Д.И.Дубровский, С.В.Леньков, А.Ю.Алексеев


Аудитория

Ц-208

Темы для обсуждения:

Естественный и искусственный интеллект: общее и особенное;

Проблема «сознание и мозг» в искусственном интеллекте;

Тесту Тьюринга – шестьдесят лет. Итоги и перспективы;

Роль проблематики искусственного интеллекта в НБИК-конвергенции;

Актуальные проблемы междисциплинарных исследований в области искусственного интеллекта;

Искусственный интеллект – стратегический ресурс развития электронной культуры.

11.45-12.00 Кофе-брейк

12.00-14.00 Продолжение работы «круглого стола»

10.00-14.00

Секция 7. Нечеткие модели и мягкие вычисления

Председатели: А.Н. Аверкин, В.М. Курейчик


Аудитория

Ц-238

10.00-11.45 Миловидов А.А., Филатова Н.Н. Нечеткая модель аудиограммы и ее применение в интеллектуальной системе диагностики.

Бухтояров В.В. Разработка и исследование комплексного эволюционного подхода для проектирования коллективов нейросетевых технологий моделирования и прогнозирования.

Звонков В.Б., Ефимов С.Н. Эволюционный алгоритм с автоматическим выбором генетических операторов.

Шашкин Л.О. Применение генетических алгоритмов для решения оптимизационных задач.

Лебедев О.Б. Покрытие методом муравьиной колонии.

11.45-12.00 Кофе-брейк

12.00-14.00 Ионин В.К. Силлогизмы для нечеткой пропозициональной аристотелевой логики с непрерывной и строго монотонной нормой.

Борисов В.В., Устиненков Е.С. Нечеткие когнитивные модели для анализа взаимодействий в многоагентных системах.

Арзамасцева И.В. Нечеткие математические модели терминосистем для определения предметной области текста.

14.00-15.00 Обед

10.00-14.00

Секция 6. Инженерия знаний, управление знаниями, онтологии.

Председатели: Т.А. Гаврилова, В.В. Грибова


Аудитория

Ц-224

10.00-11.45 Апанович З.В., Винокуров П.С. Информационные порталы, основанные на онтологиях, и визуализация научных сообществ.

Смирнов С.В. Классификация допустимых спецификаций свойств симметрии бинарных отношений в моделях знаний.

Кудрявцев Д.В., Григорьев Л.Ю. Визуальный язык классификаторов и проекций для разработки баз знаний.

Курбатов С.С. Высокоуровневые эвристики для автоматизированного формирования базы знаний.

Морозов Р.В., Ничепорчук В.В. Представление знаний в системе комплексной поддержки управления в чрезвычайных ситуациях «ЭСПЛА-ПРО».

11.45-12.00 Кофе-брейк

12.00-14.00 Корунова Н.В., Наместников А.М., Островский А.А., Родионова Ю.А., Чекина А.В., Ярушкина Н.Г. Интеллектуальный репозиторий проектных документов.

Суховеров В.С., Шипилина Л.Б. Структура и запросы в онтологиях.

Бениаминов Е.М., Лапшин В.А., Перов Д.В. Проект Веб-сервера онтологий в стиле Веб 2.0

Шалфеева Е.А. Структурный подход к мониторингу концептуальных информационных ресурсов.

Бернштейн А.В., Бурнаев Е.В. Инвариантные модели предсказательного метамоделирования.

14.00-15.00 Обед

15.00 Закрытие конференции

Темы семинаров


Семинар 1. «МЕТОДЫ ВЫЧИСЛИТЕЛЬНОГО ИНТЕЛЛЕКТА, МЕТАЭВРИСТИЧЕСКИЕ МЕТОДЫ И ИХ ПРАКТИЧЕСКОЕ ПРИМЕНЕНИЕ»

Зинченко Л.А., Сорокин С.Н. Коэволюция в методах вычислительного интеллекта

Казаков П.В. Возможности генетических алгоритмов для решения задачи многокритериальной оптимизации инвестиционного портфеля.

Лавыгина А.В., Ходашинский И.А. Гибридный алгоритм настройки параметров нечетких моделей.

Лыткин И.С., Липинский Л.В., Семенкина М.Е.Об эволюционном алгоритме формирования нейросетевой системы подавления.

Непомнящих В.А., Редько В.Г. Биологически обоснованный метод формирования поискового поведения.

Сорокин С.Н., Сорокин Б.С. Применение метаэвристических алгоритмов в системах когнитивного радио.

Цой Ю.Р. Об адаптивном увеличении размерности пространства признаков.

Ярушкина Н.Г., Чекина А.В. Кластеризация информационных ресурсов на основе генетического алгоритма.

Бухтояров В.В. Комплексный эволюционный подход для проектирования коллективов нейросетевых технологий моделирования и прогнозирования.

Комарцова Л.Г., Кадников Д.С. Сравнительный анализ генетических алгоритмов поиска оптимального решения.

Гладков Л.А. Нечеткий генетический алгоритм решения многокритериальной задачи о назначениях.


Семинар 2. «ИНТЕЛЛЕКТУАЛЬНЫЕ ОРГАНИЗАЦИИ»

Данилов А.В., Казаков В.А., Тельнов Ю.Ф. Построение динамической интеллектуальной системы управления бизнес-процессам.

Калянов Г.Н. Использование формальных грамматик в задачах реинжиниринга бизнес-процессов.

Лукинова О.В. Семантический подход к проектированию системы защиты Информационной системы на основе бизнес-процессов.

Палюх Б.В., Бурдо Г.Б. Иерархическая многоагентная интеллектуальная система проектирования и управления технологическими процессами в организациях единичного и мелкосерийного производства.

Трембач В.М. Представление сложных связей в описаниях предметной области для решения задач целенаправленного поведения.