КИИ-2006

ДЕСЯТАЯ НАЦИОНАЛЬНАЯ

КОНФЕРЕНЦИЯ

ПО ИСКУССТВЕННОМУ ИНТЕЛЛЕКТУ

С МЕЖДУНАРОДНЫМ УЧАСТИЕМ

г. Обнинск

25-28 сентября

2006 года

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

24 сентября - заезд на семинары

25 сентября – семинары 1, 2, заезд на конференцию и регистрация с 14:00 до 19:00 

 

 Заседание Программного комитета - 17.30 

 26 сентября

9:00-9:30

Регистрация

9:30-10:00

Открытие конференции

10:00-10:45

Приглашенный доклад. Конференц-зал. Э.В.Попов. Возможен ли прорыв в исследованиях по искусственному интеллекту в ближайшие годы?

 10:45-11:00 Кофе-брейк

  Аудитория А Аудитория Б Аудитория В

11:00-13:00

Интеллектуальный анализ данных и машинное обучение (рук. Кобринский Б.А., Финн В.К.)

Прикладные, инструментальные и обучающие системы системы (рук. Рыбина Г.В., Федунов Б.Е.)

Модели образного мышления (рук. Карпов В.Э.,Кузнецов О.П., Фоминых И.Б.)

 13:00-14:00 Обед

14:00-14:45

Приглашенный доклад. Конференц-зал. Ю.И.Журавлев. Мультиалгоритмические системы принятия решений на основе списков прецедентов.

14:45-17:45

Интеллектуальный анализ данных и машинное обучение (рук. Кобринский Б.А., Финн В.К.)

Нечеткие модели и мягкие вычисления (рук. Курейчик В.М., Тарасов В.Б.)

Роботы и модели пове-дения (рук. Карпов В.Э.,Кузнецов О.П., Фоминых И.Б.)

 17:45-18:00 Кофе-брейк

18:00-19:30

Интернет и многоагентные системы (рук. Осипов Г.С., Хорошевский В.Ф.)

Естественный язык (рук. Лахути Д.Г., Попов Э.В.)

Инженерия знаний и онтологии (рук. Гаврилова Т.А., Стефанюк В.Л.)

  19:30 Ужин

 27 сентября

9:30-10:15

Приглашенный доклад. Конференц-зал.

Т.А.Гаврилова. Формирование прикладных онтологий.

10:15-11:35

Логики принятия решений и многоагентные системы (рук. Виноградов Д.В., Тарасов В.Б., Финн В.К.)

Естественный язык (рук. Лахути Д.Г., Попов Э.В.)

Инженерия знаний и онтологии (рук. Гаврилова Т.А., Стефанюк В.Л.)

 11:35-11:50 Кофе-брейк

11:50-13:00

Логики принятия решений и многоагентные системы (рук. Виноградов Д.В., Тарасов В.Б., Финн В.К.)

Естественный язык (рук. Лахути Д.Г., Попов Э.В.)

Инженерия знаний и онтологии (рук. Гаврилова Т.А., Стефанюк В.Л.)

  13:00-14:00 Обед

14:00-16:00

Правдоподобные рассуждения и неклассические логики (рук. Вагин В.Н., Плесневич Г.С.)

Естественный язык (рук. Лахути Д.Г., Попов Э.В.)

Интеллектуальные системы поддержки принятия решений (рук. Еремеев А.П., Петровский Б.А.)

  

 16:00-19:30 Съезд РАИИ

 20:00 Товарищеский ужин

 28 сентября

9:30-10:15

Приглашенный доклад. Конференц-зал. В.И.Городецкий. Методы распределенного обучения в системах коллективного распознавания и классификации: Обзор современных результатов.

10:15-11:15

Правдоподобные рассуждения и неклассические логики (рук. Вагин В.Н., Плесневич Г.С.)

Выставка программных средств (рук. Хорошевский В.Ф.)

Интеллектуальные системы поддержки принятия решений (рук. Еремеев А.П., Петровский Б.А.)

 11:15-11:30 Кофе-брейк

11:30-13:00

Прикладные, инструментальные и обучающие системы (рук. Рыбина Г.В., Федунов Б.Е.)

Выставка программных средств (рук. Хорошевский В.Ф.)

Интеллектуальные системы поддержки принятия решений (рук. Еремеев А.П., Петровский Б.А.)

  13:00- 14:00 Обед

14:00-16:00

Прикладные, инструментальные и обучающие системы (рук. Рыбина Г.В., Федунов Б.Е.)

Выставка программных средств (рук. Хорошевский В.Ф.)

Интеллектуальные системы поддержки принятия решений (рук. Еремеев А.П., Петровский Б.А.)

  16:00-16:20 Кофе-брейк

  16:20-19:00 Круглый стол

 

  19:00 Ужин

  20:00 Закрытие конференции

 ПРОГРАММА КОНФЕРЕНЦИИ

 26 сентября, вторник

9:00-9:30

Регистрация

9:30-10:00

Открытие конференции

10:00-10:45

Приглашенный доклад. Конференц-зал. Э.В.Попов. Возможен ли прорыв в исследованиях по искусственному интеллекту в ближайшие годы?

10:45-11:30

Кофе-брейк

 Аудитория А Аудитория Б Аудитория В

11:00-13:00

Интеллектуальный анализ данных и машинное обучение (рук. Кобринский Б.А.,Финн В.К.)

Прикладные, инструментальные и обучающие системы системы (рук. Рыбина Г.В., Федунов Б.Е.)

Модели образного мышления (рук. Карпов В.Э., Кузнецов О.П., Фоминых И.Б.)

 

Корлякова М.О., Твердохлеб Н.С. Выбор метода вычисления информативности признаков.

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

Кувшинов Б.М., Ширяев В.И.

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

Кохов В.А. Граф-модели для определения сходства структур систем с учетом сходства расположения фрагментов.

Поляков В.Н. Савельев А.А., Соловьев В.Д. Опыт применения методов интеллектуального анализа данных в компаративистских и типологических исследованиях (на материале созданной в ИЯ РАН БД «ЯЗЫКИ МИРА»).

Лукашевич И.П., Мачинская Р.И., Фишман М.Н. Принципы структурной организации информации при построении медицинских интеллектуальных систем.

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

интеллекта.

Репьев А.В. Адаптивная обучающая система «Безопасность».

Жукова Н.А. Использование алгоритмов ассоциации в интеллектуальных системах обработки телеметрической информации.

Федунов Б.Е. Макромодель антропоцентрического объекта для разработки алгоритмов бортового интеллекта.

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

Фоминых И.Б. Эмоции как аппарат оценок поведения интеллектуальных систем.

Жилякова Л.Ю. Проблемы моделирования сознания и голографическая память.

Алексеев А.М., Павлов А.В. Интеграция логического и образного мышления методом Фурье-голографии: реализация немонотонных рассуждений.

13:00-14:00

Обед

 

14:00-14:45

Приглашенный доклад. Конференц-зал. Ю.И.Журавлев. Мультиалгоритмические системы принятия решений на основе списков прецедентов.

 

14:45-17:45

Интеллектуальный анализ да-ных и машинное обучение (рук. Кобринский Б.А.,Финн В.К.)

Нечеткие модели и мягкие вычисления (рук. Курейчик В.М., Тарасов В.Б.)

Роботы и модели поведения (рук. Карпов В.Э., Кузнецов О.П., Фоминых И.Б.)

 
 

Поляков В.Н. Савельев А.А., Соловьев В.Д. Опыт применения методов интеллектуального анализа данныхв компаративистских и типологических исследованиях (на материале созданной в ИЯ РАН БД «ЯЗЫКИ МИРА»).

Бутенков Д.С., Бутенков С.А., Аль-Доуяни С. Интеллектуальный анализ изображений с помощью нечетких отношений на инкапсулирующих гранулах.

Воинов А.В., Демикова Н.С., Кобринский Б.А. Словарное шкалирование в медицинской информатике: инженерия знаний и интеллектуальный анализ данных.

Берестнева О.Г., Добрянская Р.Г., Муратова Е.А. Применение мето-дов Data Mining для формирования базы знаний экс-пертной системы прогнозирования исхода родов.

Игнатов Д.И., Кузнецов С.О. О поиске сходства Интернет-доку-ментов с помощью частых замкнутых множеств признаков.

Карп В.П.Метод перебора конъюнкций в проблеме структурного анализа многомерных данных (на приме-ре решения медицинских задач).

Добрынин Д.А., Захарова Е.В., Зуева М.В., Панкратова Е.С., Цапенко И.В. Интеллектуальные ДСМ-системы для анализа медицинских данных и диагностики.

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

Иванова Н.Н., Ярушкина Н.Г. Исследование многошагового нечеткого вывода на примере построения экспертной системы оценки экологической безопасности производственной деятельности.

Борисов П.А., Виноградов Г.П. Алгоритмы адаптации баз знаний в нечетких системах.

Вельмисов А.П., Стецько А.А., Ярушкина Н.Г. Нечеткие гибридные системы в задачах интеллектуального анализа данных.

Лебедев Б.К., Лебедев О.Б. Эволюционные процедуры решения комбинаторных задач на графах.

Новоселова Н.А. Построение нечеткого классификатора с использованием метода субтрактивной кластеризации и последующая оптимизация его структуры для повышения интерпретируе-мости результатов.

Татузов А.Л. Нейросетевая модель появления и пропадания генов в ходе эволюции.

Добрынин Д.А. Интеллектуальные роботы вчера, сегодня, завтра.

Скворцова О. Lifted first-order decision-theoretic planning.

Добрынин Д.А. Динамический ДСМ-метод в задаче управления интеллектуальным роботом.

Трофимов И.В. Значимый контекст рассуждений в задаче планирования: эксперименты и перспективы.

Виноградов А.Н. Интеллектуальная моделирующая система «MIRACLE».

Куницын С.М., Толстель О.В., Шарапаев Л.А. Разработка прототипа домашнего робота.

Карпов В.Э. Об одной задаче управления мобильным роботом.

Осипов Г.С. Множество достижимых состояний динамических систем, основанных на правилах.

 
   

17:45-18:00

Кофе-брейк

 

18:00-19:30

Интернет и многоагентные системы (рук. Осипов Г.С., Хорошевский В.Ф.)

Естественный язык (рук. Лахути Д.Г., Попов Э.В.)

Инженерия знаний и онтологии (рук. Гаврилова Т.А., Стефанюк В.Л.)

 
 

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

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

Воеводин Ю.Ю., Комарцова Л.Г. Нейросетевые методы эффективного поиска релевантной информации в сети Интернет.

Котенко И.В., Уланов А.В. Агентно-ориентированное моделирование поведения сложных систем в среде Интернет.

Воскресенский А.Л., Хахалин Г.К. Контекстное фрагментирование в лингвистиеском анализе.

Добров Б.В., Лукашевич Н.В. Лингвистическая онтология по естественным наукам и технологиям: основные принципы разработки и текущее состояние.

Рубашкин В.Ш. Семантический компонент в системах понимания текста.

Ветров Д.П., Кропотов Д.А., Толпегин П.В. Прагматический анализ с применением подходов к автоматизированному созданию онтологической базы знаний.

Горбушин Н.Г. Модели смысла и сознания в искусственном интеллекте.

Князева М.А. Интеллектуальная система управления знаниями об оптимизации программ.

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

Кудрявцев Д.В. Разработка проблемно-ориентированных онтологий.

 

19:30

Ужин

 

 27 сентября, среда

9:30-10:15

Приглашенный доклад. Конференц-зал.

Т.А.Гаврилова. Формирование прикладных онтологий.

10:15-11:35

Логики принятия решений и многоагентные системы (рук. Виноградов Д.В., Тарасов В.Б., Финн В.К.)

Естественный язык (рук. Лахути Д.Г., Попов Э.В.)

Инженерия знаний и онтологии (рук. Гаврилова Т.А., Стефанюк В.Л.)

 

Аншаков О.М. Об одном подходе к порождению гипотез в ДСМ-методе.

Финн В.К. Об одном классе логик аргументации.

Хайлова В.В. Анализ Эффективности работы WEB-сайта с применением методов ИАД.

Большакова Е.И., Васильева Н.Э., Морозов С.С. Лексико-синтакси-ческие шаблоны для автоматического анализа научно-технических текстов.

Протасов С.В. Обучения с нуля грамматики связей русского языка.

Попов Э.В. "Естественный" подход к обучению модели ребенка естественному языку.

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

Лакомов Д.П., Резник С.А., Сидельникова Е.В, Тишков А.В., Черватюк О.В. Обнаружение и устранение противоречий в спецификациях сложных систем.

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

11:35-11:50

Кофе-брейк

11:50-13:30

Логики принятия решений и многоагентные системы (рук. Виноградов Д.В., Тарасов В.Б., Финн В.К.)

Естественный язык (рук. Лахути Д.Г., Попов Э.В.)

Инженерия знаний и онтологии (рук. Гаврилова Т.А., Стефанюк В.Л.)

 

Козлова Ю.В. Генератор тестовых примеров для различных вариантов ДСМ-метода.

Михеенкова М.А., Финн В.К. Анализ мнений и многоагентные системы.

Подмаркова Н.О. Дидактическое FLASH-приложение по ДСМ-методу.

Бурмистров М.Ю., Валиев М.К., Дехтярь М.И., Диковский А.Я. О верификации динамических свойств систем взаимодействую-щих агентов.

Виноградов Д.В. Бирешетки и логика аргументации.

Ефименко И.В. Лингвистические аспекты кроссязыкового реферирования: синтез текстов под управлением предметных онтологий.

Ефименко И.В. Обработка естественно-языковых текстов: онтологичность в лингвистике и дискурсивность в извлечении знаний.

Хорошевский В.Ф. Оценка систем извлечения информации из текстов на естественном языке: кто виноват, что делать.

Кучуганов В.Н. Анализ многозначностей в естественно-языковых

текстах.

Яловец А.Л. О некоторых свойствах логико-вычислительной семантической сети.

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

13:00-14:00

Обед

14:00-16:00

Правдоподобные рассуждения и неклассические логики (рук. Вагин В.Н., Плесневич Г.С.)

Естественный язык (рук. Лахути Д.Г., Попов Э.В.)

Интеллектуальные системы поддержки принятия решений (рук. Еремеев А.П., Петровский Б.А.)

 

Акчурина Н.Р., Вагин В.Н. Параллельная обработка таблиц решений для задач распознавания.

Варшавский П.Р. Реализация метода правдоподобных рассуждений на основе прецедентов для интеллектуальных систем поддержки принятия решений.

Котельников Е.В., Страбыкин Д.А. Абдуктивный метод модификации посылок в исчислении высказываний.

Плесневич Г.С. Силлогистики для семантических сетей.

Виньков М.М. Аргументационная семантика для шаговых теорий активной логики.

Александровский Д.А., Кормалев Д.А., Кормалева М.С., Куршев Е.П., Сулейманова Е.А., Трофимов И.В. Развитие средств аналитической обработки текста в системе ИСИДА-Т.

Невзорова О.А. Подход к разработке методов автоматизированного контроля информационной целостности технических текстов.

Кормалев Д.А. Обобщение и специализация при построении правил извлечения информации.

Подмаркова Н.О. О модели семантических связей для дидактического двуязычного словаря.

Айриян Г.Ю., Баталина А.М., Епифанов М.Е., Кобзарева Т.Ю., Кушнарева Е.В., Лахути Д.Г. Объектная среда для отладки алгоритмов поверхностно-синтаксического анализа.

Баталина А.М., Епифанов М.Е. Объектная модель поверхностно-синтаксического анализа.

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

Фридман А.Я., Фридман О.В. Поддержка принятия решений по управлению структурой иерархических пространственных систем.

Колесникова С.И., Янковская А.Е. К вычислению весовых коэффициентов признаков в интеллектуальных динамических системах.

Ройзензон Г.В. Решение проблемы несравнимости многокритериальных альтернатив с использованием метода «ИСКРА».

Новоселов Ю.В. Когнитивная графика как абстракция в системах поддержки принятия решений в сфере энергоконтроля.

16:00-19:30

Съезд РАИИ

20:00

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

 28 сентября, четверг

9:30 – 10:15 

Приглашенный доклад. Конференц-зал. В.И.Городецкий. Методы распределенного обучения в системах коллективного распознавания и классификации: Обзор современных результатов.

 

10:15-11:15

Правдоподобные рассуждения и неклассические логики (рук. Вагин В.Н., Плесневич Г.С.)

Выставка программных средств (рук. Хорошевский В.Ф.)

Интеллектуальные системы поддержки принятия решений (рук. Еремеев А.П., Петровский Б.А.)

 
 

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

Кулинич А.А., Титова Н.В. Модель оценки альтернатив управления слабоструктурированными динамическими ситуациями.

Андреева О.А., Боровикова О.И., Булгаков С.В., Загорулько Ю.А., Сидорова Е.А., Циркин Б.Г., Холюшкин Ю.П. Археологический портал знаний: содержательный доступ к знаниям и информационным ресурсам по археологии.

Бондаренко И.Ю., Гладунов С.А., Федяев О.И. Сегментно-целостная структура канала речевого управления программными системами.

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

Петровский А.Б. Кластерный анализ объектов с противоречивыми свойствами.

 

11:15-11:30

 Кофе-брейк

 

11:30-13:00

Правдоподобные рассуждения и неклассические логики (рук. Вагин В.Н., Плесневич Г.С.)

Выставка программных средств (рук. Хорошевский В.Ф.)

Интеллектуальные системы поддержки принятия решений (рук. Еремеев А.П., Петровский Б.А.)

 
 

Котельников Е.В., Страбыкин Д.А. Адаптивная машина логического вывода.

Куриленко И.Е. Повышение эффективности алгоритмов вывода для системы временных рассуждений.

Гончар А.М., Загорулько Г.Б., Рубан М.Н., Рябков А.Н. Эксперная система поддержки диагностики, профилактики и лечения элементозов на основе коррекции питания.

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

Масалитина М.В. Смысловая модель выбора вариантов, представленных многими признаками.

Неделина А.Ю. Разработка распределенного планировщика для систем поддержки принятия решений.

Еремеев А.П. Логика ветвящегося времени и ее применение в интеллектуальных системах поддержки принятия решений.

 

13:00-14:00

Обед

14:00-16:00

Прикладные, инструментальные и обучающие системы (рук. Рыбина Г.В., Федунов Б.Е.)

Выставка программных средств (рук. Хорошевский В.Ф.)

Интеллектуальные системы поддержки принятия решений (рук. Еремеев А.П., Петровский Б.А.)

 

Богданов В.С., Котенко И.В., Степашкин М.В. Интеллектуальная система анализа защищенности компьютерных сетей.

Соснин П.И. Вопросно-ответное моделирование в проектировании автоматизированных систем.

Тюрганов А.Г. Формализованные понятийные модели для проектирования организационно-технических систем.

Иващенко М.Г., Рыбина Г.В. Использование методов ресурсно-календарного планирования для интеллектуальной поддержки построения интегрированных экспертных систем.

Ветров А.Н., Палюх Б.В. Ситуационное моделирование возможности торфяных пожаров.

Котенко И.В., Уланов А.В. Система многоагентного моделирования механизмов защиты компьютерных сетей.

Воинов А.В. Решение задач психосемантики и инженерии знаний в системе МЕДИС 4.0.

Аристов В.В., Коломиец Е.А., Кондращенко В.Я., Яловец А.Л. Реализации концепции автоматизированного планирования и сопровождения мер противодействия чрезвычайным ситуациям средствами системы поддержки принятия решений «СПОР».

 

16:00-16:20

Кофе-брейк

16:20-19:00

Круглый стол

19:00

Ужин

20:00

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