Тринадцатая национальная конференция по искусственному интеллекту КИИ-2012
г. Белгород, 16-20 октября 2012 г.
Выставка программных продуктов
Труды конференции
Лекции
Лекция академика С.Н.Васильева «Наука управления. Интеллектуальные и многоагентные системы: состояние и перспективы»
Кузнецов О.П. «Когнитивная семантика и искусственный интеллект»
Приглашенные доклады
Летичевский А.А. «Инсерционное моделирование и когнитивные архитектуры»
Городецкий В.И. «Открытые многоагентные системы и самоорганизация: Новые возможности»
Осипов Г.С. «Состояние исследований в области искусственного интеллекта»
Секционные доклады
Секция 1. Моделирование рассуждений и неклассические логики
Председатели: В.Н.Вагин, Г.С.Плесневич
Аншаков О.М.,. Ковтун В.А. ДСМ-подобные системы, испольующие аппарат нечеткого вывода. Аннотация
ПрезентацияВагин В.Н. Моросин О.Л. Система аргументации для логики предикатов первого порядка. Аннотация
Виньков М.М., Фоминых И.Б. Моделирование рассуждений интеллектуального агента, решающего задачи в условиях жестких временных ограничений: базовые принципы. Аннотация
Зарецкий Д.С. Использование системы поддержки истинности на основе предположений в логике предикатов первого порядка.
Зуенко А.А. Кулик Б.А. Фридман А.Я. Реализация комбинированных методов логико-семантического анализа с использованием алгебры кортежей.
Куриленко И.Е. О применении метрической временной логики при построении механизма вывода на основе прецедентов.
Махортов С.Д., Шурлин М.Д. Алгебраическая система на решетке типов для верификации и рефакторинга.
Моросанова Н.А. Трансформации схем оценки уверенности в логическом выводе.
Страбыкин Д.А., Томчук М.Н. Метод логического прогнозирования развития ситуаций на основе дедуктивного вывода заключений.
Секция 2. Интеллектуальный анализ данных
Председатели: В.К.Финн, М.А.Михеенкова
Михеенкова М.А., Финн В.К. О представлении данных и знаний для интеллектуального анализа социологических данных. Аннотация
Гусакова С.М. Отношение толерантности, характеризущее корректность ДСМ-рассуждений.
Виноградов Д.В. Автоматическое порождение гипотез в ДСМ-методе с помощью цепи Маркова.
Панкратова Е.С., Добрынин Д.А., Михайлова И.Н. Интеллектуальная компьютерная система для анализа клинических данных больных меланомой.
Котельников Е.В. Опыт применения ДСМ-метода для определения тональности текста.
Вагин В.Н., Фомина М.В. Исследование влияния шума на работу алгоритмов обобщения Аннотация
Ярушкина Н.Г., Афанасьева Т.В. Гранулярное моделирование временных рядов.
Ярушкина Н.Г., Афанасьева Т.В., Тимина И.А. К вопросу о прогнозировании многомерного гетерогенного временного ряда.
Янковская А.Е., Аметов Р.В., Китлер С.В. Интеллектуальный комплекс систем экспресс-диагностики психологического здоровья.
Найденова К.А. Модель индуктивно-дедуктивных естественных рассуждений на основе классификационных рассуждений.
Дерипаска А.О., Жукова Н.А., Панькин А.В. Адаптивный выбор процессов обработки и анализа многомерных измерений в интеллектуальных информационных системах.
Секция 3. Компьютерная лингвистика и семантический Web
Председатели: Д.Г.Лахути, В.Ф.Хорошевский
Кобзарева Т.Ю. Конфликт грамматики и статистики.
Соловьев С.Ю. Базовый алгоритм восстановления разделенных грамматик.
Шелманов А.О. Метод автоматического выделения многословных терминов из текстов научных публикаций.
Нехай И.В. Применение N-грамм и других статистик уровня символов и слов для семантической классификации именованных сущностей
Азимов А.Е., Большакова Е.И. Автоматическая коррекция ошибок сочетаемости слов в текстах.
Клышинский Э.С., Кочеткова Н.А. Метод автоматической генерации модели управления глаголов русского языка.
ПрезентацияЕпифанов М.Е., Дулина Н.С., Клячко Е.Л., Кобзарева Т.Ю., Лахути Д.Г. Об экспериментальной реализации алгоритмов выделения проективных фрагментов именных и предложных групп в русском предложении. Аннотация
Сулейманов Д.Ш., Гатиатуллин А.Р., Сулейманова Д.Д., Галиева А.М.. Контекстно-ориентированные семантические универсалии.
Ефименко И.В. Модели использования и интерпретации оценочной информации в прогнозировании: время, состояние, вероятность (doc) Аннотация
Гаранина Н.О., Загорулько Ю.А., Сидорова Е.А. Мультиагентный алгоритм анализа текста на основе онтологии предметной области.
Хорошилов А.А. Решение проблемы многоязычного поиска текстовой информации на основе использования систем фразеологического машинного перевода.
Ландэ Д.В., Брайчевский С.М. Моделирование поведения тематических сюжетов новостей в веб-пространстве.
Хорошевский В.Ф. Выявление новых технологических трендов: проблемы и перспективы (doc) Аннотация
Секция 4. Когнитивные исследования
Председатели: Б.А.Кобринский,О.П.Кузнецов
Редько В.Г. О моделировании когнитивной эволюции.
ПрезентацияПанов А.И. Семейства отношений в знаковой картине мира.
Валькман Ю.Р., Валькман Р.Ю. Онтологии в моделировании образного мышления (doc)
Кобринский Б.А., Таперова Л.Н. Модель понятийно-образных (лингво-образных) фреймов для медицинских интеллектуальных систем. Аннотация
Новосёлов Ю.В. Компьютерные программные средства разработки когнитивных образов.
Костюков М.В. Компьютерное моделирование сетчатки человека на основе межнейронного взаимодействия.
Анохин А.Н., Ивкин А.С. Визуальная поддержка когнитивной деятельности оператора. (doc)
Презентация (ppt)
Секция 5. Распознавание и классификация
Председатели: О.М.Аншаков, С.О.Кузнецов
Петров С.П. Квантовое распознавание лиц: алгоритмы предварительной обработки изображения.
Хабибуллин М.Ф. О выборе метрики при оценке результатов распознавания документов.
Коломийцев Я.А. Модель интеллектуальной картографической визуализации.
Апанович З.В., Винокуров П.С., Марчук А.Г. Платформа для визуализации и исследования наукометрической информации семантических баз данных.
Околедов А., Масалович А. Построение обобщённой векторной модели рукописных символов.
Исхаков А.Р., Мигранов Н.Г., Маликов Р.Ф. Обработка и анализ изображений в модифицированных дескриптивных алгебрах изображений.
Паламарь И.Н, Юлин С.С. Классификация временных последовательностей на основе использования словных случайных полей со скрытыми состояниями и самоорганизующихся карт Кохонена
Миркин Б.Г., Шестаков А.В. Эффективность критерия наименьших квадратов в задаче построения согласованного разбиения.
Игнатов Д., Гнатышак Д., Семенов А., Пульманс Й. Разработка данных (Data Mining) онлайн социальных сетей с помощью бикластеризации и трикластеризации. Аннотация
Игнатов Д., Каминская А., Константинов А., Яворский Р. Система анализа данных коллаборативных платформ CrowDM Аннотация
Чекина А.В. Генетическая кластеризация технической документации в проектном репозитории САПР.
Девяткин Д.А., Швец А.В. Экспериментальный метод автоматического выделения тем исследований и научных коллективов
Секция 6. Инженерия знаний, управление знаниями, онтологии
Председатели: Т.А.Гаврилова, В.В.Грибова
Аюпов М.М., Кулик Б.А., Невзорова О.А., Сулейманов Д.Ш., Фридман А.Я. Подход к построению вопросно-ответных обучающих систем на базе сетей многоместных отношений.
Рыбина Г.В., Мозгачев А.В. Приобретение, представление и обработка темпоральных знаний в динамических интегрированных экспертных системах.
Загорулько Г.Б., Загорулько Ю.А. Подход к разработке онтологии задач и методов поддержки принятия решений Аннотация
Кудрявцев Д.В., Гаврилова Т.А. Систематизация визуальных языков моделирования.
Кулинич А.А. Концептуальные «каркасы» онтологий в поддержке принятия решений в условиях неопределенности. Аннотация
Курбатов С.С., Литвинович А.В., Лобзин А.П., Хахалин Г.К. Концептуальный синтез графических образов по структурам прикладной онтологии.
Наместников А.М., Филиппов А.А. Метод генетической оптимизации онтологических представлений проектных документов в задаче индексирования.
Наместников А.М. Метод нечеткого оценивания качества онтологии проектного репозитория.
Виноградов И.Д., Смирнов С.В. Расширение метода объединения онтологий средствами реляционного концептуального анализа.
Тельнов Ю.Ф., Казаков В.А. Технология организации и доступа к знаниям в интегрированном информационно-образовательном пространстве.
Титова Н.В. О задаче интеграции данных от унаследованных систем при создании больших информационно-аналитических систем в сфере государственного управления.
Панкова Л.А., Пронина В.А. Подбор персонала научной организации на основе онтологической модели знаний.
Секция 7. Нечеткие модели и мягкие вычисления
Председатели: А.Н.Аверкин, В.М.Курейчик
Аверкин А.Н., Паринов А.А. Параллельная реализация генетического алгоритма обучения нечетких когнитивных карт. Аннотация
Аверкин А.Н., Повидало И.С. Идентификация динамических объектов с помощью нейронных сетей на основе самоорганизующихся карт Кохонена. Аннотация
Берштейн Л.С., Боженюк А.В. Метод нахождения нечеткого множества внешней устойчивости нечеткого темпорального графа.
Гладков Л.А., Александров М.А. Решение задачи оперативного планирования производства на основе модифицированного генетического алгоритма с использованием нечеткого логического контроллера.
Игнатьев Д.И. Метод обучения нейронных сетей при разработке математических моделей по результатам различных типов экспериментов с использованием байесовской регуляризации.
Ковалев С.М. Упреждающее распознавание нечетких темпоральнх паттернов в потоковых данных на основе адаптивных марковских моделей.
Лебедев В.Б. Метод пчелиной колонии в комбинаторных задачах на графах.
Лебедев Б.К., Лебедев О.Б. Оптимизация методами роевого интеллекта задач, интерпретируемых древовидными структурами.
Ляпунцова Е.В., Бессонов Д.В. Шаблон проектирования эволюционного моделирования.
Нефедов Н.Ю. Качество ИСУ с применением квантового нечеткого вывода на примере неустойчивой динамической системы.
Семенкина М.Е. Самоконфигурируемый алгоритм генетического прораммирования для создания ансамблей интеллектуальных информационнных технологий.
Синюк В.Г., Поляков В.М., Кузубова А.А. Алгоритм построения иерархических систем нечеткого вывода Такаги-Сугено.
Синюк В.Г., Бакшеева Е.Л. Гибридный алгоритм и программная реализация для решения задач нечеткого программирования.
Стефанюк В.Л., Яссин Ш. Арифметика серых чисел
Ходашинский И.А., Белоногов И.Ю., Синьков Д.С. Оптимизация параметров нечетких систем на основе хаотического алгоритма роящихся частиц.
Цой Ю.Р. На что способен нейроэволюционный алгоритм без эвристик?
Секция 8. Многоагентные системы и сетевые структуры
Председатели: В.И.Городецкий, В.Б.Тарасов
Герасименко Е. Нахождение максимального потока в нечеткой динамической транспортной сети с нижними и верхними границами потоков.
Жилякова Л.Ю. Управление распределением ресурса в неоднородных ресурсных сетях.
Кохов В.А., Кохов В.В. Система моделей для анализа сходства орграфов с учетом расположения полупутей.
Кохов В.В. Методы анализа изменений свойств темпоральных графов.
Микулич Л.И., Наумкина Т.С. Использование языковых игр для моделирования возникновения языка в многоагентных системах.
Пантелеев М.Г. Концепция построения интеллектуальных агентов реального времени на основе модели опережающего итеративного планирования.
Раговский А.П. Использование многоагентного подхода в интеллектуальной системе дедуктивного вывода
Секция 9. Интеллектуальные системы управления и поддержки принятия решений
Председатели: А.П.Еремеев, А.Б.Петровский
Заболеева-Зотова А.В., Орлова Ю.А., Петровский А.Б. Подход к автоматизации проектирования программного обеспечения на начальных этапах.
Петровский А.Б., Ройзензон Г.В., Балышев А.В., Тихонов И.П., Яковлев Э.Н. Многокритериальный анализ деятельности научных организаций. Аннотация
Варшавский П.Р., Алехин Р.В., Зо Лин Кхайнг. Применение онтологического подхода для реализации поиска решения на основе прецедентов в интеллектуальных системах поддержки принятия решений.
Варшавский П.Р., Куриленко И.Е., Макашова М.Б. Реализация нейромодуля для поиска решения на основе прецедентов в интеллектуальных системах поддержки принятия решений.
Шахнов И.Ф. Метод центрального луча в задаче квантификации интенсивности предпочтений.
Антипов С.Г., Вагин В.Н. Использование темпоральных деревьев решений в задачах диагностики.
Баканова Н.Б. Многокритериальная оценка качества исполнительской деятельности в системах документооборота крупных организаций.
Еремеев А.П., Королев Ю.И. Средства моделирования на основе темпоральных сетей Петри для интеллектуальных систем поддержки принятия решений. Аннотация
Куливец С.Г. Теоретико-игровая модель на когнитивной карте и исследование её устойчивости к отклонениям в параметрах.
Дубровин В.И., Колпакова Т.А. Поддержка принятия решений при проведении тендеров при помощи метода анализа иерархий и нейронных сетей.
Секция 10. Прикладные интеллектуальные системы
Председатели: Г.В.Рыбина, Б.Е.Федунов
Виноградов Г.П., Палюх Б.В. Управление эволюцией организационно-технологической системы.
Федунов Б.Е. Модель «ЭТАП» для разработки облика бортовых интеллектуальных систем антропоцентрических объектов. Аннотация
Васильевский А.С., Лапшин К.В. Синтез архитектуры корабельных интеллектуальных интегрированных многофункциональных управляющих систем.
Башлыков А.А. Когнитивный операторский интерфейс в системе «ОКО» для контроля безопасности работы атомных энергоблоков.
Косоногова М.А. Структура адаптивного электронного учебника на основе интеллектуальной системы формирования индивидуальной траектории обучения.
Трембач В.М. Интеллектуальные обучающие системы на основе агентно-ориентированного подхода.
Рыбина Г.В., Шанцер Д.И., Липатов А.А. Имитационное моделирование внешнего мира при построении динамических интегрированных экспертных систем.
Боргест Н.М., Шустова Д.В., Гиматдинова С.Р. Принципы создания тезауруса «Проектирование самолета» с использованием редактора Protege.
Балтрашевич В.Э. Опыт создания АОС на базе инструментальной ЭС для различных предметных областей.
Башлыков А.А. Инструментальные средства построения экспертных систем для оперативной диагностики оборудования атомных энергоблоков.
Григорьев А.В. Теоретико-множественные операции над грамматиками как инструментарий для построения интеллектуальных САПР в технологии метаэвристических оболочек.
Черкашин Е.А., Ларионов А.А., Хасанов Т.М. Программные средства АДТ для решения задач прогнозирования динамики природных ресурсов.
Кожаринов А.С., Иванова Е.И. Применение нейронной сети Кохонена для обнаружения аномалий подповерхностного георадиолокационного зондирования
Секция 11. Интеллектуальные динамические системы и роботы; планирование поведения
Председатели: В.Э.Карпов, Г.С.Осипов
Николаева А.В. Проектирование интеллектуальной системы управления роботом-манипулятором.
Карпов В.Э. Частные механизмы лидерства и самосознания в групповой робототехнике. Аннотация
ПрезентацияДоенин В.В., Ляпунцова Е.В. Адаптивное управление интеллектуальными транспортными системами.
Стефанюк В.Л. Математический анализ поведения обучающегося автомата в нечеткой среде.
Суворова А.В., Тулупьева Т.В., Тулупьев А.Л., Сироткин А.В. Применение байесовских сетей доверия для моделирования угрозообразующего поведения индивида по неполным и неточным данным.
Юдицкий С.А., Магергут В.З. Триадное моделирование на индикаторных сетях поведения дискретных систем.
Черкашин Е.А., Парамонов В.В., Соколов А.Ю. Развитие средств трансформации моделей информационных систем в рамках MDA – подхода.
Секция 13. Методологические и философские проблемы искусственного интеллекта
Председатели: Д.И.Дубровский, В.Е.Лепский
Дубровский Д.И. Информационная причинность, психическая причинность и свобода воли.
Лепский В.Е. Эволюция парадигм и концепций искусственного интеллекта в контексте развития научной рациональности.
Аршинов В.И. Наблюдатель сложности как модель искусственного интеллекта.
Бодякин В.И. Механизмы глобальной эволюции информационно-управляющих систем.
Воронов М.В. Методологические аспекты онтологического представления технологических знаний.
Моисеев В.И. К субъектной онтологии естественного интеллекта.
Островский А.М. Искусственный интеллект в контексте человеко-компьютерного взаимодействия.
Райков А.Н. Холистичные интеллектуальные системы.
Редько В.Г. Модели автономных когнитивных агентов – бионический задел развития искусственного интеллекта.
ПрезентацияСергеев С.Ф. Искусственный интеллект в границах исчезающей сложности.
Филимонов В.А. Кросс-технологии ситуационного центра для искусственного интеллекта.
Секция 12. Программные средства ИИ (выставка программных продуктов)
Председатели: В.Л.Стефанюк, В.Ф.Хорошевский
Наместников А.М., Филиппов А.А. Система кластеризации и полнотекстового поиска проектных документов на основе прикладной онтологии.
Звонков В.Б. Программные системы интеллектуального анализа данных и поддержки принятия решений (pdf); (doc).
Abstract (pdf); (doc)Решетников А.Г. Робастное интеллектуальное управление физическим динамически неустойчивым объектом управления.
Берман А.Ф., Николайчук О.А., Павлов А.И., Юрин А.Ю., Грищенко М.А. Интеллектуальная система для анализа отказов сложных технических систем.
Саловская А.А., Буйвал А.К. Автомобиле-подобный робот LEGO NXT с удаленным управлением с ПК на базе ROS.
Петров Д.В. Реализация параллельного генетического алгоритма поиска предельных границ рудных месторождений.
Синюк В.Г., Анищенко А.И. Нечёткое С-среднее и метод нечёткого роя частиц для решения проблем нечёткой кластеризации.
Стефанюк В.Л. О системе Reviewer.
Загорулько Ю.А., Боровикова О.И. Программная оболочка для построения многоязычных тезаурусов предметных областей, ориентированная на экспертов. Аннотация
Невзорова О.А., Невзоров В.Н. Интеллектуальная инструментальная система "OntoIntegrator" для задач автоматической обработки текстов.
Катаев В.А., Шмелев Е.Е. Экспериментальная среда MULTI STUDIO для разработки интеллектуальных систем.
Незнанов А.А., Игнатов Д.И., Пульманс Й. Новые программные средства разработки данных, поддерживающие методологию CORDIET. Аннотация
Тихомиров И.А., Смирнов И.В., Соченков И.В., Девяткин Д.А., Шелманов А.О., Зубарев Д.В., Швец А.В., Лешкин А.В., Суворов Р.Е. Exactus Expert: поисково-аналитическая система поддержки научно-технической деятельности.