CC BY
41
На основе Wavelet-разложения строится вектор визуальных свойств, в котором области Wavelet-коэффициентов представлены информационными мерами. Визуальные свойства пространственно упорядочены в векторе в соответствии с алгоритмом Wavelet-разложения. Порядок следования Wavelet-областей, при котором дочерний блок будет следовать после родительского представлен на рисунке 2.
Индекс изображения содержит информационные меры NPIM-об-ластей Wavelet-коэффициентов, следующие в том же порядке. Таким образом, строится индекс, являющийся глобальным свойством, отражающим визуальные характеристики изображения. Пространство индексов представлено иерархической структурой, схема индексации использует B-дерево. Использование информационных мер обеспечивает инвариантность характеристик Wavelet-коэффициентов к небольшим трансформациям.
Разработанная ВИС была испытана на двух коллекциях изображений. Первая визуальная база данных содержит коллекцию из 648 экземпляров разнородных цветных изображений следующих классов: текстуры, космос, фотографии людей, изобразительное искусство, архитектура, синтезированные изображения, автомобили, промышленные объекты, растительность. При обработке цветные изображения преобразовывались к изображениям в градациях серого. Вторая визуальная база данных объемом 150 экземпляров сформирована в результате моделирования канала передачи в комплексах дистанционного мониторинга в инфракрасном и видеодиапазонах синтезированных и реальных изображений в градациях серого со сжатием и восстановлением. Сжатые изображения передаются по каналу связи с наложением случайных помех.
Анализ результатов позволяет сделать следующие выводы. Визуальный поиск по времени занима-
ет 1-2 секунды, в то время как в других ВИС для достаточно большой коллекции изображений время поиска занимает от нескольких секунд до минуты [2,3]. Точность поиска достаточно высока, хотя корректное сопоставление с другими ВИС затруднено из-за отсутствия стандартной тестовой модели. Результаты поиска отражают семантику визуального запроса. Следует заметить, что семантика визуального запроса должна четко осознаваться пользователем, так как эффективность использования ВИС зависит от адекватности запроса. Например, при запросе изображения текстуры из разнородной коллекции изображений в результатах поиска представлены только текстуры. При запросе незашумленного изображения из второй визуальной базы данных возвращаются незашумленные изображения того же класса. При запросе зашумленного изображения возвращаются только зашумленные и откорректированные зашумленные при большом уровне помех изображения.
Поскольку в проводимых испытаниях не учитывалась информация о цвете изображений, анализ фактически производился для структурной составляющей изображений. Учет цветовой характеристики при индексировании изображений способен повысить точность поиска в ВИС и не представляет существенных трудностей. В некоторых ситуациях при поиске изображений возникают ложные возвраты изображений. Для повышения эффективности ВИС предполагается использовать механизм обратной связи с пользователем, обеспечивающий переопределение (удаление ложных возвратов) и повтор визуального запроса.
Список литературы
1. Чен Ш.-К. Принципы проектирования систем визуальной информации. - М.: Мир, 1994.
2. Yong Rui, Thomas S. Huang. Image Retrieval: Current Techniques, Promising Directions, and Open Issues. Journal of Visual Communication and Image Representation, 1999, №10.
3. Guang-Ho Cha, Chin-Wan Chung. An Indexing and Retrieval Mechanism for Complex Similarity Queries in Image Databases. Journal of Visual Communication and Image Representation, 1999, №10.
4. Ту Дж., Гонсалес Р. Принципы распознавания образов. - М.: Мир, 1978.
5. Leonard Brown, Le Gruenwald. Tree-Based Indexes for Image Data. Journal of Visual Communication and Image Representation, 1998, №9.
1 2 А 8
7
t 9 /
Р V 10
Рис. 2
3
6
РЕШЕНИЕ ЗАДАЧ ПРЕДСТАВЛЕНИЯ И ОБРАБОТКИ ЗНАНИЙ СРЕДСТВАМИ ДЕСКРИПТИВНОЙ ЛОГИКИ
А.Г. Шушакова
Развитие компьютерных наук делает возможным доступ к большому числу распределенных информационных источников. Для эффективного оперирования данными и знаниями необходимо выстраивать гибридные формальные системы для объединения
достоинства различных моделей рассуждений. Часто подходы к моделированию данных наиболее эффективно используют формализмы, базирующиеся на понятии класса. В данной работе рассматриваются такие формализмы и их гибрид.
Дескриптивная логика
Системы, основанные на дескриптивной логике (ДЛ), были предложены как развитие KL-ONE [13] с семантикой Тарского для логики первого порядка. Среди таких систем NIKL [9], CLASSIC [6], LOOM [11]. Идеей усовершенствования языка KL-ONE стало усложнение основных конструкций языка - примитивных концептов. Например, кроме концепта ЧЕЛОВЕК, возможно определить концепт ЧЕЛОВЕК, КОТОРЫЙ ИМЕЕТ НЕ МЕНЕЕ ТРОИХ ДЕТЕЙ, и т.п.
Семейство логик, называемое ДЛ, подходит для описания классов и отношений между ними. ДЛ включает в себя все особенности, необходимые для логической переформулировки моделей данных в различных контекстах.
Некоторые популярные формализмы представления данных, такие как отношение сущности (entity relationships model) и объектно-ориентированные формализмы представления данных могут быть выражены термами специальных логик данного семейства.
Приложения ДЛ можно разделить на семантические модели и инженерию знаний, а также на объектно-ориентированное программирование.
ДЛ использует язык концептов L [8], состоящий из множества конструктов для представления классов и отношений между ними. Синтаксис и семантика основных конструктов приведены в таблице 1. С остальными конструктами можно ознакомиться в работе [12].
Таблица 1
Концепты - это именованные множества элементов, роли - бинарные отношения между ними. Концепты и роли являются одно- и двухместными предикатами соответственно. Интерпретация 1=(р,Ф) - непустое множество р и функция интерпретации Ф, отображающая каждое индивидное имя в элемент множества р, имя концепта - в некоторое подмножество р, имя роли - в подмножество рхр, каждый индивидуум - в элемент р.
Различается несколько языков ДЛ, имеющих различный набор конструктов и различную сложность вычислений.
Наиболее простой язык [7] включает в себя всеобщность, конъюнкцию и неполный квантор существования, то есть ЗК.Т. Язык ЛЬ расширяет
концептами T и отрицанием (1 А, где А - имя простого концепта). Остальные языки ДЛ являются расширениями FL_ и AL. Например, FLEU- - это FL_ с полной квантификацией существования и дизъюнкцией. Название языков ДЛ различается добавлением символов, соответствующих конструктам логики [10].
База знаний в ДЛ есть пара 2 = (Tbox, Abox), где Tbox (Terminology box) - интенсиональные знания, включающие определения концептов и разбиение их на классы. Abox (Assertions box) - экстенсиональные знания, включающие в себя утверждения о связях между элементами и классами элементов.
Подробное описание механизмов рассуждения ДЛ можно найти в [6].
ДЛ с конкретным доменом
Средств традиционной ДЛ недостаточно, чтобы выразить отношения с зависимостями между атрибутами, такие вычисления были бы слишком сложными. Для преодоления этих сложностей в работе [5] язык ДЛ пополнен новым понятием - конкретный домен (Concrete Domain) [4]. Если описывается конкретный объект с его свойствами, в язык вводится конкретный домен, который, помимо доменных символов, среди своих значений содержит предикатные символы, наиболее часто используемые в описываемой предметной области либо в конкретной задаче.
Определение. Конкретный домен D состоит из множества dom(D), домена D и множества pred (D), имени предикатов домена D. Каждому имени предиката P соответствует n-местный предикат PDçdom(D)n. В качестве примера конкретного домена приведем множество натуральных чисел NAT с предикатами < , > , =.
В [5] определены два языка в ДЛ SL(D) - (the schema language) - первый уровень определения примитивных концептов, VL(D) (the view language) -второй уровень сложных концептов и ролей и W (world description) - описание мира. D - имя конкретного домена. База знаний задается как тройка (S,V,W), где S - SL(D), V-VL(D).
Интерпретация I = (p1, •') состоит из абстрактного домена p1, не пересекающегося с dom (D), и функции интерпретации •I, отображающей каждый примитивный концепт А в подмножество A I множества А1, каждую роль Р в подмножество Р1 множества p1 xp1, каждый признак PD в p1 X dom (D). Интерпретация I есть Е-модель базы знаний, если она является моделью для S, V и W. База знаний Е = (S, V, W) выполнима, если она имеет Е-модель. Исчисление базируется на синтаксических объектах, называемых ограничениями, которые имеют следующий вид:
s: C sRt sRk P(k1v.., kn) k:D, где C - сложный концепт, R - роль, P - конкретный предикат. Конечное непустое множество ограничений называется системой ограничений и обозначается CS. Описание мира W может являться системой ограничений, при этом модели W и CSW эквивалентны.
Имя конструкта Синтаксис Семантика
Истина Т V
Ложь 0
Имя концепта С, D, E C 'çv
Конъюнкция С ilD C 1 n D 1
Дизъюнкция (и) С U D C 1 u D 1
Отрицание(С) 1 С V \ C 1
Имя роли P P Ç MXV
Существование роли (Е) 3P.C {d | d e V, 3c: (d, c)eP: ceC
Всеобщность роли VP.C {d | d e V, Vc: (d, c)e P1 ^ ce C :}
Существование признака 3Pd {ôlôe V, 3 c: Pd' (c)= ¿}
Численное ограничение (ЭД (>n P) {d | d e V, #{c | (d, c)e P1} > n }
(<n P) {d | d e V, #{c| (d, c)e P1} < n }
Правила вывода
Правила вывода в ДЛ с конкретным доменом работают на парах F.G, где F - факты G - цели; правила организованы в 5 групп и имеют следующий вид: F.G ^ {А} ^^ 1Г В 1п F либо F.G ^ F.Gu{A} 1Г В 1п G В соответствии с правилами вывода множество фактов F (либо целей G) пополняется неким ограничением А, если при тестировании множества фактов F (либо целей G) находятся примеры выражений, перечисленных после связки '!Г'. Связка не является импликацией, а означает, каким образом изменяется пара F.G после применения правила вывода.
Наличие противоречий в полученной в результате применения правил вывода системе ограничений приводит к выводу, что рассматриваемая формула не является логическим следствием данной системы, а значит, она не выполнима в данной базе знаний.
Сложность вычислений в ДЛ с конкретным доменом равна coNP [5].
Неоднородные семантические сети
Неоднородную семантическую сеть (НС) можно представить как совокупность следующих компонент: W = <8, И>, где 8 - множество имен предметов, процессов реального мира, К - множество отношений на 8 (подробнее см. в [1-3]).
Объекты из множества 8 называют событиями. Множество событий в НС разделено на два типа: факты и гипотезы. Множество фактов будем обозначать F, множество гипотез - Н.
В первую группу попадают исходные события, от которых зависит ход рассуждений, во вторую -события, которые формируют решения - так называемые целевые события или гипотезы. В эту группу входят выводы, заключения, рекомендации, диагнозы и т. д.
НС представляет собой семейство ориентированных помеченных графов с общим множеством вершин. Графы соответствуют различным отношениям Их, К2,.. на множестве вершин. Семантика этих отношений не зависит от предметной области. С каждым из отношений связаны соответствующие вычислительные процедуры и определенные свойства. Вершинам графа соответствуют события, которые имеют сложную структуру и задаются набором свойств. Свойством события может служить другое событие или атрибут.
Определения отношений И на множестве событий 8 заданы в терминах атрибутов событий, участвующих в отношениях. Каждому из отношений сопоставлено высказывание на естественном языке:
Кх(событие1, событие2) - «При наблюдении события! всегда наблюдается событие2»,
К2(событие1, событие2) - «При наблюдении события1 может наблюдаться событие2»,
К3(событие1, событие2) - «Событие 1 иногда увеличивает возможность возникновения собы-тия2»,
К (событие 1, событие2) - «Событие 1 отрицает событие2».
Приступим к формальному описанию НС. Задано некоторое (определяемое предметной областью) семейство множеств Э={Эх, Э2, ..., Эп}, где каждое множество называется множеством атрибутов, а всякому объекту ставится в соответствие определенное подмножество А кортежей из декартова произведения Пк=П1ХхЭ12Х ... хЭ1к (к<п) некоторых множеств из Э, называемое его экстенсионалом, или объемом.
Совокупность индексов множества атрибутов события 1=<1х,12,...1к> называется его содержанием. Эти индексы не обязательно различны. Будем отождествлять индексы множеств из Э с именами соответствующих множеств.
Имя события 8 будем считать функцией как его объема, так и содержания: 8=8(1,А).
Определение 1. Если <8,А> - событие, то всякое 8еА будем называть экземпляром события <8,А>.
Экземпляр 8еА события <8,А> является множеством {<1х^х>,<12^2>,...,<1к^к>}, в котором первый элемент каждой пары есть индекс некоторого множества из Э, а второй элемент - значение признака события с этим индексом.
На совокупности экземпляров событий определим некоторые отношения.
Определение 2. Если 8х={<1х^х>,<12^2>, ..., <1,Д>}, 82={<]х,ех>,<]2,е2>,...,<]ш,ет>}, то:
a) 8хп82#0, если в 8х и 82 найдутся равные пары, так же будем обозначать данное отношение
(8х , 82);
b) 8хс82, если для всякой пары из 8х найдется равная ей пара из 82, так же будем обозначать данное отношение (8х , 82);
c) 8х=82, если для всякой пары из 8х найдется равная ей пара из 82 и обратно, так же будем обозначать данное отношение (8х , 82);
ф 8хс82, если для всякой пары из 8х найдется равная ей пара из 82 и не имеет места 8х=82, так же будем обозначать данное отношение (8х , 82);
Определенное множество отношений на экземплярах событий назовем
Приступим к формальному описанию отношений из семейства И.
Определение 3. Если У8х 382 (8х |= 82 |= ) такое, что 82с8х, то будем говорить, что пара («х,з2) принадлежит отношению Их.
Определение 4. Если 38х 382 (5х |= 82 |= ) такое, что 82с8х, то будем говорить, что пара («х,з2) принадлежит отношению И2.
Определение 5. Если У8х 382 (5х |= 82 |= ) такое, что 8хп82 #0 и при этом 8х^82 , 82^8х, то будем говорить, что пара (ях, я2) принадлежит отношению
Определение 6. Если У8х У82 (5х |= 821= ) найдутся такие яхе 8х Л2е 82, что, 11=12 и всякий раз из 11=12 следует ^ # d2, то будем говорить, что пара (ях, я2) принадлежит отношению И4.
Рассуждения в НС
После того как даны основные базисные определения перейдем к описанию процесса вывода в НС. Для этого приведем еще ряд определений [5].
Определение 1. Событие будем называть положительным признаком события в2, если в2) £ К2. Положительные признаки используются для пополнения множества гипотез событиями.
Определение 2. Событие будем называть отрицательным признаком события в2, если я2) £ К4. Отрицательные признаки используются для исключения событий из множества гипотез, для редукции этого множества либо для ранжирования событий внутри этого множества.
Определение 3. Событие есть обусловленный признак события в2, если я2) е и не существует события такого, что (в3, е К4. Обусловленные признаки - это такие признаки, отсутствие которых имеет гораздо большее значение, чем их присутствие.
Определение 4. Событие есть дифференцирующий признак для события в2 и множества событий 8, если для события в2 и V ее 8 при прочих совпадающих для в2 и в признаках имеет место одно их двух:
1. в2) е либо
2. (815 в) еК2.
Дифференцирующие признаки - это такие признаки, которые отличают некую гипотезу от других, близких ей гипотез.
Процедуры пополнения и редукции множества гипотез
Пусть 80 - начальное множество событий, то есть некоторое подмножество 8, где 8 - полное множество событий базы знаний; 8 и 80 строятся на этапе приобретения знаний; Н - текущее множество гипотез (для каждой процедуры, кроме СМЛХ, это множество - результат работы предыдущей процедуры.
1. СМЛХ(80) - процедура генерирования максимального множества гипотез.
2. RNEG(H) - редукция множества гипотез на основе тестирования и поиска отрицательных признаков.
3. RIMP(H) - процедура редукции множества гипотез на основе поиска обусловленных признаков.
4. RDIF(H) - процедура редукции множества гипотез на основе дифференцирующих признаков.
Подробное описание процедур содержится в [3].
Механизм вывода HSN-ALCEN на основе НС и ДЛ с конкретным доменом
Представим новый формализм ИЯЫ-АЬСЕЫ на основе ДЛ с конкретным доменом, рассмотренной ранее. ИЯЫ-АЬСЕЫ позволяет моделировать рассуждения в НС.
Синтаксис и семантика HSN-ALCEN
Синтаксис ИЯЫ-АЬСЕЫ соответствует определенному в работе [5] с дополнениями, соответствующими требованиям решаемой задачи описания НС. Синтаксические конструкции задаются следующими символами:
• предикатные символы 0г04;
• заглавными латинскими буквами С, D, Е будем обозначать сложные концепты;
• заглавными латинскими буквами Р с нижними индексами будем обозначать роли;
• с, а, е - примеры сложных концептов;
• 8, 5, возможно, с нижними индексами - элементы домена.
В таблице 2 приведен синтаксис и семантика основных конструктов ИЯЫ-АЬСЕЫ.
Таблица 2
Конструкции подбирались для оптимального сочетания выразительных свойств и вычислительной сложности ИЯЫ-АЬСЕЫ.
Определим условия истинности предикатов: 0х(С, D) = Т 1Г С = ЭР 02 (С, D) = Т 1Г ЭРС^ ЕС (С, ^ = Т 1Г С = ЭРП^ 04 (С, D) = Т 1Г с: С, а: D, апа Э Рш 1 Э с, а (Рш (с, 5) апа Рш (а, 5)), где Р =.= {(а, с) | (с, а)е Рс).
Далее поясним неформально условия, при которых определенные предикаты принимают значение истина (Т). Затем определим алгоритмы вычисления предикатной связи по структуре концептов в соответствии с определением условий истинности предикатов, а также вычислим сложность установления истинности предикатов.
Концепты С и D связаны предикатом Q1, если концепт С в точности состоит из множества элементов, связанных ролью Рс. с элементами концепта D.
Концепты С и D связаны предикатом Q2, если концепт С содержит элементы, связанные ролью Рс. с элементами концепта D.
Концепты С и D связаны предикатом Q3, если концепт С содержит элементы, связанные ролью Рп.с элементами концепта D.
Предикат Q4: Существует пример концепта с: С, пример концепта а: D такие, что существует общий признак Рш, на котором значения в примерах концептов С и D никогда не совпадают.
Общий алгоритм вычисления предикатной зависимости между концептами С и D основывается на
Имя конструкта Синтаксис Семантика
Истина Т П
Ложь 1 0
Имя концепта С, Б, Е С 1с аот (В)"
Конъюнкция с По С 1 п П 1
Дизъюнкция (И) сУ р С 1 и П 1
Отрицание (С) 1 С П \ С 1
Имя роли р 1(Р) 1 с DxD
Имя признака Рэ PDI с СХП
Имя предиката Qi Qi 1е ргеа (Л)
Существование роли (Е) ЭР.С {а| а е П, Эс: (а, с)еР1 се С 1}
Всеобщность роли VP.C {а | а е П, Vc: (а, с)е Р1 ^ се С 1}
Существование признака ЭPD {5 | 5 е аот^), Э с: PDI (с)= 5 }
Всеобщность признака V PD {5 | 5 е аот^), V с: Р^ (с)= 5 }
Численное ограничение (№) (>п Р) {а| а е П , #{с | (а, с)е Р1} > п }
(<" Р) {а| а е П , #{с| (а, с)е Р1} < п }
сравнении признаков, определяющих концепты, и его максимальная сложность равна О(п2+п2Х I С | X
|э|).
Правила вывода
Введем определение ранга концепта.
Определение 1. Рангом концепта Н (Иап§(Н)) будем называть количество утверждений вида СQхH и СQ2H в базе знаний. Иап§(Н) = п 1Г (> п QхuQ2).H ш F.
Опишем правила вывода исчисления И8Ы-АЬСЕЫ
F.G — F.G и{Э: Т } 1Г С 1я 1п F and Qх(C,D) 1я 1п F Кх
F.G — F.G и {Э: Т } 1Г С ¡я 1п F uG а^ Q2(C,D) 1я 1п FuG К F.G — F.G и {Э: Т } 1Г С 1я 1п F and Qз(C, Э) 1я 1п F К3
F.G — F.G и {Э: 1} 1Г С 1я 1п F and Q4(C, Э) 1я 1п F К4
F.G.— F.Gи{H: 1} 1Г С 1я 1п F and Е 1я 1п F and Qх (С, Н) апс1 Q4 (Е, С) are 1п F К5
F.G.— F.Gи{H: 1} 1Г Нх 1я 1п F and Rang(H) < Rang(Hх) Кб
Интерпретация
Функция а. Ранее был представлен синтаксис и семантика основных конструкций ИЗЫ-АЬСЕЫ, опишем более точно его функцию интерпретации а, отображающую конструкции формализма И8Ы-АЬСЕЫ в конструкции НС. а:
• С—^ 8, множество имен сложных концептов отображается во множество имен событий НС. Напомним, что 8 в НС означает множество имен предметов, процессов реального мира. При этом множество событий в НС разделено на два типа -факты и гипотезы.
• ЗРШ—где 0< 1 <п, концепту существования признака в соответствие ставится множество из множества атрибутов НС. Напомним, что каждое событие 8 НС однозначно определяется набором атрибутов и диапазоном их значений.
• Р—Ъ, множеству ролей ИЯЫ-АЬСЕЫ ставится в соответствие множество отношений на элементах событий Ъ в НС.
• Q—И, множеству предикатов ИЯЫ-АЬСЕЫ ставится в соответствие множество отношений на событиях НС. В данном случае рассматривается 4 отношения из НС, а именно К3, И4.
Процедуры пополнения и редукции множества целей
Ранее были представлены процедуры пополнения и редукции множества гипотез в НС. Представим процедуры пополнения и редукции множества целей в языке ДЛ с конкретным доменом И8Ы-АЬСЕК
1. GMAX-ALCEN - процедура генерирования максимального множества целей. Выполняется применением правила К2 к паре Е.С до стабилизации пары.
2. RNEG-ALCEN - редукция множества целей. Выполняется применением правила К4 к паре Е.С.
3. RIMP-ALCEN (С) - процедура редукции множества целей. Процедура выполняется применением правила К5 к паре Е.О.
4. RDIF-ALCEN (G) - процедура редукции множества целей на основе сравнения рангов концептов множества целей. Процедура выполняется применением правила K6 к паре F.G до ее стабилизации.
Лемма 1. GMAX-ALCEN сходится, сложность вычислений не превышает О( | F | х( | £ | - | F |)). Максимальное количество шагов процедуры до стабилизации пары определяется формулой: | £ | - | F |.
Лемма 2. RNEG-ALCEN (G) сходится, сложность вычислений не превышает О(пх | F | х | G |).
Лемма 3. RIMP-ALCEN (G) сходится, сложность вычислений определяется формулой: О( | G | х | F |2).
Лемма 4. RDIF-ALCEN (G) сходится, сложность вычислений определяется формулой: О( | F | х | G | + | G | xlg( | G |)), где | F | - количество элементов множества фактов, | G | - количество элементов множества целей, | £ | - количество элементов в базе знаний.
Выводимыми назовем формулы, вычисленные процедурами пополнения и редукции множества целей или правилами вывода. Тот факт, что ф выводима в базе знаний £, будем обозначать £ |— ф.
Теорема. Формула ф выводима в языке HSN-ALCEN из множества формул базы знаний £ тогда и только тогда, когда она является следствием базы знаний в НС. £ |— ф ^ £ |=НС ф.
Доказательство проводится индукцией по структуре концепта и анализом каждого из правил вывода.
В заключение отметим, что ДЛ с конкретным доменом пополнена новой группой правил вывода, алгоритмами и процедурами рассуждений из НС. Таким образом, средствами HSN-ALCEN можно решать концептуальные задачи прогнозирования, диагностики и интерпретации знаний. При этом мы не отказываемся от методов рассуждений базового формализма, позволяющего выявлять, является ли концепт логическим следствием базы знаний. HSN-ALCEN является корректным и полным. Сложность вычислений в нем не превышает coNP.
Список литературы
1. Осипов Г.С. Инструментарий для экспертных систем. Теория SIMER+MIR // Программные продукты и системы.-1990.- №3.-С.23-32.
2. Осипов Г.С. Построение моделей предметных областей. Неоднородные семантические сети// Изв. РАН СССР. Техн. кибернетика.- 1990.-№5.- С. 32-45.
3. Осипов Г.С. Специальные знания и синтез механизма рассуждений в задачах концептуального анализа // Изв. РАН. Техн. кибернетика.- 1992 №5 .- С. 22-27.
4. F. Baader, P. Hanschke, "A scheme for integrating concrete domain into concept languages" , Technical report, DFKI Research Report RR-91-10, 1991.
5. J. Bermudez, A. Illarramendi. "A description logic with concrete domain for a metaclass level of an interoperable data system. ", In Proceedings of DL'2000, International Workshop of Description Logics, 2000, Aachen, Germany.
6. Borgida Alexander, Ronald J. Brachman, Deborah L.McGuinness, Lori Alperin Resnick, 1989. CLASSIC: A Structural Data Model for Objects. In Proc. of the ACM SIGMOD Int. Conf. On Management of Data, 59-67.
7. Brachman, Ronald J., Hector J. Levensque, 1984. The Tractability of Subsumption in Frame-Based Description Lan-
guages. In Proc. of the 4th Nat. Conf. On Artificial Intelligence (AAAI-84), 34-37.
8. Donini F.M., Lenzerini M. Nardi D. Schaerf A. Reasoning in Description Logics // In. Principles of Artificial Intelligence. Ed: G. Brewska, Springer Verlag, 1995.
9. Kaczmarek, Thomas S., Raymond Bates, Gabriel Robins. 1986 Recent Developments in NIKL. In Proc. of the 541 Nat. Conf. on Artificial Intellegence, (AAAI-86), 978985.
10. Kurtonona N., Rijke M., Expressivenes of concept espres-sions in first-order description logics// Artificial Intelligence, v.107, 1999.
11. MacGregor, Robert, R.Bates, 1987. The Loom Knowledge Representations Language. Technical Reports ISI/RS-87-188 Marina del Rey, Cal.: University of Southern California, Information Science Institute.
12. Scherf, Andrea. 1994 Query Answering in Concept- Based Knowledge Representations System: Algorithms, Complexity, and Semanic Issues. Docoral dissertation, Departimento di Informaticd e Sistemisica, Universita di Roma "La Sapienza".
13. Woods, William A., James G. Schmolze.1992. The KLONE Family. In Semantic Networks in Artificial Intellegence, ed. F.W. Lehmann. 133-178. Pergamon Press. Publishe as a special issue of Computers and Mathematics with Applications, v.23, № 2-9.
ГИБРИДНЫЕ СИСТЕМЫ, ОСНОВАННЫЕ НА МЯГКИХ ВЫЧИСЛЕНИЯХ: ОПРЕДЕЛЕНИЕ, АРХИТЕКТУРА,
ВОЗМОЖНОСТИ
Н.Г. Ярушкина
Появление термина мягкие вычисления [1] обычно объясняют тем, что мягкие, или гибридные системы, такие как нечеткие нейронные сети (ННС) с генетической настройкой параметров, демонстрируют взаимное усиление достоинств и погашение недостатков отдельных методов. Очевидно, что представление знаний в нейронных сетях (НС) в виде матриц весов не позволяет строить объяснение проделанного распознавания или прогнозирования, в то время как системы вывода на базе нечетких правил позволяют строить объяснения как обратные протоколы вывода (ответы на вопрос ПОЧЕМУ?). НС обучаются с помощью универсального алгоритма, то есть трудоемкое извлечение знаний заменяется сбором достаточной по объему обучающей выборки.
Для нечетких систем вывода построение включает в себя трудоемкие процессы формализации понятий, построения функций принадлежности, формирования правил вывода. ННС же [2,3] обучаются как НС, но строят объяснения как системы нечеткого вывода.
Многие интеллектуальные технологии ограничены только анализом ситуации, диагностикой. Интеллектуальные методы, синтезирующие новые изделия, редки. Поэтому специалисты по искусственному интеллекту с надеждой смотрят на методы генетических алгоритмов (ГА) [4,5], решающих задачи структурного синтеза. В гибридных системах ГА способны выполнить настройку функций принадлежности. Функция принадлежности задается параметризованной функцией формы, параметры которой оптимизирует ГА. ГА может оптимизировать и состав больших баз нечетких продукций, и структуру НС, в результате возникают генетические ННС [6].
Для развития большинства прикладных интеллектуальных систем было характерно доминирование символьных методов, так как количественные теории в искусственном интеллекте признавались менее обещающими. В результате для такой насыщенной расчетами области деятельности, как авто-
матизированное проектирование сложных технических систем, использование интеллектуальных методов дало меньший эффект, чем ожидалось. На наш взгляд, причина состояла в отсутствии среди интеллектуальных методов средств обработки количественных данных. Мягкие вычисления могут составить научную основу для глубинной интеграции интеллектуальных технологий в САПР. Фундаментальная проблема моделирования как восприятия (с помощью НС), так и логического мышления (с помощью логического вывода) в рамках единой модели наталкивается на большое число конкретных технологических проблем по интеграции моделей и технологий.
В настоящей статье рассматривается проблема создания технологичной, то есть воссоздаваемой как программная система гибридной архитектуры, которая позволит получить следующие преимущества:
• анализировать состояние объекта в условиях неопределенности с помощью системы нечеткого вывода;
• прогнозировать будущие состояния с помощью НС;
• проектировать новое структурно-функциональное решение объекта с помощью ГА.
Схема интеграции должна решать следующие внутренние задачи системы, основанной на знаниях:
- снижать трудоемкость экспликации знаний (формирования функций принадлежности, базы нечетких правил);
- придавать нейронным ЭС способность объяснять полученные заключения;
- учитывать нечеткость, неточность, неполноту представления знаний и немонотонный характер вывода;
- снижать субъективность представленных знаний (функций принадлежности и нечетких правил) с помощью настройки на объективные данные;
- оптимизировать базу знаний за счет эволюционного моделирования.
