Российская ассоциация искусственного интеллекта Российская ассоциация нечетких систем Администрация города Коломны Российский фонд фундаментальных исследований Московский Государственный Технический Университет им. Н.Э.Баумана

РОССИЙСКАЯ АССОЦИАЦИЯ ИСКУССТВЕННОГО ИНТЕЛЛЕКТА
РОССИЙСКАЯ АССОЦИАЦИЯ НЕЧЕТКИХ СИСТЕМ
МИНИСТЕРСТВО ПРОМЫШЛЕННОСТИ И НАУКИ
ПРАВИТЕЛЬСТВА МОСКОВСКОЙ ОБЛАСТИ
АДМИНИСТРАЦИЯ ГОРОДА КОЛОМНЫ
РОССИЙСКИЙ ФОНД ФУНДАМЕНТАЛЬНЫХ ИССЛЕДОВАНИЙ
МОСКОВСКИЙ ГОСУДАРСТВЕННЫЙ ТЕХНИЧЕСКИЙ УНИВЕРСИТЕТ ИМ. Н.Э.БАУМАНА


III-й Международный научно-практический семинар

"Интегрированные модели и мягкие вычисления в искусственном интеллекте"
(15-17 мая 2005 г.)

К 40-летию выхода в свет работы Л.Заде "Нечеткие множества"


Основные направления работы семинара:

    Место проведения семинара - древний русский город Коломна, расположенный в 115 км от Москвы в одном из живописнейших уголков Подмосковья в устье Москвы-реки недалеко от места её впадения в Оку.

Регламент работы III-го Международного научно-практического семинара "Интегрированные модели и мягкие вычисления в искусственном интеллекте"

Первый день - 15 мая 2005 г.
9:00 Отъезд участников от станции метро "Выхино" автобусом оргкомитета
10:00 - 12:00 Размещение и регистрация участников в гостинице "Коломна"
(тур. гостиница, пл. Советская, д. 2)
11:15 Поездка на могилу Блишуна А.Ф. (для желающих)
(Гостиница "Коломна", пл. Советская, д. 2)
12:00 - 13:00 Обед
(Гостиница "Коломна", пл. Советская, д. 2)
13:00 Открытие семинара
(Конференц-зал Административного здания, пл. Советская, д. 1)
13:30 - 14:30 Специальное заседание, посвященное 40-летию выхода в свет работы Л. Заде "Нечеткие множества"
(Конференц-зал Административного здания, пл. Советская, д. 1)
14:30 - 17:30 Работа семинара: пленарные доклады
(Конференц-зал Административного здания, пл. Советская, д. 1)
18:00 - 19:30 Экскурсия по городу
Отъезд на автобусе от гостиницы "Коломна", пл. Советская, д. 2
19:30 - 22:00 Ужин + культурная программа
Ресторан "Софи", ул. Зайцева, д. 54
Второй день - 16 мая 2005 г.
9:00 - 10:00 Завтрак
В холле на первом этаже гостиницы "Коломна"
(Стоимость завтрака входит в стоимость проживания в гостинице)
10:00 - 13:00 Работа семинара: секционные доклады
(Конференц-зал и комн. 510 Административного здания, пл. Советская, д. 1)
13:00 - 14:00 Обед
(Гостиница "Коломна", пл. Советская, д. 2)
14:00 - 17:00 Работа семинара: секционные доклады
(Конференц-зал и комн. 510 Административного здания, пл. Советская, д. 1)
17:00 - 22:00 Экскурсия на теплоходе
Отъезд на пристань автобусом от гостиницы "Коломна", пл. Советская, д. 2
Третий день - 17 мая 2005 г.
9:00 - 10:00 В холле на первом этаже гостиницы "Коломна"
(Стоимость завтрака входит в стоимость проживания в гостинице)
10:00 - 13:00 Работа семинара: секционные доклады
(Конференц-зал и комн. 510 Административного здания, пл. Советская, д. 1)
13:00 - 14:00 Обед
(Гостиница "Коломна", пл. Советская, д. 2)
14:00 - 17:30 Работа семинара: секционные доклады
(Конференц-зал и комн. 510 Административного здания, пл. Советская, д. 1)
17:30 - 18:30 Закрытие семинара
(Конференц-зал Административного здания, пл. Советская, д. 1)
18:30 Отъезд в Москву
автобусом оргкомитета от гостиницы "Коломна", пл. Советская, д. 2


Предварительная программа научно-практического семинара "Интегрированные модели и мягкие вычисления в искусственном интеллекте" (Коломна 15-17 мая 2005г.)

Первый день -15 мая 2005 г., воскресенье
 
13:00 Конференц-зал. Открытие семинара
13:30 - 14:30 Конференц-зал. Специальное заседание, посвященное 40-летию выхода в свет работы Л. Заде "Нечеткие множества"
 
14:30 - 17:30 Конференц-зал. ПЛЕНАРНЫЕ ДОКЛАДЫ (руководители пленарного заседания: д.ф.-м.н., профессор Г.С.Осипов, д.т.н., профессор В.М.Курейчик, к.т.н., доцент В.Б.Тарасов)
  • Батыршин И.З. (Мехико). О структуре неинволютивных нечетких отрицаний
  • Берштейн Л.С., Боженюк (Таганрог). Использование сильной связности для оценки изоморфизма нечетких графов
  • Ионин В.К. (Москва). Нечеткие метрические пространства
  • Курейчик В.М. (Таганрог). Квантовые алгоритмы - новая технология решения задач искусственного интеллекта
  • Палюх Б.В. (Тверь). Оценка правдоподобия и учет неопределенности в задачах искусственного интеллекта
  • Ющенко А.С. (Москва). Управление роботами с помощью нечеткой логики
  • Язенин А.В. (Тверь). Нечеткие случайные величины: экспликация неопределенности, исчисление, применения
  • Ярушкина Н.Г. (Ульяновск). Нечеткие нейронные сети: когнитивный и прикладной потенциал
  • Аверкин А.Н. (Москва). Нечеткие модели в распределенных интеллектуальных системах
  • Плесневич Г.С. (Москва). Нечеткие расширения логики Аллена
  • Тарасов В.Б. (Москва). Гибридные операции на бирешетках
 
Второй день -16 мая 2005 г., понедельник
 
10:00 - 13:00 Конференц-зал. Секция 1. Неклассические логики и приближенные рассуждения в искусственном интеллекте (руководители: д.т.н., профессор В.Н.Вагин, к.ф.-м.н., доцент Г.С.Плесневич)
  • Валиев М.К., Диковский А.Я., Китаев Е.Л., Дехтярь М.И., Скороходов А.П. (Москва-Тверь). Верификация динамических свойств многоагентных систем
  • Виньков М.М., Фоминых И.Б. (Москва). О формализации темпоральных немонотонных рассуждений в динамических экспертных системах
  • Еремеев А.П., Варшавский П.Р. (Москва). Методы структурной аналогии для интеллектуальных систем поддержки принятия решений реального времени
  • Федунов Б.Е. (Москва) Решение проблемы по прецедентам
  • Плесневич Г.С. (Москва). Бинарная модель знаний
  • Плесневич Г.С., Тюхов Б.П., Савенков С.С. (Москва). Логика нечетких интервалов
  • Рощин М.А., Заболеева-Зотова А.В., Камаев В.А. (Волгоград). Применение описательной логики при аннотировании компонентов
  • Смагин С.В., Черемисов Д.В. (Москва). Многозначная немонотонная логика для моделирования рефлексии в рассуждениях агентов.
  • Уралев Г.В. (Москва). Концептуальная спецификация агентов на основе бинарной модели знаний
 
10:00 - 13:00 Комн. 510. Секция 6. Нейроинтеллект, нейронные сети и их применения (руководители: д.ф-м.н., проф. Б.В.Крыжановский, д.т.н., проф. Н.А.Семенов)
  • Крыжановский Б.В., Магомедов Б.М.(Москва). Доменная модель в задачах оптимизации
  • Алиева Д.И., Крыжановский Б.В., Крыжановский В.М. (Москва). Параметрическая нейронная сеть с огрубленной матрицей связей
  • Комарцова Л.Г., Воеводин Ю.Ю. (Калуга). Исследование комбинированных алгоритмов обучения нейронной сети для решения задач классификации
  • Минаев Ю.Н., Филимонова О.Ю. (Киев). Прогнозирование временных рядов в тензорном базисе
  • Баринов С.В., Гладков Л.А. (Таганрог). Использование нейронных сетей в распознавании речи
  • Семенов Н.А., Борисов А.Л., Рожков А.А. (Тверь). Оптимизация маршрутов перевозки крупногабаритных грузов на основе нейросетевых технологий
  • Прохоров И.В. (Волгоград). Автоматический синтез нейронной сети, оптимально подходящей для аппроксимации функций, представленных обучающей выборкой
 
14:00 - 17:00 Конференц-зал. Секция 2. Нечеткие модели, вычисления со словами и мягкие вычисления (руководители: д.т.н., профессор И.З.Батыршин, к.ф.-м.н., доцент А.Н.Аверкин)
  • Батыршин И.З., Климова А.С. (Мехико-Казань). Инвариантные кластерные процедуры, основанные на нечетком отношении сходства
  • Боженюк А.В., Фефелова О.А. (Таганрог). Размещение центров в ГИС на основе нечетких интервальных графов
  • Бутенков С.А. (Таганрог). Вычисления со словами в задачах интеллектуальной обработки многомерной информации
  • Котеленко С.А. (Таганрог). Разработка онтологического языка на основе нечеткой гиперграфовой модели данных
  • Синюк В.Г., Семернин С.П. (Белгород). Настройка и обучение нейро-нечеткой сети, основанной на правиле вывода Modus-Ponens для многомерных систем
  • Лебедев А.С. (Ульяновск). САПР нечетких и нейро-нечетких контроллеров
  • Шишкин В.В., Родионов В.В. (Ульяновск). Модель нечетких интервалов для САПР функционально распределенной системы обработки данных
 
14:00 - 17:00 Комн. 510. Секция 5. Эволюционное моделирование и генетические алгоритмы (руководители: д.т.н., профессор В.В.Курейчик, д.ф.-м.н., профессор В.Г.Редько)
  • Курейчик В.В., Мищенко М.Н. (Таганрог). Бионический метод определения путей оптимальной длины в графовых моделях
  • Редько В.Г. (Москва), Цой Ю.Р. (Томск). Оценка эффективности простейшей версии генетического алгоритма
  • Голубин А.В. (Москва). Адаптация параметров генетического алгоритма с помощью нечетких экспертных систем
  • Янковская А.Е., Цой Ю.Р. (Томск). Оптимизация выбора множества тестов с использованием генетического алгоритма
  • Лебедев Б.К., Лебедев В.Б. (Таганрог). Методы планирования СБИС на основе эволюционной адаптации
  • Лебедев Б.К., Лебедев О.Б. (Таганрог). Эволюционный алгоритм нахождения максимального паросочетания
  • Громов С.А., Дубовенко А.А. (Москва). Возможности алгоритмов адаптивного и генетического поиска для решения задач оперативного планирования
 
Третий день -17 мая 2005 г., вторник
 
10:00 - 13:00 Конференц-зал. Секция 3. Нетрадиционные, гибридные и синергетические интеллектуальные системы (руководители: д.т.н., профессор Л.Г.Комарцова, д.т.н., профессор Н.Г.Ярушкина)
  • Комарцова Л.Г. (Калуга). Вопросы гибридизации методов представления и обработки данных и знаний
  • Колесников А.В., Кириков И.А. (Калининград). Моделирование функциональных гибридных интеллектуальных систем в теории схем ролевых концептуальных моделей
  • Павлов А.В. (Санкт-Петербург). О применимости голографических технологий при создании когнитивных систем
  • Бодякин В.И. (Москва). Нейросемантические регуляторы как полигон для исследования когнитивных функций
  • Урусов А.В., Барс А.В.(Москва). Гибридные системы на основе РДО метода
  • Гусев А.В. (Москва). Модель восприятия пространственной ситуации
  • Семенов А.Б. (Тверь). Жирные В-сплайновые кривые в задачах компьютерной графики и обработки изображений
 
10:00 - 13:00 Комн. 510. Секция 4. Компьютерные сети, искусственные агенты, многоагентные системы (руководители: д.т.н., профессор И.Б.Фоминых, к.т.н., доцент В.Э.Карпов)
  • Евгенев Г.Б., Кобелев А.С. (Москва). Многоагентные системы модульного проектирования изделий машиностроения
  • Афонин П.В., Тарасов В.Б. (Москва). Многоагентная система на основе подходов искусственной жизни: приложение к поиску на графе
  • Карпов В.Э. (Москва). Иерархическое планирование в оптимизационных задачах
  • Крылов А.К. (Москва). Неопределенность результата действия в парадигме Reinforcement Learning
  • Захаров В.Н., Кондауров К.Н., Кузнецов Д.В., Куклина Е.А. (Москва). Программные средства получения информации о локальной сети
  • Федина И.А. (Москва). Нечеткий вывод в беспроводных сенсорных сетях
 
14:00 - 17:30 Комн. 510. Секция 7. Обработка информации и инженерия знаний в условиях неопределенности и нечеткости (руководители: д.т.н., проф. С.М.Ковалев, д.ф.-м.н., проф. А.В.Язенин)
  • Ковалев С.М. (Ростов-на-Дону). Формирование темпоральных баз знаний на основе аппарата растущих пирамидальных сетей
  • Шабельников А.Н. (Ростов-на-Дону). Метод адаптации темпоральных параметров интеллектуальных динамических моделей на основе обучающих примеров
  • Вельмисов А.П., Ярушкина Н.Г. (Ульяновск). Нейросетевой анализ нечетких данных
  • Юнусов Т.Р. (Ульяновск). Анализ нечетких тенденций как средство интеллектуального анализа данных
  • Рыбина Г.В., Смирнов В.В. (Москва). Особенности выявления статических аномалий в базах знаний, содержащих отдельные виды НЕ-факторов
  • Тулупьев А.Л., Николенко С.И. (Санкт-Петербург). Учет направленных циклов в байесовских сетях доверия: семантика и вопросы сложности
  • Дулин С.К., Духин С.В. (Москва). Множественно-реляционная модель данных геоинформационной системы
  • Стернин М.Ю., Чугунов Н.В., Шепелев Г.И. (Москва). Метод представления экспертных знаний в условиях неопределенности
  • Синюк В.Г., Пивненко Е.В. (Белгород). Представление знаний в нечеткой экспертной системе с логическим выводом, основанным на активации сети продукций
  • Ашихмин А.М., Захаров В.Н., Севастьянов И.В. (Москва). Семантический поиск в автоматизированной системе электронной торговли
 
14:00 - 17:30 Конференц-зал. Секция 8. Нечеткие алгоритмы и системы поддержки принятия решений (руководители: д.т.н., проф. А.П.Еремеев, д.т.н., проф. Б.Е.Федунов)
  • Аверкин А.Н., Титова Н.В. (Москва). О задаче совместного использования различных методов моделирования слабо структурированной предметной области в системах поддержки принятия решений
  • Егоров А.Ф., Савицкая Т.В., Шайкин А.Н. (Москва). Использование нечетких сетей Петри для разработки системы поддержки принятия решений
  • Недосекин А.Н. (Санкт-Петербург). Оптимизация фондового портфеля, содержащего опционы (нечеткая постановка задачи)
  • Янковская А.Е., Гергет О.М. (Томск). Система логико-вероятностного принятия решения для оценки состояния здоровья
  • Головина Е.Ю. (Москва). Интеллектуальная система поддержки принятия решений в сфере потребления тепловой энергии в объектах "Теплисис" (версия 1.0)
  • Таганов А.И., Таганов Р.А. (Рязань). Метод нечеткой кластеризации рисков для формализации анализа рисков программного проекта
  • Мироненко А.С. (Тверь). Оценка ситуационной готовности организации к проекту на основе нечетких мер SWOT-анализа
  • Дмитриев Г.А., Аль-Шайбани М.А. (Тверь). Синтез нечеткого алгоритма для решения задачи оптимизации высокоточных компьютеризированных электроприводов печатных машин
  • Басаев М.В. (Тверь). Оценка инвестиций в жилищное строительство с использованием нечетких множеств

ОТЧЕТ

ТРЕТИЙ МЕЖДУНАРОДНЫЙ НАУЧНО-ПРАКТИЧЕСКИЙ СЕМИНАР "ИНТЕГРИРОВАННЫЕ МОДЕЛИ И МЯГКИЕ ВЫЧИСЛЕНИЯ В ИСКУССТВЕННОМ ИНТЕЛЛЕКТЕ"

    С 15 по 17 мая 2005 г. в старинном русском городе Коломна прошел 3-й Международный научно-технический семинар в области информатики и искусственного интеллекта (ИИ) "Интегрированные модели и мягкие вычисления в искусственном интеллекте". В его работе приняли участие более 60 ученых и специалистов из 14 городов России, а также ученые из Белоруссии, Украины, Бельгии, Мексики. Было сделано 43 доклада, включая 10 пленарных, проведено специальное заседание, посвященное юбилею выхода в свет основополагающей работы Л.Заде "Нечеткие множества". На семинаре работало 8 секций (на одной из них была организована демонстрация двух роботов с элементами искусственного интеллекта).

    Основные направления работы семинара были сосредоточены вокруг нечетких систем, мягких вычислений, других гибридных и синергетических моделей в ИИ. При подготовке его трудов помимо раздела пленарных докладов были сформированы следующие секции: 1) неклассические логики и приближенные рассуждения в ИИ; 2) нечеткие модели, вычисления со словами и мягкие вычисления; 3) нетрадиционные, гибридные и синергетические интеллектуальные системы; 4) компьютерные сети, искусственные агенты, многоагентные системы; 5) эволюционное моделирование и генетические алгоритмы; 6) нейроинтеллект, нейронные сети и их применения; 7) обработка информации и инженерия знаний в условиях неопределенности и нечеткости; 8) нечеткие алгоритмы и системы поддержки принятия решений.

    Как и первые два семинара, состоявшиеся там же в Коломне в 2001-м и 2003-м гг., третий семинар был организован Российской ассоциацией искусственного интеллекта (РАИИ) и Российской ассоциацией нечетких систем (РАНС) под эгидой Администрации города, ведущих коломенских предприятий. Финансовую поддержку оказало также Министерство промышленности и науки Правительства Московской области. В этом году семинар стал одним из научных мероприятий, приуроченных к 175-летию МГТУ им. Н.Э.Баумана, который также выступил в качестве спонсора.

    Основателем коломенских семинаров и первым председателем их программного комитета был крупный ученый-бауманец, член совета Российской ассоциации искусственного интеллекта, лауреат Премии Президента РФ в области образования, д.т.н., профессор, заведующий кафедрой "Компьютерные системы автоматизации производства" Виктор Владимирович Емельянов. Теперь после его безвременного ухода из жизни дело продолжают друзья и ученики, среди которых нельзя не отметить выпускника МГТУ им. Н.Э.Баумана, ныне видного представителя коломенской индустрии, к.т.н. Э.Г.Зафирова.

    Утром 15 мая семинар открыл член совета РАИИ, к.т.н., доцент каф.РК-9 МГТУ им. Н.Э.Баумана В.Б.Тарасов. Он подчеркнул особую роль Коломны как колыбели российского искусственного интеллекта, напомнив, что в уже далеком мае 1989 г. здесь состоялся учредительный съезд Ассоциации искусственного интеллекта. Именно в Коломне возникли Центр технического творчества "Интеграл" и фирма КолИнт, в течение ряда лет бывшие базовыми организациями для отечественных исследований по ИИ. У истоков этих коломенских работ стоял известный специалист в области ИИ и теории нечетких множеств, к.ф-м.н. А.Ф. Блишун, некоторое время преподававший в МИПК МГТУ им.Н.Э.Баумана. Было также отмечено, что этот семинар - уже четвертая встреча специалистов по ИИ на коломенской земле в новом тысячелетии. И что в самом его названии, предложенном В.В.Емельяновым, отражена синергетическая концепция взаимодействия и взаимопроникновения различных дисциплин, предполагающая объединение усилий представителей различных научных сообществ.

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

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

    От имени РАИИ с приветствиями выступили ее президент, д.ф.-м.н., профессор, заместитель директора Института системного анализа РАН Г.С.Осипов и вице-президент по международным связям, д.т.н., профессор В.Л. Стефанюк (Институт проблем передачи информации РАН), а от имени РАНС - президент Ассоциации, к.ф.-м.н. А.Н.Аверкин (ВЦ РАН) и вице-президент д.ф.-м.н., профессор И.З.Батыршин, долгое время заведовавший кафедрой в Казанском государственном технологическом университете, а в настоящее время работающий в Мексике. Несколько теплых слов организаторам и участникам семинара от имени дружественной Российской ассоциации нейроинформатики произнес ее руководитель, д.ф-м.н., заместитель директора Института оптико-нейронных технологий РАН В.Г.Редько. От имени Международной академии информатизации собравшихся приветствовал вице-президент Отделения "Информационные сети и системы", д.б.н. З.Х.-М.Хашаев.

    Наконец, от имени МГТУ им. Н.Э.Баумана выступили заведующий кафедрой "Робототехнические системы", д.т.н., профессор А.С.Ющенко и заведующий кафедрой "Компьютерные системы автоматизации производства" к.т.н., доцент А.М.Савинов, которые рассказали об основных направлениях применения интеллектуальных и нечетких технологий на их кафедрах и выразили уверенность, что работы, инициатором которым был В.В.Емельянов, будут успешно продолжены учеными-бауманцами. Кроме того, ими была подчеркнута растущая необходимость развития в технических университетах страны системы подготовки и переподготовки специалистов в области ИИ. В преддверие славного юбилея - 175-летия МГТУ им. Н.Э.Баумана - они поделились своими мнениями об основных проблемах модернизации подготовки инженеров в старейшем техническом вузе России, перспективах открытия новых специальностей, связанных с разработкой и использованием интеллектуальных технологий на производстве, в управлении и обучении.

    Научная часть семинара началась со специального заседания, посвященного 40-летию выхода в свет основополагающей работы знаменитого американского ученого Лотфи Заде "Нечеткие множества" (Fuzzy Sets). Эта статья, опубликованная в 1965г. в международном журнале Information and Control, всколыхнула научный мир и вызвала к жизни целый ряд прорывных направлений в области прикладной математики, системного анализа, информатики, искусственного интеллекта, теории принятия решений. Сюда относятся нечеткая логика и приближенные рассуждения, теория лингвистических переменных и вычисления со словами, теория возможности и теория гранулирования информации, мягкие вычисления и синергетический искусственный интеллект. На заседании выступили известные российские ученые, лично знакомые с Л.Заде и неоднократно встречавшиеся с ним на международных конференциях - В.Л.Стефанюк, И.З.Батыршин, А.Н. Аверкин, В.Б.Тарасов (последние трое являются соавторами одной из первых отечественных монографий в области теории и приложений нечетких множеств - "Нечеткие множества в моделях управления и искусственного интеллекта", - опубликованной в 1986г.).

    Так В.Л.Стефанюк напомнил, что едва ли не первый доклад Л.Заде по нечетким множествам состоялся на конференции по кибернетике, проходившей в 1965 г. в СССР на борту лайнера "Адмирал Нахимов". И почти одновременно со статьей в журнале Information and Control в известном отечественном журнале "Проблемы передачи информации" на русском языке вышла его вторая статья под названием "Тени нечетких множеств".

    В свою очередь, И.З.Батыршин рассказал об основных идеях и содержании статьи "Fuzzy Sets". Суть новаторских воззрений Л.Заде состояла в том, что реальные человеческие рассуждения, опирающиеся на естественный язык, не могут быть описаны в рамках традиционных математических формализмов. Введение нечетких множеств - классов с неточно определенными границами, описываемыми функциями принадлежности (обобщающими характеристические функции обычных множеств) - обеспечило основу для развития более гибкого подхода к анализу рассуждений и моделированию сложных гуманистических систем, поведение которых описывается скорее лингвистическими, чем числовыми переменными. В работе "Нечеткие множества" Л.Заде дал определение нечеткого множества А как функции А: U [0,1], предложил различные определения бинарных операций пересечения и объединения для нечетких множеств, ввел унарные операции дополнения, концентрирования, растяжения, отношение включения, предложил понятия нечетких отношений и их проекций, рассмотрел четкие множества уровня нечеткого множества. Им были также предложены принцип обобщения и нечеткие множества типа 2 (с нечеткими функциями принадлежности),введены понятия нечетких ограничений и правил трансляции для нечетких предложений, приведены примеры, иллюстрирующие предложенный подход. В целом, был построен концептуальный базис для развития новых замечательных теорий, которые были предложены в следующих фундаментальных работах Л.Заде - "Понятие лингвистической переменной и его применение к принятию приближенных решений" (1975-1976г.), "Нечеткие множества как основа теории возможности" (1978г.), "Теория знаний здравого смысла" (1984г.), "Мягкие вычисления, нечеткие множества и нейронные сети" (1992г.), "Нечеткая логика = Вычисления со словами" (1996г.), "От вычислений с числами к вычислениям со словами, от манипуляций с измерениями к манипуляциям с перцептивными оценками" (2001г.), и др.

    Далее И.З.Батыршин упомянул, что многие исторические сведения об истоках и развитии теории нечетких множеств можно найти в юбилейном выпуске журнала РАИИ "Новости искусственного интеллекта, посвященном 80-летию Л.Заде (2001г., №2-3). В заключение он рассказал о деятельности калифорнийской лаборатории BISC (Berkeley Initiatives in Soft Computing), на базе которой в ноябре 2005 г. пройдет крупная международная конференция, посвященная 40-летию теории нечетких множеств.

    Затем А.Н.Аверкин поделился впечатлениями о своих первых встречах с Л.Заде в 1977 г. на Международной конференции по ИИ в Репино (под Санкт-Петербургом). Поразительно, но в середине 70-х годов у Л.Заде не было ни одного аспиранта по тематике нечетких множеств и систем. Тогда эта тематика не только не финансировалась, но и находилась под некоторым негласным запретом. Профессор Л.Заде поведал грустную историю о том, что на уровне американского департамента образования велись вполне серьезные разговоры о запрещении ее преподавания в университетах. Как это похоже на первые годы развития советской кибернетики! И лишь когда через пару лет, когда японцы продемонстрировали всему миру первый промышленный нечеткий регулятор, значительно превосходящий лучшие PID-регуляторы, ситуация кардинально изменилась.

    Наконец, В.Б.Тарасов рассказал о некоторых малоизвестных в широких научных кругах фактах из биографии Л.Заде. Он родился 4 февраля 1921 г. в Баку, его родным языком является русский, а детство (до 1931г.) прошло в СССР. Неудивительно, что русская культура и литература оказали заметное влияние на формирование личности юного Лотфи, а любовь к русскому языку он пронес через всю жизнь. И даже теперь на научных конференциях и семинарах он предпочитает общаться с друзьями и коллегами из России и стран СНГ и Восточной Европы на русском языке. Будучи носителем русского языка, он лично предложил русские термины "нечеткое множество", "функция принадлежности" и др.

    Известно, что книга "Понятие лингвистической переменной и его применение к принятию приближенных решений", вышедшая в издательстве "Мир" в 1976г., была первой монографией по нечетким множествам и лингвистическим переменным на русском языке. Но мало кто знает, что ее английского эквивалента в форме монографии попросту не существует, поскольку перевод делался с трех препринтов. Сам Л.Заде никогда не писал монографий, предпочитая жанр новаторских журнальных статей. Так что первая и единственная монография Л.Заде есть только на русском языке.

    Интересное сообщение о развитии идей Л.Заде от нечетких множеств к теории гранулирования информации и системам вычислений со словами сделал к.т.н., доцент С.А.Бутенков (Таганрогский государственный радиотехнический университет).

    По итогам специального заседания было принято решение направить делегацию РАИИ и РАНС на конференцию в Беркли, а также подготовить и издать избранные труды Л.Заде в серии "Науки об искусственном", выходящей в издательстве УРСС. Была также создана инициативная рабочая группа, перед которой была поставлена задача реорганизации РАНС и образования на ее основе более представительной и междисциплинарной Российской ассоциации нечетких систем и мягких вычислений (РАНСМВ).

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

    Новый метод построения нечетких метрических пространств был предложен в докладе д.ф.-м.н., профессора В.К.Ионина (Московский энергетический институт).

    Выступление В.Л.Стефанюка было посвящено методам работы с неопределенностями на основе функций уверенности и их применению в интеллектуальных системах. Автор проследил историю их развития, начиная от первых экспертных систем MYCIN и PROSPECTOR вплоть до многоагентных систем наших дней.

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

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

    В докладе д.ф.-м.н., профессора А.В.Язенина (Тверской государственный университет) был дан обзор современного состояния исследований в области нечетких случайных величин, представляющих собой математическую модель случайного эксперимента с нечетким исходом. Рассмотрены варианты экспликации неопределенностей в модели нечеткой случайной величины, построены соответствующие исчисления. Сделан анализ подходов к определению моментов второго порядка, проведено обсуждение ряда приложений аппарата нечетких случайных величин (в частности, в задачах оптимизации и портфельного анализа).

    В докладе д.т.н., профессора Н.Г.Ярушкиной (Ульяновский государственный технический университет) обсуждались возможности нейросетевых и гибридных (в частности, нечетких нейросетевых) моделей для решения задач когнитивного моделирования. Были рассмотрены вопросы самоорганизации знаний и различные архитектуры гибридных интеллектуальных систем, отмечен их высокий прикладной потенциал в плане интеллектуализации баз данных, обработки транзакций, интеллектуализации Интернет-технологий и т.д.

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

    Наконец, в докладе В.Б.Тарасова были показаны возможности математического аппарата бирешеток как удобного единого средства интерпретации многозначных логических семантик и построения синергетических интеллектуальных систем, описания гибридных мягких оценок на шкалах, включающих НЕ-факторы различных типов, и построения различных вариантов двухосновных нечетких множеств. Предварительно автором были раскрыты некоторые ограничения и недостатки традиционного подхода к формализации нечеткости по Л.Заде. В результате были предложены расширения бирешеточных конструкций на случай функционально-аксиоматических определений основных логических операций. В частности, были введены гибридные операции, являющиеся прямым расширением нечетких отрицаний, треугольных норм и конорм, нечетких импликаций.

    Из всех секций, работавших 16 июня, наиболее сильное впечатление оставила секция 1 по неклассическим логикам и приближенным рассуждениям в ИИ, на которой было представлено целое "созвездие" ведущих российских специалистов в этой области: к.ф.-м.н. М.К.Валиев (Институт прикладной математики им. М.В.Келдыша РАН), к.ф.-м.н. Г.С.Плесневич (МАТИ - Российский государственный технологический университет им. К.Э. Циолковского), д.т.н., профессор И.Б.Фоминых (РосНИИ информационных технологий и систем автоматизированного проектирования), д.т.н., профессор А.П.Еремеев (Московский энергетический институт), д.т.н., профессор Б.Е.Федунов (ФГУП ГосНИИ авиационных систем), и др. Так доклад М.К.Валиева с соавторами был посвящен развитию логического подхода к спецификации многоагентных систем. В нем главное внимание уделялось верификации динамических свойств многоагентных систем. В совместном докладе И.Б.Фоминых с к.т.н. М.М.Виньковым (сотрудник РосНИИ информационных технологий и систем автоматизированного проектирования, преподающий в МГТУ им.Н.Э.Баумана) были затронуты вопросы формализации темпоральных немонотонных рассуждений в динамических экспертных системах. Обстоятельный доклад Г.С.Плесневича был посвящен проблемам построения бинарной модели знаний, Предварительно автором были изложены основы формальной модели понятия и бинарной модели данных; в контексте ее расширения и спецификации понятий рассмотрены логические и транзитные предложения. В другом докладе Г.С.Плесневича, подготовленном им совместно с к.т.н. Б.П.Тюховым и С.С.Савенковым из Московского государственного института электроники и математики, была представлена логика нечетких интервалов. Затем состоялся доклад А.П.Еремеева и П.Р.Варшавского, посвященный рассуждениям по аналогии и их применению в интеллектуальных системах поддержки принятия решений реального времени. Схожий доклад Б.Е.Федунова был посвящен методам и системам решения проблем по процедентам. Наконец доклад М.А.Рощина и др. (Волгоградский государственный технический университет) был посвящен вопросам применения описательной логики при аннотировании.

    Среди остальных докладов второго дня семинара хотелось бы отметить доклад д.т.н., профессора Л.Г.Комарцовой (Калужский филиал МГТУ им. Н.Э.Баумана), посвященный вопросам гибридизации методов представления и обработки данных и знаний в ИИ, доклад С.А.Бутенкова об использовании вычислений со словами в задачах интеллектуальной обработки многомерной информации, выступление А.В.Голубина (МГТУ им. Н.Э.Баумана), в котором были рассмотрены два способа построения гибридных систем на основе нечеткой логики и генетических алгоритмов и предложен вариант адаптации параметров генетического алгоритма с помощью нечетких экспертных систем. Большой интерес собравшихся вызвал доклад представителей ОАО "Сургутнефтегаз" В.В.Нутрецова и А.В.Осипова, в котором были указаны возможные варианты приложений нейросетевых и нейронечетких технологий к анализу данных и обнаружению знаний в нефтегазовой промышленности.

    В третий день семинара 17 мая наиболее активно работали секция 3 "Нетрадиционные, гибридные и синергетические интеллектуальные системы" и объединенная секция 7-8 "Обработка информации, нечеткие алгоритмы и системы поддержки принятия решений". Наиболее интересными докладами, прозвучавшими на секции 3, оказались доклад д.т.н., профессора А.В. Колесникова (Калининградский государственный технический университет) о технологии формирования гибридных интеллектуальных систем с использованием класса ролевых концептуальных моделей и тетрады "ресурс - свойство - действие - отношение", выступление А.В.Урусова (МГТУ им. Н.Э.Баумана), посвященное вопросам разработки и реализации гибридных систем в среде РДО, и, особенно, доклад к.т.н. А.В.Павлова (Санкт-Петербургский оптический институт им. С.И. Вавилова) о применении голографических технологий при создании когнитивных систем. Но, пожалуй, наибольшее внимание аудитории в этот день привлекли два прекрасных доклада, прочитанные на секции 7-8. В совместном докладе представителей Санкт-Петербургского института информатики и автоматизации РАН к.т.н. А.Л.Тулупьева и С.И.Николенко были рассмотрены байесовские сети доверия-весьма мощный аппарат представления и обработки информации в условиях неопределенности. Указаны различия между байесовскими сетями доверия и алгебраическими байесовскими сетями, проанализированы циклы в байесовских сетях, изложена вероятностная семантика цикла, предложен метод определения совместных вероятностей событий, соответствующих вершинам этого цикла. Проведено также обсуждение открытой проблемы определения d-разделимости для байесовской сети с циклами. Наконец, доклад д.э.н. А.О.Недосекина (Санкт-Петербург, фирма Сименс Бизнес Сервис) был посвящен проблеме нечеткой оптимизации фондового портфеля, содержащего опционы. Предварительно автором были отмечены три важных аспекта применения нечетких алгоритмов в экономике - квалиметрия на базе агрегирования иерархий факторов, нечеткая (лингвистическая) классификация экономических параметров, моделирование финансовых потоков нечеткими числами, последовательностями и функциями. Предложена методика оптимизации портфеля на основе нечетких величин доходности активов, проведены исследования эффективной границы портфельного множества. В результате показано, что нечеткие модели позволяют учесть ряд известных для практиков эффектов опционной игры, которые не могли получить объяснения в рамках классической модели Марковица.

    Как всегда, Администрацией г.Коломны была организована очень интересная и увлекательная культурная программа. Вечером 15 мая участники ознакомились с достопримечательностями Коломенского кремля: знаменитой Маринкиной башней (в названии которой отражена история российской "смуты" XYII века и пребывания в городе Марины Мнишек, жены царя-самозванца Лжедмитрия), величественным Успенским собором, Свято-Троицким Ново-Голутвиным монастырем, Брусенским Успенским монастырем с его главной "жемчужиной" - Успенской шатровой церковью XVI-го века (построенной в память взятия Казани Иваном Грозным). А вечером 16 мая состоялась традиционная экскурсия на теплоходе по Оке, позволившая обозреть красоты окрестностей Коломны.

    На заключительном заседании все выступавшие, отметив безупречную организацию семинара, выразили надежду, что через два года гостеприимная Коломна снова примет ученых и специалистов по гибридным моделям и мягким вычислениям в ИИ. Так А.О.Недосекин предложил зафиксировать в качестве основных будущих научных мероприятий, организуемых под эгидой РАНСМВ, санкт-петербургские конференции "Нечеткие множества и мягкие вычисления в экономике и финансах" (проводятся в четные годы) и коломенские семинары (проводятся в нечетные годы). Отвечая на эти пожелания, В.М.Шкуров заверил собравшихся, что Администрация города считает организацию майских научных семинаров своим важным и нужным делом, рассматривая их как нить, связывающую давние истоки научно-практической активности с будущим развитием Коломны и всего района.

    По адресу http://picasaweb.google.ru/kolomna07/2005# доступна фотогалерея семинара.