НЕСТАНДАРТНЫЕ МНОЖЕСТВА И ГРАНУЛЯРНЫЕ ВЫЧИСЛЕНИЯ Посвящается Д.А.Поспелову

1. Пятые Поспеловские чтения «Искусственный интеллект – проблемы и перспективы» (Москва, Политехнический музей, 29-30 ноября 2011г.) В.Б. ТарасовМосковский государственный технический университет им. Н.Э.Баумана (Москва, Россия)Кафедра «Компьютерные системыавтоматизации производства»e-mail: tarasov@rk9.bmstu.ru НЕСТАНДАРТНЫЕ МНОЖЕСТВА И ГРАНУЛЯРНЫЕ ВЫЧИСЛЕНИЯ Посвящается Д.А.Поспелову

2. Д.А.ПОСПЕЛОВ

3. Д.А.ПОСПЕЛОВ – УЧЕНЫЙ-ЭНЦИКЛОПЕДИСТ ШИРОКИЙ СПЕКТР ИНТЕРЕСОВ В СОВРЕМЕННОЙ НАУКЕ Д.А.Поспелов – родоначальник ряда новых научных направлений в теории систем, информатике и науках об искусственном: • Теория систем: Моделирование больших, сложных систем, а также распределенных, децентрализованных, многоагентных систем • Информатика: Организация параллельных вычислений в сетях • Общая теория поведения естественных и искусственных систем как основа поведенческой информатики (Психоника– психологияповедения искусственных систем Теория гиромата как предшественница теории агентов Фреймы поступков. Модели коллективного поведения. Анализ правополушарных механизмов восприятия и мышления) • Теория управления: Ситуационное управление • Прикладная семиотика:Семиотическое моделирование • Прикладная логика: Псевдофизические и нечеткие логики • Виртуалистика и когнитивная графика ОСНОВНАЯ СФЕРА ИНТЕРЕСОВ: ИСКУССТВЕННЫЙ ИНТЕЛЛЕКТ

4. Д.А.ПОСПЕЛОВ ОБ ИСКУССТВЕННОМ ИНТЕЛЛЕКТЕ Исследования в ИИ должны быть нацелены на «изучение психики человека с целью ее имитации в технических системах, решающих определенный набор практических задач, традиционно считающихся интеллектуальными» [Поспелов Д.А. Фантазия или наука: на пути к ИИ. М.: Наука, 1982]. В философском плане данную позицию можно обозначить как «умеренный функционализм»,предполагающий возможность абстрагировать характерные свойства некоторого явления и воспроизвести их на других носителях. Здесь речь идет о воспроизведении основных функций человеческого интеллекта (а в более широком плане, психики человека) без учета лежащих за ними физиологических явлений.

5. ИСКУССТВЕННЫЙ ИНТЕЛЛЕКТ(ПО Д.А. ПОСПЕЛОВУ)КАК «НАУКА-ПЕРЕКРЕСТОК», ОБЪЕДИНЯЮЩАЯ РЯД ЕСТЕСТВЕННЫХ, ТЕХНИЧЕСКИХ И ГУМАНИТАРНЫХ ДИСЦИПЛИН И Н Ф О Р М А Т И К А Т Е О Р И Я У П Р А В Л Е Н И Я ПРИКЛАДНАЯ МАТЕМАТИКА ТЕОРИЯ МНОЖЕСТВ И ЛОГИКА ии ПСЕВДОФИЗИЧЕСКИЕ ЛОГИКИ СЕМИОТИЧЕСКИЕ СИСТЕМЫ ПСИХОЛОГИЯ ЛИНГВИСТИКА ПСИХОНИКА, МОДЕЛИ ПОВЕДЕНИЯ, ТЕОРИЯ ГИРОМАТА МОДЕЛИ ДИАЛОГА И ПОНИМАНИЯ ФИЛОСОФИЯ Воззрения В.И.Вернадского, Н.К.Рериха СИСТЕМНЫЙ ПОДХОД К ИССЛЕДОВАНИЮ И МОДЕЛИРОВАНИЮ ИНТЕЛЛЕКТА ТЕОРИЯ СИСТЕМ

6. ОСНОВНЫЕ СОСТАВЛЯЮЩИЕ ВКЛАДА Д.А.ПОСПЕЛОВА В РАЗВИТИЕ ОТЕЧЕСТВЕННОЙ НАУКИ I.НАУЧНАЯ: МОНОГРАФИИ, НАУЧНЫЕ СТАТЬИ 1. КИБЕРНЕТИКА И ИНФОРМАТИКА: ТЕОРИЯ АВТОМАТОВ, ТЕОРИЯ ИГР, ТЕОРИЯ ВЫЧИСЛИТЕЛЬНЫХ СИСТЕМ 2. НАУКИ ОБ ИСКУССТВЕННОМ, В ПЕРВУЮ ОЧЕРЕДЬ, СИТУАЦИОННОЕ УПРАВЛЕНИЕ, СЕМИОТИЧЕСКОЕ МОДЕЛИРОВАНИЕ, РАЗВИТИЕ МЕТОДОЛОГИИ, ТЕОРИИ И МЕТОДОВ ИИ 3. КОГНИТИВНЫЕ НАУКИ И НАУКИ ОПОВЕДЕНИИ II. НАУЧНО-ПУБЛИЦИСТИЧЕСКАЯ: РАБОТЫ ПО ИСТОРИИ ИНФОРМАТИКИ И ИСКУССТВЕННОГО ИНТЕЛЛЕКТА. ФУТУРОЛОГИЧЕСКИЕ СТАТЬИ

7. РАННИЕ МОНОГРАФИИ Д.А.Поспеловав области кибернетики и информатики • «Логические методы анализа и синтеза схем»(1964 г.) • «Игры и автоматы»(1965 г.) • «Вероятностные автоматы»(1970 г.) • «Мышление и автоматы»(1972 г.) (совместно с В.Н.Пушкиным), • «Системы управления»(1972 г.) (совместно с В.Н.Захаровым и В.Е.Хазацким) • «Большие системы. Ситуационное управление»(1975 г.),

8. МОНОГРАФИИ Д.А.ПОСПЕЛОВА В ОБЛАСТИ ИНФОРМАТИКИ И ИСКУССТВЕННОГО ИНТЕЛЛЕКТА • «Логико-лингвистические модели в системах управления» (1981 г.) • «Фантазия или наука: на пути к искусственному интеллекту» (1982 г.) • «Оркестр играет без дирижера. Размышления об эволюции некоторых технических систем и управлении ими» (1984 г.) (совместно с В.И.Варшавским) • «Ситуационное управление: теория и практика» (1986 г.) • «От амебы до робота: модели поведения» (1987г.) (совместно с М.Г.Гаазе-Рапопортом) Основы поведенческой • «Представление знаний о времени и пространстве в интеллектуальных системах» (1988 г.)(совместно с Е.Ю.Кандрашиной и Л.В.Литвинцевой) • «Моделирование рассуждений» (1989 г.) • «Нормативное поведение в мире людей и машин» (1990) (совместно с В.А.Шустер)

9. ОСНОВНЫЕ СОСТАВЛЯЮЩИЕ ВКЛАДА Д.А.ПОСПЕЛОВА В РАЗВИТИЕ ОТЕЧЕСТВЕННОЙ НАУКИ III.Научно-учебная.Формирование научной школы, воспитание учеников, производство специалистов в области информатики и ИИ, близких ему по духу и идеям (В.Н. Вагин, Г.С .Осипов, В.Ф. Хорошевский, А.Н. Аверкин, А.Ф. Блишун, И.В. Ежкова, Л.В. Литвинцева и др.) IV.Научно-организационная. Активное участие в организации координационных структур по ИИ в системе АН СССР (1974 г.) • Заместитель председателя Научного совета по искусственному интеллекту Комитета по системному анализу при Президиуме АН СССР (Председатель Г.С.Поспелов, ученый секретарь Л.И.Микулич) • Заместитель председателя Секции «Искусственный интеллект» Научного совета по комплексной проблеме «Кибернетика» при Президиуме АН СССР (Председатель Г.С.Поспелов, ученый секретарь Л.И.Микулич)

10. ОСНОВНЫЕ СОСТАВЛЯЮЩИЕ ВКЛАДА Д.А.ПОСПЕЛОВА В РАЗВИТИЕ ОТЕЧЕСТВЕННОЙ НАУКИ Создание в 1989 г. Советской ассоциации искусственного Интеллекта (Учредительный съезд состоялся в г. Коломне в мае 1989 г.). В 1992 г. она была преобразована в Ассоциацию искусственного интеллекта, а в 1996 г. появилась Российская ассоциация искусственного интеллекта. С 1991 г.стал издаваться журнал Ассоциации «Новости искусственного интеллекта» (ныне «Искусственный интеллект и принятие решений»). Таким образом, была сформирована открытая, междисциплинарная научная среда, эффективно функционирующая уже почти 20 лет, которая живет самостоятельной жизнью и является примером открытого сообщества, активно взаимодействующего с самыми разными научными, учебными, промышленными, деловыми структурами. За период с 1988 г. по 2010 г. было проведено 12Национальных конференций по ИИ

11. ОСНОВНЫЕ ПОЛОЖЕНИЯ КЛАССИЧЕСКОЙ ТЕОРИИ МНОЖЕСТВ Традиционные множества удовлетворяют двум базовым постулатам: а) постулат принадлежности; б) постулат различимости. Согласно постулату принадлежности,любой элемент либо принадлежит, либо не принадлежит множеству, т.е.X=X +, X , где X + = {xxX},X  = {xxX} или на языке характеристических функций 1, если xX f(x) = 0, если xX Это означает, что границы множества являются четкими; логическим аналогом постулата принадлежности является закон исключенного третьего. В соответствии с постулатом различимостимножество мыслится как совокупность разных, т.е. четко различимых между собой элементов, которые можно перечислить, представить в виде списка. Отказ от этих жестких постулатов приводит к появлению неклассических (нестандартных) теорий множеств. .

12. НЕСТАНДАРТНЫЕ ТЕОРИИ МНОЖЕСТВ Известными примерами нестандартных теорий множеств служат мереология(теория частей и границ) Ст.Лесьневского и ее современные расширения (в частности, мереотопология); альтернативная теория множеств (АТМ) П.Вопенки. В обеих этих теориях не используется отношение принадлежности. В АТМ класс рассматривается как более общая категория, чем множество, вводится понятие «полумножество», а также принимается интерпретация бесконечности как нечеткости, свойственной «необозримому конечному». Пусть имеется свойство объекта (x), которое определяет класс {x, (x)}. ПолумножествомAназывается собственный класс, являющийся подклассом некоторого множества A = {x, (x)} X В русле идей релятивизма в альтернативной теории множеств вводится понятие «горизонта», вблизи которого возникают феномены неразличимости и нечеткости. Вопенка П. Альтернативная теория множеств: Новый взгляд на бесконечность: Пер. со словац. – Новосибирск: Изд-во Института математики, 2004.

13. МЕРЕОЛОГИЯ Ст. ЛЕСЬНЕВСКОГО: ОСНОВНЫЕ ИДЕИ Мереологией (партономией) называется учение о частях целого (теория частей и границ). Как известно, в классической теории множеств активно используются постулат различимости элементов, а также понятие пустого множества. В отличие от этого мереология: 1) делает акцент на целостности множества как «коллективного класса», что позволяет считать ее прямой предшественницей теории грануляции Л.Заде; 2) основана на единственном отношении «быть частью»; 3) обходится без пустого множества. Мереология Лесьневского являет собой прототип «весомой» онтологии, которая опирается на следующие аксиомы (эти аксиомы положены в основу ряда моделей пространства). 1. Любой предмет есть часть самого себя (аксиома рефлексивности). 2. Две различные вещи не могут быть частями друг друга: если P – часть предмета Q, то Q не есть часть предмета P(аксиома антисимметричности). 3. Если P есть часть предмета Q, а Q – часть предмета R, тоP есть часть предмета R (аксиома транзитивности). Таким образом, отношение «часть–целое» является отношением нестрогого порядка. Станислав Лесьневский(1886-1939), Серпухов-Варшава

14. ПРИМЕРЫ НЕСТАНДАРТНЫХ МНОЖЕСТВ: МУЛЬТИМНОЖЕСТВО Мультимножеством А называется множество, которое может включать повторяющиеся элементы. Пусть X = {x1, …, xm} – обычное множество, все элементы которого различны. Мультимножеством А, порожденным множеством X, называется совокупность наборов одинаковых элементов вида А = {nA1x1,nA2x2,…,nAmxm}. В общем случае мультимножество можно задать с помощью двух базовых функций: характеристической функции f: X{0, 1} и функции кратности n. Функция кратности мультимножества выражается как n: XN0, где N0 = {0,1,2,…} – множество неотрицательных целых чисел. По сути, формализация мультимножества сводится к определению его функции кратности.

15. ИНТЕРПРЕТАЦИИ МУЛЬТИМНОЖЕСТВА 1. Множество с различной частотой встречаемости элементов 2. Множество, состоящее из nэкземпляров («точных копий») каждого типа xX(X– множество типов). 3. Взвешенное множество, когда кратность отождествляется с весом n=w. А={w1x1, w2x2,…, wnxn}, где wi= wA(x), а выражение wixiможно понимать как алгебраическое произведение элемента xi и его веса wi,i=1,…,n. n Векторы и матрицы также могут использоваться для наглядного представления мультимножеств Петровский А.Б. Пространства множеств и мультимножеств. – М.: Едиториал УРСС, 2003. x

16. Д.А.ПОСПЕЛОВ: ТРЕХЗНАЧНЫЕ И МНОГОЗНАЧНЫЕ СЕМАНТИКИ, КРИТИКА ПРИНЦИПА РАЗЛИЧИМОСТИ, НЕОПРЕДЕЛЕННЫЕ МНОЖЕСТВА Поспелов Д.А. Логические методы анализа и синтеза схем. М.: Энергия, 1974 (Раздел «Применение многозначных логик при анализе и синтезе схем»). Захаров В.Н., Поспелов Д.А. Деонтическая логика и ее использование в моделях коллективного поведения// Дискретные системы. Международный симпозиум.– Рига: Зинатне, 1974. – Т.4. – С.88-92. Трехзначная семантика Поспелов Д.А., Осипов Г.С. Прикладная семиотика// Новости искусственного интеллекта. – 1999. – №1. – С.9-35 (О неразличимости денотатов, с.14) Поспелов Д.А. Ситуационное управление: теория и практика. – М.: Наука, 1986. (Неопределенное множество на с.186) Неразличимость как следствие отсутствия информации Объекты могут быть различимыми в одной шкале и неразличимыми, т.е. тождественными, в другой – более укрупненной или размытой. ...

17. НЕСТАНДАРТНЫЕ МНОЖЕСТВА: ИНФОРМАЦИОННЫЙ ПОДХОД Нестандартные множества с областью недоопределенности или переопределенности выражаются тройками вида X=X +, X , X0,где X + = {xxX},X  = {xxX}, X 0= {xx?X} Их можно представить трехзначной характеристической функцией f (x){+1, 0.5, 0} Область определенности X0 Близкий подход: Shadowed Sets: Pedrycz W., Gomide F. Fuzzy Systems Engineering: Towards Human-Centric Computing. – Hoboken N.J.: Wiley and Sons, 2007. X  X+ CВЯЗЬ МЕЖДУ ИЕРАРХИЕЙ И НЕОПРЕДЕЛЕННОСТЬЮ H= (X+,X0), X+X, X0= X \ X+ Область неопределенности

18. НЕКОТОРЫЕ ВИДЫ НЕСТАНДАРТНЫХ МНОЖЕСТВ Обозначим X+ через A. Тогда: 1. Переопределенное множество– это множество с избыточной и противоречивой информацией относительно принадлежностиего элементов +1, если xX+; Аod f(x) =0.5, если xX+и xX; 0, если xX. 2. Недоопределенное множество– это множество с неполной информацией относительно принадлежности его элементов +1, если xX+; Аud f(x) =0.5, если xX+и xX; 0, если xX. По А.С.Нариньяни, Аud = X +, X , l, u, гдеl– нижняя оценка u – верхняяоценка мощности множества X 0

19. ПРИБЛИЖЕННОЕ МНОЖЕСТВО Пусть Х – множество, а RXX – отношение неразличимости (эквивалентности). Тогда пара=(Х, R) образует пространство приближений. Классы эквивалентности по отношению R называются элементарными множествами в пространстве приближений , а любая совокупность элементарных множеств образует составное множество в . Произвольное подмножество AX можно точно определить на основе имеющейся информации, т.е. классов эквивалентности. Вместо этого каждое множество заменяется двумя множествами, которые называются нижним приближением RХ = {xxRX} (наибольшее составное множество, содержащееся в Х) и верхним приближением RХ = {xxRX} (наименьшее составное множество, содержащее X) соответственно. Pawlak Z. Rough Sets // International Journal of Computer and Information Sciences. – 1982. – Vol.11. – P.341-356.

20. Нижнее приближение есть множество всех объектов, которые определенно принадлежат Х, а верхнее приближение – множество всех объектов, которые возможно принадлежат Х. Приближенное (аппроксимируемое) множество расположено между этими двумя приближениями RХХRХ ПРЕДСТАВЛЕНИЕ ПРИБЛИЖЕННОГО МНОЖЕСТВА Павляк З. Приближенные множества – основные понятия// Логические исследования. Вып.1. – М.: Наука, 1993. – С.6-19. Для каждой пары приближений различаются три различных области: 1) POSR (Х) = RХ (R – положительная область X, в которой все объекты определенно принадлежат множеству X); 2) NEGR (Х) = U\ Х (R – отрицательная область X, в которой все объекты определенно принадлежат дополнению X' к множеству X); 3) BNDR(Х) = Х \ RХ (R-пограничная область X, где содержатся все объекты, которые не могут быть с определенностью отнесены ни к X, ни к его дополнению X'.

21. СЛУЧАЙНОЕ МНОЖЕСТВО Случайное множество Aзадается отображением A:  2Y пространства элементарных событий  в множество всех подмножеств конечного множества Y, если прообраз любого подмножества X множества Y является измеримым, т.е. А–1(X) B, где B – поле борелевских множеств. Орлов А.И. Устойчивость в социально-экономических моделях. – М.: Наука, 1979.

22. МЯГКОЕ МНОЖЕСТВО Пусть U– универсальное множество, а P – множество параметров, которое может иметь произвольную природу. Пара (S, P) называется мягким множеством над U, если S является отображением из множества Pв множество всех подмножеств множества U, т.е. S: P2U. Таким образом, мягкое множество, тесно связанное с представлением нечеткости семейством обычных множеств уровня, по сути, задает параметризованное семейство подмножеств универсума U. Молодцов Д.А. Теория мягких множеств. – М. Едиториал УРСС, 2004. Molodtsov D.A. Soft Set Theory – First Results// Computers and Mathematics with Applications. – 1999. – Vol.37, №4-5. – P.19-31.

23. НЕЧЕТКИЕ МНОЖЕСТВА Zadeh L.A. Fuzzy Sets// Information and Control. – 1965. – Vol.8. – P. 338-353. Дано понятие нечеткого множества, изложены различные варианты определения бинарных операций их пересеченияиобъединения. Введены унарные операции дополнения, растяжения, концентрирования, отношение включения. Рассмотрены множества уровня нечетких множеств. Введены нечеткие отношенияи их проекции. Предложенпринцип обобщения и рассмотрены отображения нечетких множеств. Введены нечеткие множества типа 2. Определены эластичные ограничения и правила трансляции нечетких предложений

24. ОСНОВНЫЕ ПОЛОЖЕНИЯ ТЕОРИИ НЕЧЕТКИХ МНОЖЕСТВ 1.Всем подмножествам универсального множества X cтавится в соответствие упорядоченная структура: xFyx есть в большей степени F, чем y 2. Упорядочение по принадлежности производится на шкале принадлежностиM: xFyF(x)F(y) 3. Шкала принадлежности может быть как числовой: интервалы [0, 1], [1, +1], [0,),подинтервалы этих интервалов, так и нечисловой: линейно упорядоченное множество, решетка Lи пр.

25. 25 ЛЕТ НАЗАД ВЫШЛА В СВЕТ КНИГА«НЕЧЕТКИЕ МНОЖЕСТВА В МОДЕЛЯХ УПРАВЛЕНИЯ И ИСКУССТВЕННОГО ИНТЕЛЛЕКТА»/ ПОД РЕД. Д.А.ПОСПЕЛОВА Рассматривается применение аппарата теории нечетких множеств к таким областям математики, как теория матриц и отношений, логика, теория автоматов и алгоритмов, модели принятия решений и др. Описывается применение полученных формальных методов к кластерному анализу, распознаванию образов, задачам рационального выбора, экспертным оценкам, экономическим прогнозам, описанию биологических и социальных процессов, моделированию поведения человека-оператора, к системам планирования и представления знаний в системах искусственного интеллекта, алгоритмам управления роботами и технологическими процессами, допускающим нечеткие инструкции.

26. ВАЖНЕЙШИЕ ИДЕИ И РЕЗУЛЬТАТЫ Л.Заде в 1970-е – 1990-е годы • Формальная модель лингвистической переменной Zadeh L.A. The Concept of a Linguistic Variable and its Application to ApproximateReasoning. Parts 1 and 2//Information Sciences. –1975.– Vol.8.–P.199-249, 301-357 • Идеи плюрализма и локальности в логике Bellman R., Zadeh L.A. Local and Fuzzy Logics// Modern Uses of Multiple-ValuedLogics/ Ed. by J.M.Dunn and G.Epstein. – Dordrecht: D.Reidel, 1977. – P.105-165. • Теория возможности Zadeh L.A. Fuzzy Sets as a Basis for a Theory of Possibility// Fuzzy Sets and Systems. – 1978. – Vol.1. – P. 3-28 • Теория приближенных рассуждений Zadeh L.A. A Theory of Approximate Reasoning// Machine Intelligence/ Ed. byJ. Hayes, D. Michie and L.I. Mikulich. – New York: Halstead Press, 1979. – P.149-194. • Концепция мягких вычислений Zadeh L.A. Fuzzy Logic, Neural Network and Soft Computing// Communications of the ACM. – 1994. – Vol.37, №3. – P.77-84. • Концепция вычислений со словами Zadeh L.A. Fuzzy Logic = Computing With Words// IEEE Transactions on Fuzzy Systems. – 1996. –Vol. 4. – P. 103-111. • Теория нечетких информационных гранул Zadeh L.A. Toward a Theory of Fuzzy Information Granulation and its Centrality in Human Reasoning and Fuzzy Logic// Fuzzy Sets and Systems. – 1997. – Vol. 90. – P.111-127.

27. ВАЖНЕЙШИЕ ИДЕИ И РЕЗУЛЬТАТЫ Л.Заде в 2000-е годы Общая теория неопределенности Zadeh L.A. Toward a Generalized Theory of Uncertainty (GTU): an Outline// Information Sciences – Informatics and Computer Science. – 2005. – Vol.172, №1-2. – P.1-40. Zadeh L.A. Generalized Theory of Uncertainty (GTU) – Principal Concepts and Ideas// Computational Statistics and Data Analysis. – 2006. – Vol. 51. – P.15-46.\ Теория неточных и гранулярных вероятностей Zadeh L.A. Toward a Perception-Based Theory of Probabilistic Reasoning with Imprecise Probabilities// Journal of Statistical Planning and Inference. – 2002. – Vol.105. – P. 233–264. Zadeh L.A From imprecise to granular probabilities// Fuzzy Sets and Systems. – 2005. – Vol.154, №3. – P.370-374. Программа развития гранулярной математики, в частности, реализация гранулярных вычислений на основе обобщенных ограничений Создание в 1997 г. специальной рабочей группы по гранулярным вычислениям в рамках ранее организованной Л.Заде лаборатории BISC в университете Беркли (штат Калифорния)

28. ИНФОРМАЦИОННЫЕ ГРАНУЛЫ И ГРАНУЛЯЦИЯ В ИСКУССТВЕННОМ ИНТЕЛЛЕКТЕ Для того, чтобы перейти от нестандартных множеств к гранулярным вычислениям следует дать ответы на ряд ключевых вопросов. Зачем и для кого нужны информационных гранулы? Какие области и типы задач искусственного интеллекта затронуты этой проблематикой? Как формировать информационные гранулы? Какие инструментальные средства нужны для разработки и поддержки гранулярной онтологии? ОБЛАСТИ ИИ Теория и приложения интеллектуальных агентов и многоагентных систем; Системы онтологий и, в частности, метаонтологии; Задачи интеллектуального анализа данных и обнаружения знаний, в частности, интеграции данных, поступающий от сенсоров

29. ОСНОВНЫЕ ХАРАКТЕРИСТИКИ АГЕНТА Обычно определение искусственного агента сводится к выделению некоторого минимального набора его базовых характеристик, в число которых входят: 1) активность; 2) реактивность; 3) автономность; 4) коммуникативность; 5) интенциональность. Для интеллектуальных агентов в этот перечень добавляются такие качества как формирование мнений и представление знаний, прогнозирование ситуации, принятие решений и планирование действий. Важным свойством человека как естественного интеллектуального агента является способность к грануляции информации.как основной подход к работе с НЕ-факторами.Этой способностью следует наделять и искусственных интеллектуальных агентов - как физических агентов, например, интеллектуальных роботов, так и программных агентов, в частности, инфоботов.

30. ОСНОВНЫЕ ФУНКЦИИ И ВИДЫ ИНТЕЛЛЕКТУАЛЬНЫХ АГЕНТОВ КАК ОТКРЫТЫХ АКТИВНЫХ СИСТЕМ КОГНИТИВНАЯ ФУНКЦИЯ РЕСУРСНАЯ ФУНКЦИЯ АГЕНТ СРЕДА РЕГУЛЯТИВНАЯ ФУНКЦИЯ

31. АРХИТЕКТУРА КОГНИТИВНОГО АГЕНТА Главная особенность когнитивного агента, отличающая его от других интеллектуальных систем, заключается в том, что он получает информацию из трех источников: 1) от датчиков сенсорной системы; 2) от собственной базы знаний; 3) от человека-оператора на ограниченном ЕЯ в виде целеуказаний и инструкций. Интеграция этих информационных процессов является необходимым условием диалогового управления.

32. ПОНЯТИЕ ГРАНУЛЫ Термин«гранула» происходит от латинского слова granum, что означает «зерно» и описывает мелкую частицу реального мира. Грануляция информации основана на неклассическом представлении множества. Классическое понятие множества опирается на два основных принципа: принцип принадлежностии принцип различимостиего элементов. В то же время, гранула есть совокупность неразличимых объектов, определяемая только их типом и количеством. Онтология гранул – это онтология представления сложных единиц информации и выявления знаний из данных. Под гранулой понимается группа объектов, объединяемых неразличимостью, сходством, близостью(т.е. отношениями, обладающими, по крайней мере, свойствами симметричности и рефлексивности). По сути, термин «гранула» означает динамическую целостную информационную структуру, организованную для достижения некоторой цели. Понятие «гранула» и термин «грануляция информации ввел Л.Заде в 1979 г., однако прямым предшественником теории грануляции может по праву считаться польский ученый Ст.Лесьневский – автор Мереологии.

33. ГРАНУЛЯЦИЯ ИНФОРМАЦИИ В ИИ: ГРАНУЛЯЦИЯ КАК КЛЮЧЕВАЯ СПОСОБНОСТЬ КОГНИТИВНЫХ АГЕНТОВ 1. Информационные гранулы играют ведущую роль в представлении и обработке знаний когнитивными агентами. 2. Уровень грануляции (размер гранул) имеет существенное значение для описания агентом проблемы и выбора стратегии ее решения. 3. Не существует универсального уровня информационной грануляции; размер гранулы является проблемно-ориентированным и зависящим от агента.

34. ИНТЕРПРЕТАЦИИ И КЛАССИФИКАЦИИ ГРАНУЛ Типичные интерпретации гранулесть: часть целого, подзадача задачи, кластер, переменное ограничение (в смысле Л. Заде), единица знания. Имеются различные классификации гранул: физические и концептуальные гранулы, четкие и нечеткие гранулы, одномерные и многомерные гранулы, гранулы данных и гранулы знаний, временные и пространственные (псевдофизические) гранулы и пр. Гранулы отличаются друг от друга по своей природе, сложности, размеру, уровню абстрактности-детализации. Уровень грануляции можно задать как число объектов в грануле, поделенное на общее число гранул. Термин «Грануляция» охватывает процессы композиции (формирование более крупных гранул) и декомпозиции (формирование более мелких гранул)

35. ИЛЛЮСТРАЦИЯ ВРЕМЕННЫХ ГРАНУЛ: ИЕРАРХИЯ ПЛАНОВ (В СООТВЕТСТВИИ СО СТАНДАРТОМ MRPII) Громов С.А. Разработка моделей, методов и программного обеспечение для оперативного планирования производства на основе теории адаптации и технологии программных агентов. Диссертация…к.т.н. – Москва: МГТУ им.Н.Э.Баумана, 2011.

36. ПРИМЕРЫ ПРОСТРАНСТВЕННЫХ ГРАНУЛ

37. ПРИНЦИП СООТВЕТСТВИЯ Язык описания сложной системыдолжен соответствовать характеру располагаемой о ней информации (уровню неопределенности). Грануляция информации – это ее представление согласно принципу соответствия на определенном уровне обобщенности –детализации. Например, теория пространственных гранул – это теория «бесточечных» пространственных областей. ПРИНЦИП ГРАНУЛЯЦИИ Л.ЗАДЕ Для эффективной работы с неточной информации следует выбрать наибольший уровень грануляции, соответствующий допустимому уровню неточности [Zadeh, 2000]

38. ГРАНУЛЯРНЫЕ ВЫЧИСЛЕНИЯ Гранулярные вычисления – это новая концептуальная и вычислительная парадигма обработки информации. Этот термин служит для обозначения различных методологий, теорий, методов и инструментальных средств, использующих гранулы при решении сложных задач. Согласно Ю.Яо, гранулярные вычисления можно рассматривать с трех сторон: как философию человеческого мышления, методологию решения задач и набор методов анализа информации. По мнению Л.Заде, гранулярные вычисления обеспечивают подходящее основание для вычислений со словами, т.е. вычислений на основе информации, описываемой средствами ограниченного естественного языка. Он связывает гранулярные вычисления с формированием, агрегированием и распространением обобщенных ограничений. Фундаментальными проблемами гранулярных вычислений являются построение, представление, интерпретация и использование гранул в соответствии с имеющимися знаниями. Близкие концепции: Сomputational Intelligence, Natural Computations, Human-Centric Computing.

39. ГРАНУЛЯРНЫЕ ВЫЧИСЛЕНИЯ: НЕКОТОРЫЕ ПЕРСОНАЛИИ И ЛИТЕРАТУРНЫЕ ИСТОЧНИКИ Основоположниками теории грануляции информации и гранулярных вычислений являются L.Zadeh, Yiyu Yao, W.Pedrycz, T.-Y. Lin, R.Yager,A.Skowron,И.З.Батыршин, В.Крейнович. Базовые литературные источники: Монография Bargiela A.,PedryczW.Granular Computing: an Introduction. – Dordrecht: Kluwer Academic Publishers, 2003. Капитальное руководство Handbook of Granular Computing/ Ed.byW.Pedrycz, A.Skowron and V.Kreinovich. – New York: Wiley InterScience, 2008. – 1116 c. Proceedings of International Conferences «Rough Sets, Fuzzy Sets, Data Mining and Granular Computing» - недавно в июне 2011 г. в Москве прошла уже 13-яконференция с таким названием. Международный журнал International Journal of Granular Computing, Rough Sets and Intelligent Systems(издается с 2010 г.)

40. ТИПИЧНЫЕ МОДЕЛИ ГРАНУЛ Интервалы Кластеры Вложенные множества Недоопределенные множества Переопределенные множества Приближенные множества Мультимножества Нечеткие множества Лингвистические переменные Примитивы языка гранулярных вычислений – покрытия, разбиения, окрестности R

41. СТРУКТУРА ГРАНУЛЯЦИИ ИНФОРМАЦИИ Будем описывать общую схему грануляции информации когнитивным агентом пятеркой G = X, GR, M, R, T , где X – проблемная область; GR– семейство информационных гранул; M – множество формальных методов грануляции; R – множество отношений между гранулами; T – множество переходов между уровнями грануляции (преобразований гранул). Грануляцию информации можно осуществлять разными методами: 1) на основе методов классификации и кластерного анализа; 2) на базе мереологического подхода с помощью отношений вложенности и нестандартных множеств

42. О СООТНОШЕНИИ МЕЖДУ ГРАНУЛОЙ И КЛАСТЕРОМ ОПРЕДЕЛЕНИЕ КЛАСТЕРА ПРИМЕРЫ КЛАСТЕРОВ Под кластером понимается такой набор объектов, где любой объект расположен ближе к центру, средней точке своего набора, чем к центру любого другого набора. Можно также определить кластер его как участок повышенной плотности в пространстве, отделенный от других участками низкой плотности. Аксиома различимости объектов не ставится под сомнение. В кластерном анализе объединение объектов в группы производится, исходя из их сходства или различия, которое оценивается степенью близости объектов в метрических пространствах признаков.

43. ИЛЛЮСТРАЦИЯ УРОВНЕЙ ГРАНУЛЯЦИИ И ОТНОШЕНИЙ МЕЖДУ ГРАНУЛАМИ

44. МЕТОДЫ ПОСТРОЕНИЯ ЧЕТКИХ ГРАНУЛ: РАЗБИЕНИЕ НА ОСНОВЕ ОТНОШЕНИЯ ЭКВИВАЛЕНТНОСТИ Простейший вариант грануляции информации есть разбиение универсального множества, т.е. его разделение на nнепустых и неперекрывающихся подмножеств: X = A1... An (покрытие), где A1... An = . Пример четкой гранулы Разбиение можно определить как фактор-множество, индуцируемое отношением эквивалентности. Бинарное отношениеRXX называется отношением эквивалентности E, если оно удовлетворяет условиям рефлексивности, симметричности и транзитивности. Отношение эквивалентностиE разбивает исходное множествоX на непересекающиеся подмножества. Это разбиение множества X называется фактор-множеством, индуцированным отношением эквивалентности Eи обозначается в виде X/E ={[x]ExX}, где [x]E= {yyX; xEy} – класс эквивалентности, содержащий x. Примером функциональной грануляции служит антропоморфная грануляция автономного робота на базовые мехатронные компоненты: А1 – «тело» (двигательная система, обеспечивающая перемещение робота); А2 – «голова» или «мозг» – системы управления; А3 – «органы чувств» (сенсорные системы); А4 – «языки» (система коммуникации).

45. МЕТОДЫ ГРАНУЛЯЦИИ ИНФОРМАЦИИ НА ОСНОВЕ ПОНЯТИЯ ОКРЕСТНОСТИ Понятие гранулы можно задать как окрестность элемента (точки) x. Так на числовой осиокрестностьточки – любой интервал (открытый промежуток), содержащий данную точку. Пусть X,  – метрическое пространство. В этом случае окрестностью с центром в точке y называют множество Аε= {xX ρ (x, y) ε }. Таким образом, каждой точкеxXможно поставить в соответствие некоторое подмножество, называемое окрестностью точки, а семейство таких подмножеств образует систему окрестностей. В частности ε-окрестность можно описывать как расстояние. Бинарное отношение R называется расстоянием (метрикой) , если оно удовлетворяет следующим условиям: 1) R(x, x) = 0 , (x, x)XX (антирефлексивность); 2) R(x, y) = R(y, x), (x, y), (y,x) XX (симметричность); 3)R(x, z) R(x, y) R(y, z)},(x, z),(x, y),(y, z) XX(транзитивность). По сути, понятияразбиения и окрестности являются примитивами языка гранулярных вычислений, где им соответствует термин «гранула»

46. ГРАНУЛЯРНАЯ АЛГЕБРАИЧЕСКАЯ СИСТЕМА Определение. Гранулярная алгебраическая система есть тройка GAS= XG, RG, G , гдеXGесть непустое базовое гранулярное множество, понимаемое как основа грануляции (его можно задать семейством вложенных множеств, приближенных множеств, мультимножеств, нечетких множеств и пр.), RG есть множество гранулярных отношений на XG(например, семейства бинарных, тернарных, …, n-арных отношений, выражаемых с помощью гиперграфов), G есть множество гранулярных операций наXG(в частности, семейства обобщенные операции пересечения и объединения, задаваемые треугольными нормами и конормами) Как задатьXG? Гранулярное множество можно рассматривать как универсум вместе с семейством его подмножеств.

47. 1. Гранулярное множество – универсум вместе с фактор-множеством XG = (X, X/E ), где фактор-множество X/E ={[x]ExX}индуцируетсяотношением эквивалентности, [x]E={y yX; xEy} – класс эквивалентности, содержащий x. Итак, в простейшем случае гранулярное множество формируется путем разбиения универсального множества X, а именноX =(A1,…, An), гдеX = A1... An (покрытие)и AiAj = , i, j = 1,…,n 2. Гранулярное множество какуниверсум вместе с семейством вложенных множеств (ensemble flou) XG = (X, F ). F = {A0, …, An}, гдe Ai X, i=0,…, n, A0= X, A0 A1…An или в более общем случае как множество четких -сечений, определенных на решетке L A: L2X,L. ГРАНУЛЯРНОЕ МНОЖЕСТВО: НЕКОТОРЫЕ ПРИМЕРЫ

48. МЕРЫ ГРАНУЛЯРНОСТИ (НЕТОЧНОСТИ) НА МНОЖЕСТВАХ Меры неточности (неспецифичности) на множествах тесно связаны с понятием гранулярности и показывают степень детализации используемой информации. Пусть X– базовое множество, а 2X –множество всех подмножеств, определенных на X. Тогда мера гранулярности (неточности) есть функция множества . gr:2XR+, R+ = [0,), такая что 1)gr(A) = 0тогда и только тогда, когда A есть одноточечное множество, A={x} (cлучай сингулярной оценки) 2)A,B2X, ABgr(A)gr(B). A B

49. ИЛЛЮСТРАЦИЯ СПОСОБОВ ПОРОЖДЕНИЯ ГРАНУЛ Классические формальные подходы к построению четких гранул опираются на понятия:множества, интервала, разбиения, иерархии, окрестности, аппроксимации (теория приближенных множеств), распределения (теория вероятности, теория Демпстера-Шейфера) и пр. Хорошим примером гранулярной структуры является семейство подмножеств универсального множества. Разбиение Вложенные множества: Приближенное множества множество: гранулярная модель гранулярная неопределенности модель неточности неточности

50. МЕТОДЫ ГРАНУЛЯЦИИ ИНФОРМАЦИИ: РАЗБИЕНИЕ НА ОСНОВЕ НЕЧЕТКОГО ОТНОШЕНИЯ ЭКВИВАЛЕНТНОСТИ Построение нечеткой гранулы на базе нечеткого отношения эквивалентности. ПустьR – нечеткое бинарное отношение с функцией принадлежности R: XX  [0,1]. Будем называть его нечетким отношением эквивалентности E, если выполняются следующие условия: 1) μR(x, x)=1, (x, x)XX (рефлексивность); 2) μR(x, y)= μR(y, x), (x, y), (y,x) XX (симметричность); 3) μR(x, z) ≥ max {min(μR(x,y), μR(y, z)}, (x, z), (x, y), (y, z) XX (транзитивность). Пара APR=X, E называется нечетким пространством приближений. Определим множество -уровня (сечение) нечеткого отношенияR в виде R={(x,y)R(x,y)}, (x,y)XX, 01. Нечеткое разбиение множества можно произвести путем разложения нечеткого отношения эквивалентности на -уровни. 50