Системная нечеткая интервальная математика (сним) – перспективное направление теоретической и вычислительной математики Текст научной статьи по специальности «Математика»

Научный журнал КубГАУ, №91(07), 2013 года

1

УДК 303.732.4

СИСТЕМНАЯ НЕЧЕТКАЯ ИНТЕРВАЛЬНАЯ МАТЕМАТИКА (СНИМ) - ПЕРСПЕКТИВНОЕ НАПРАВЛЕНИЕ ТЕОРЕТИЧЕСКОЙ И ВЫЧИСЛИТЕЛЬНОЙ МАТЕМАТИКИ

Орлов Александр Иванович д.э.н., д.т.н., к.ф.-м.н., профессор

Московский государственный технический университет им. Н.Э. Баумана, Россия, 105005, Москва, 2-я Бауманская ул., 5, prof-orlov@mail. ru

Луценко Евгений Вениаминович д.э.н., к.т.н., профессор

Кубанский государственный аграрный университет, Россия, 350044, Краснодар, Калинина, 13, [email protected]

Кратко рассматриваются перспективы и некоторые «точки роста» современной теоретической и вычислительной математики, в частности: числа и множества - основа современной математики; математические, прагматические и компьютерные числа; от обычных множеств - к нечетким; теория нечетких множеств и «нечеткое удвоение» математики; о сведении теории нечетких множеств к теории случайных множеств; интервальные числа как частный случай нечетких множеств; развитие интервальной математики (интервальное удвоение математики); система как обобщение множества; системное обобщение математики и задачи, возникающие при этом; системное обобщение операций над множествами (на примере операции объединения булеанов); системное обобщение понятия функции и функциональной зависимости; когнитивные функции; матрицы знаний как нечеткое с расчетной степенью истинности отображение системы аргументов на систему значений функции; модификация метода наименьших квадратов при аппроксимации когнитивных функций; развитие идеи системного обобщения математики в области теории информации - системная (эмерджентная) теория информации; информационные меры уровня системности - коэффициенты эмерджентности; прямые и обратные, непосредственные и опосредованные правдоподобные логические рассуждения с расчетной степенью истинности; интеллектуальная система Эйдос-Х++ как инструментарий, реализующий идеи системного нечеткого интервального обобщения математики

Ключевые слова: МНОЖЕСТВА, ТЕОРИЯ НЕЧЕТКОСТИ, ИНТЕРВАЛЬНАЯ МАТЕМАТИКА, СИСТЕМЫ, АВТОМАТИЗИРОВАННЫЙ СИСТЕМНОКОГНИТИВНЫЙ АНАЛИЗ, ИНТЕЛЛЕКТУАЛЬНАЯ СИСТЕМА «ЭЙДОС», ПРОГНОЗИРОВАНИЕ, ПРИНЯТИЯ РЕШЕНИЙ

UDC 303.732.4

SYSTEM FUZZY INTERVAL MATHEMATICS -A PROMISING AREA OF THEORETICAL AND COMPUTATIONAL MATHEMATICS

Orlov Alexander Ivanovich

Dr.Sci.Econ., Dr.Sci.Tech., Cand.Phys-Math.Sci.,

professor

Bauman Moscow State Technical University, Moscow, Russia

Lutsenko Evgeny Veniaminovich

Dr.Sci.Econ., Cand.Tech.Sci., professor

Kuban State Agrarian University, Krasnodar, Russia

The article briefly considers the prospects of some “points of growth” in the modern theoretical and computational mathematics: the numbers and sets, i.e. the base of modern mathematics; mathematical, pragmatic and computer numbers; from the usual sets - to unclear; the theory of fuzzy sets and “fuzzy doubling” of mathematics; the mix of fuzzy set theory to the theory of random sets; interval numbers as a special case of fuzzy sets; development of interval mathematics (interval doubling of mathematics); the system as a generalization of a multitude; the systematic generalization of mathematics and tasks emerging; the systematic generalization of operations on sets (on the example of the operation of the Boolean association); the systematic generalization of the concept of functions and functional dependencies participation; cognitive function; the matrix of knowledge as fuzziness with an estimated degree of truth of showing data systems arguments on the system of values of the function; modification of the method of least squares for the approximation of cognitive functions; development of the idea of the systematic generalization of mathematics in the field of information theory - system emergent information theory; information measures of the level of consistency; ratios of emergence; direct and opposite, direct and indirect logical reasoning with an estimated level of truth; intellectual system of Eidos X++ as a toolkit that implements the ideas of system of a fuzzy interval sum of mathematics

Keywords: MULTITUDE, THEORY OF VAGUENESS, INTERVAL MATHEMATICS, SYSTEM, AUTOMATED SYSTEM-COGNITIVE ANALYSIS, EIDOS INTELLECTUAL SYSTEM, FORECASTING, DECISION-MAKING

http://ej.kubagro.ru/2013/07/pdf/15.pdf

Научный журнал КубГАУ, №91(07), 2013 года

2

Содержание

Введение

1. Числа и множества - основа современной математики

2. Математические, прагматические и компьютерные числа

3. От обычных множеств - к нечетким

4. Теория нечетких множеств и «нечеткое удвоение» математики

5. О сведении теории нечетких множеств к теории случайных множеств

6. Интервальные числа как частный случай нечетких множеств

7. Развитие интервальной математики. «Интервальное удвоение» математики

8. Система как обобщение множества. Системное обобщение математики и задачи, возникающие при этом

9. Системное обобщение операций над множествами (на примере операции объединения булеанов)

10. Системное обобщение понятия функции и функциональной зависимости. Когнитивные функции. Матрицы знаний как нечеткое с расчетной степенью истинности отображение системы аргументов на систему значений функции

11. Модификация метода наименьших квадратов при аппроксимации когнитивных функций

12. Развитие идеи системного обобщения математики в области теории информации. Системная (эмерджентная) теория информации

13. Информационные меры уровня системности - коэффициенты эмерджентности

14. Прямые и обратные, непосредственные и опосредованные правдоподобные логические рассуждения с расчетной степенью истинности

15. Интеллектуальная система Эйдос-Х++ как инструментарий, реализующий идеи системного нечеткого интервального обобщения математики

Введение

Неизвестно, какая математика появилось раньше, вычислительная или теоретическая. Ясно, что вычислительная математика возникла тогда, когда возникла потребность в реальных практических вычислениях. Возможно, это было сделано на основе некоторых теоретических представлений, однако гораздо более правдоподобным является предположение, что сами эти теоретические представления возникли как обобщение опыта реальных вычислений.

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

На начальных этапах развития различных направлений современной вычислительной математики казалось очевидным, что все они развивались на грандиозном стволе теоретической математики подобно ветвям огромного дерева и питались его соками. Но недавно стало ясно, что в огромном количестве различных направлений вычислительной математики, которые в этой метафоре можно уподобить листьям, тоже возникает много новых перспективных идей, некоторые из которых вполне могут обогатить теоретическую математику и дать новый импульс ее развитию. Иначе говоря, сегодня наблюдается взаимопроникновение и взаимообогащение теоретической и вычислительной математики.

http://ej.kubagro.ru/2013/07/pdf/15.pdf

Научный журнал КубГАУ, №91(07), 2013 года

3

Кратко, не претендуя на полноту изложения, рассмотрим некоторые из подобных идей.

1. Числа и множества - основа современной математики

Математика - язык науки [1, с.18]. С появлением новых объектов обсуждения язык развивается. «Между математикой и практикой всегда существует двусторонняя связь; математика предлагает практике понятия и методы исследования, которыми она уже располагает, а практика постоянно сообщает математике, что ей необходимо» [1, с.53].

В настоящей статье мы рассматриваем необходимость расширения математического аппарата с целью учета присущих реальности нечеткости, интервальности, системности, а также основы соответствующего предлагаемого нами нового перспективного направления теоретической и вычислительной математики - системной нечеткой интервальной математики (СНИМ).

Анализируя, следуя А.Н. Колмогорову [2], математику в ее историческом развитии, констатируем, что ее основой являются действительные числа и множества. С прикладной точки зрения проанализируем эти понятия, обсудим необходимость обобщений и наметим пути таких обобщений.

Несколько слов о том, что известно всем специалистам, занимающимся разработкой и применением математических методов исследования.

Натуральные, рациональные, действительные числа используются в различных расчетах, основанных на математических моделях. Глубокое изучение натуральных числе было осуществлено уже в Древней Греции. В частности, была установлена бесконечность ряда натуральных чисел. Однако строгая теория действительных чисел была построена только во второй половине XIX в.

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

Практически сразу же после появления теории множеств в ней были обнаружены противоречия (парадоксы). Один из них - парадокс Бертрана Рассела, открытый им в 1901 г. Дадим его краткое описание.

Пусть К— множество всех множеств, которые не содержат себя в качестве своего элемента. Содержит ли К само себя в качестве элемента? Ес-

http://ej.kubagro.ru/2013/07/pdf/15.pdf

Научный журнал КубГАУ, №91(07), 2013 года

4

ли предположить, что содержит, то мы получаем противоречие с «не содержат себя в качестве своего элемента». Если предположить, что К не содержит себя, как элемент, то вновь возникает противоречие, ведь К — множество всех множеств, которые не содержат себя в качестве своего элемента, а значит, должно содержать все такие множества, включая и себя.

Конечно, парадокс Рассела можно сформулировать без употребления термина «множество». Пусть по определению брадобрей - это тот, кто бреет техз кто сам не бреется. Должен ли брадобрей брить самого себя? Ответ «да» противоречит определению брадобрея. Ответ «нет» относит брадобрея к тем, кто сам не бреется, следовательно, он себя сам должен брить.

Противоречие в парадоксе Рассела возникает из-за использования в рассуждении внутренне противоречивого понятия «множества всех множеств» и представления о возможности неограниченного применения законов классической логики при работе с множествами [3, с.17-18]. Для преодоления этого парадокса было предложено несколько путей. Наиболее известный состоит в построении для теории множеств непротиворечивой аксиоматической теории, по отношению к которой являлись бы допустимыми все «действительно нужные» (в некотором смысле) способы оперирования с множествами.

Было предложено несколько возможных аксиоматических теорий, однако ни для одной из них до настоящего момента не найдено доказательства непротиворечивости. Более того, как показал К. Гёдель, доказав ряд теорем о неполноте, такого доказательства не может существовать (в строго определенном смысле). Отметим, что парадоксы ставят под сомнение не только теорию множеств и построенный на ее основе математический инструментарий, но и схемы логических рассуждений. Приходится констатировать, что здание современной математики и логики не имеет законченного обоснования, построено на песке.

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

Однако само наличие парадокса Рассела и ему аналогичных показывает, что развитие математики не закончено. Требуется развитие новых концепций. О некоторых из них пойдет речь ниже в настоящей статье.

2. Математические, прагматические и компьютерные числа

Обсудим базовое для математики понятие числа. Будем считать, что читателю знакомы математические числа, о которых рассказывают в средней и высшей школе.

http://ej.kubagro.ru/2013/07/pdf/15.pdf

Научный журнал КубГАУ, №91(07), 2013 года

5

Констатируем, что реально используемые - назовем их прагматическими - числа зачастую не являются математическими. Так, результаты измерений обычно задаются небольшим количеством значащих цифр (от 1 до 5).

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

Экономические величины порядка миллиардов рублей бессмысленно записывать с точностью до копеек. Надо - с точностью до миллионов.

Расчеты обычно ведем, используя десятичную запись чисел. Напомним, что многие математические числа требуют для своей записи бесконечно много десятичных знаков. Например, длина диагонали квадрата со сторонами единичной длины не может быть выражена конечным числом десятичных знаков. Как и длина окружности единичного диаметра и основание натуральных логарифмов. И даже запись результата деления 1 на 3 состоит - в математике - из бесконечного числа десятичных знаков: 0,3333333... Десятичная запись - это декларативная форма представления числа, при которой число непосредственно готово для использования в вычислениях, а представление чисел в виде формул - это процедурная форма представления числа, подобная алгебраической, при которой перед использованием числа для вычислений необходимо предварительно еще вычислить его. Проблема в том, что это надо делать, но это не всегда возможно, даже в принципе (например в случае иррациональных чисел).

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

Например, для выборочной дисперсии, рассчитанной по выборке x1, x2, ..., xn, с точки зрения чистой математики справедливо тождество, которое проверяется с помощью равносильных преобразований:

I£(xt -х)2 = 11 £хг2 I-(х)2.

—£ х

n i=1 ....

Однако расчеты по левой и правой частям этой формулы могут дать весьма различающиеся значения. Например, рассмотрим ситуацию, когда Xi = 109 + y, i = 1, 2, ., n, где yi - величины порядка 1 (для определенности, от (-3) до 3). Тогда в левой части формулы усредняются величины порядка

1 (числа от 0 до 9). А вот в правой из числа порядка 10 вычитается число

18

также порядка 10 , т.е. каждое из них имеет 18 знаков до запятой, и пер-

http://ej.kubagro.ru/2013/07/pdf/15.pdf

Научный журнал КубГАУ, №91(07), 2013 года

6

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

Кроме прагматических чисел, целесообразно выделить компьютерные. Они появляются из-за существования в любом компьютере «машинного нуля»: все числа, по абсолютной величине меньшие, чем «машинный нуль», компьютер воспринимает как 0. Как следствие существования «машинного нуля», некоторые результаты чистой математики неверны для расчетов на компьютерах. Например, с точки зрения чистой математики сумма

D1

»=i т

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

Принципиальное различие математических, прагматических и компьютерных чисел подробно обсуждает Е.М. Левич [4].

Приведем еще два парадокса, основанных на этом различии [5].

Как уже отмечалось, все реальные результаты наблюдений записываются рациональными числами (обычно десятичными числами с небольшим - от 2 до 5 - числом значащих цифр). Как известно, множество рациональных чисел счетно, а потому вероятность попадания значения непрерывной случайной величины в него равно 0. Следовательно, все рассуждения, связанные с моделированием непрерывными случайными величинами реальных результатов наблюдений - это рассуждения о том, что происходит внутри множества меры 0. Первый парадокс состоит в том, что множествами меры 0 в теории вероятностей принято пренебрегать. Другими словами, с точки зрения теории вероятностей всеми реальными данными можно пренебречь, поскольку они входят в одно фиксированное множество меры 0. Т.е. реальный мир не существует с точки зрения математика.

Глубже проанализируем ситуацию. Сколько всего чисел используется для записи реальных результатов наблюдений? Речь идет о типовых результатах наблюдений, измерений, испытаний, опытов, анализов в технических, естественнонаучных, экономических, социологических, медицинских и иных исследованиях. Если эти числа в десятичной записи имеют

http://ej.kubagro.ru/2013/07/pdf/15.pdf

Научный журнал КубГАУ, №91(07), 2013 года

7

вид (a,bcde)10k, где а принимает значения от 1 до 9, а стоящие после запятой b, c, d, e - от 0 до 9, в то время как показатель степени к меняется от (100) до +100, то общее количество возможных чисел равно 9х104х201=18 090 000, т.е. меньше 20 миллионов. А с учетом знака - 40 миллионов. Второй парадокс, усиливающий первый, состоит в том, что для описания реальных результатов наблюдений вполне достаточно 20 миллионов отдельных символов. Бесконечность натурального ряда и континуум числовой прямой - это математические абстракции, надстроенные над дискретной и состоящей из конечного числа элементов реальностью. (При изменении числа значащих цифр принципиальный вывод не меняется.) Таким образом, реальные данные лежат не только во множестве меры 0, но и в конечном множестве, причем число элементов в этом множестве вполне обозримо.

Из сказанного вытекает необходимость модернизации основ математики. Нужен математический аппарат, позволяющий оперировать с прагматическими и компьютерными числами.

3. От обычных множеств - к нечетким

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

В 1965 г. в журнале «Информация и управление» появилась статья Лотфи А. Заде, профессора информатики Калифорнийского Университета в Беркли, специалиста по теории управления сложными системами. Она называлась необычно: «Fuzzy Sets». Второе слово этого названия переводится с английского языка привычным математическим термином «множества», а вот первое никогда до тех пор в математической и кибернетической литературе не использовалось. Согласно словарю, «fuzz» - пух, пушинка, «fuzzy» - пушистый. На русский язык термин «fuzzy» переводят по-разному: нечеткий, размытый, расплывчатый, реже - туманный, пушистый и т. п.

За прошедшие десятилетия «пушистой» тематике посвящены тысячи статей и книг. Появилось новое направление в вычислительной математике и математической кибернетике - теория нечеткости. Выходят международные научные журналы, проводятся конференции, в том числе и в нашей стране. Обсудим, почему необходимо учитывать нечеткость при описании мышления и восприятия человека.

Что такое «Куча» Знаменитый софизм «Куча» обсуждали еще древнегреческие философы. Вот как можно его изложить: «Одно зерно не составляет кучу. Если к тому, что не оставляет кучи, добавить одно зерно, то куча не получится. Следовательно, никакое количество зерен не составляет кучу».

http://ej.kubagro.ru/2013/07/pdf/15.pdf

Научный журнал КубГАУ, №91(07), 2013 года

8

Рассуждение соответствует известному принципу математической индукции. База индукции - это утверждение: «Одно зерно не составляет кучу». Индуктивный переход: «Если к тому, что не оставляет кучи, добавить одно зерно, то куча не получится». И заключение: «Совокупность п зерен не составляет кучу при любом п». Другими словами: «Никакое количество зерен не составляет кучу».

Полученное утверждение явно нелепо: каждый согласится, что 100 миллионов зерен пшеницы - довольно большая куча (объемом около 6 кубометров). Как же возникает столь абсурдный вывод?

О чем говорит этот софизм? В нем обсуждаются два понятия - «несколько зерен» и «куча» - и показывается, что граница между ними в мышлении людей и в отражающем это мышление естественном языке (русском, английском, китайском, любом другом) нечетка, размыта.

В самом деле, разве можно указать такое число N, что совокупность из N зерен - уже куча, а из (N-1) зерна - еще нет? Можно ли допустить, например, что 325 647 зерен не образуют кучу, а 325 648 - образуют? Конечно, указание точной границы здесь бессмысленно. Ни один человек не сможет различить эти две совокупности зерен.

Представим теперь, что проводится специальная серия опытов: большому числу людей предлагают наборы из п зерен и спрашивают: «Это куча?» И пусть никто не уклоняется от ответа.

Что будет происходить? При малом п все единодушны: «Нет, это не куча, это всего лишь несколько зерен». При многих миллионах зерен все тоже будут едины в своем мнении: «Это куча». А при промежуточных значениях п мнения могут разделиться - одни выскажутся за «кучу», другие против.

Результаты описанного эксперимент допускает плодотворную интерпретацию: каждому числу зерен п можно сопоставить число рп - долю опрошенных, которые считают п зерен кучей. С такой точки зрения понятие «куча» описывается не одним числом - границей между «несколькими зернами» и «кучей», а последовательностьюрп, п = 1, 2, ..., члены которой равны нулю при малых п и единице - при больших.

Софизм «Куча» в начале ХХ в. обсуждал французский математик Эмиль Борель. Он предложил описывать понятие «куча» последовательностью рп, п = 1, 2, ., и указал способ получения этой последовательности с помощью массового опроса. Исходил Э. Борель из глубокого анализа понятия физической непрерывности, выполненного великим математиком и физиком Анри Пуанкаре. В частности, Пуанкаре писал:

«. Непосредственные результаты опыта могут быть выражены следующими соотношениями:

А = В, В = С, A < C,

которые можно рассматривать как формулу физической непрерывности. Эта формула заключает в себе недопустимое разногласие с законом

http://ej.kubagro.ru/2013/07/pdf/15.pdf

Научный журнал КубГАУ, №91(07), 2013 года

9

противоречия; необходимость избежать его и заставила нас изобрести идею математической непрерывности» [6, с.28].

Поясним мысль Пуанкаре. Пусть A(n) - гиря весом в n граммов. Пусть эксперт сравнивает две гири «вручную», т.е. не используя весов. Очевидно, эксперт не в состоянии уловить разницу в 1 грамм, поэтому естественно ожидать, что мнение эксперта будет выражено последовательностью равенств

А(1000) = А(1001), А(1001) = А(1002), ..., А(1999) = А(2000).

Вместе с тем гири весом в 1 кг и в 2 кг эксперт сможет различить наверняка, так что по его мнению

А(1000) < A(2000).

Очевидно, два заключения одного и того же эксперта противоречат друг другу. В выводах эксперта нарушается транзитивность. Наблюдаем парадокс того же типа, что и софизм «Куча». Сказанное показывает, что процесс математического моделирования процессов измерений, в том числе получения экспертных мнений, нетривиален.

Понятие «куча» размыто не только для совокупности людей, но и для отдельно взятого человека. Представьте себе, что вам предъявляют один за другим наборы зерен, спрашивая: «Это куча?» Что вы будете отвечать? При малом числе зерен - «нет», при большом - «да», а при промежуточном станете колебаться. Если экспериментатор настойчив, он вытянет у вас ответ типа: «Это скорее куча, чем несколько зерен». А если он убедительно потребует от вас оценить числом степень вашей уверенности, то добьется чего-нибудь вроде: «Семьдесят пять шансов из ста за то, что это куча». В итоге ваше личное мнение будет выражено последовательностью pn, n = 1, 2, ..., того же типа, что и мнение большой совокупности экспертов.

Человек мыслит нечетко. Понятия, используемые людьми, отнюдь не всегда легко выразить числами. Например, что такое «оранжевый цвет»? Казалось бы, ответить на этот вопрос нетрудно - достаточно указать на шкале электромагнитных волн границы, между которыми лежит оранжевый цвет. В «Малой Советской Энциклопедии» (1930 г.) даже указаны конкретные числа: 589 микрометров - грань оранжевого и золотистожелтого, 656 мкм - красного и оранжевого.

Но подумайте: неужели вы сможете ощутить разницу в цвете при переходе на 1 микрометр - от 655,5 мкм (оранжевый цвет) к 656,5 мкм (красный). Конечно, нет.

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

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

http://ej.kubagro.ru/2013/07/pdf/15.pdf

Научный журнал КубГАУ, №91(07), 2013 года

10

Нечеткость свойственна не только естественному языку, но и диалектам науки. Возьмем для примера физику. Зададимся вопросом: можно ли указать длину предмета (для определенности в метрах) с точностью до тридцатого знака после запятой? Вещество состоит из атомов, атомы из электронов, протонов и нейтронов. Можно ли указать абсолютно точно положение электрона? В квантовой механике получен принцип неопределенности: произведение неопределенности в определении импульса частицы на неопределенность в определении ее положения всегда больше вполне определенной величины - постоянной Планка. Импульс электрона в атоме не может достигать сколь угодно высоких значений (импульс - это произведение скорости на массу; скорость не превосходит скорости света, масса электрона известна). Таким образом, неопределенность импульса ограничена. Стало быть, неопределенность в положении электрона всегда больше некоторой величины - согласно расчетам, примерно 10-10 метра. Иными словами, неустранимая неточность подстерегает нас уже в десятом знаке после запятой, так что о тридцатом не может быть и речи. Отсюда вывод: длину любого тела следует задавать не одним определенным числом, а совокупностью чисел с размытыми границами, т.е. нечетким множеством.

Бытует мнение, что непогрешимой четкостью отличается язык математики. Однако это не так. Например, мы уже не раз употребляли слово «множество». Повторим еще раз, это фундаментальное понятие лежит в основе современной математики. Существует математическая теория множеств. Как и во всякой математической теории, все ее положения базируются на системе аксиом. Эту систему можно строить по-разному. Выражаясь языком специалистов, теория множеств может быть аксиоматизирована различными способами. В получающихся при этом разновидностях теории множеств некоторые выводы оказываются прямо противоположными. Возьмем для примера так называемую континуум-гипотезу. При одних аксиоматизациях она верна, при других - верно ее отрицание.

Что же говорить о других менее точных науках? Одному из авторов настоящей статьи в свое время пришлось столкнуться с таким любопытным фактом: по определению одной группы медиков «затяжное течение острой пневмонии» имеет место в шести случаях из ста, по мнению другой - в шестидесяти. Различие в 10 раз!

В подобных ситуациях возникает естественное желание навести четкость в понятиях и представлениях. Однако часто разные группы и даже отдельные лица понимают термины по-своему, например, как в только что приведенном примере с термином «затяжное течение острой пневмонии». Удастся ли договориться? Кроме того, в наведении четкости есть своя мера и своя опасная грань, за которой излишняя четкость становится вредной.

Например, при проведении некоторых социологических и экспертных исследований интересуются мнениями опрашиваемых, не учитывая, что

http://ej.kubagro.ru/2013/07/pdf/15.pdf

Научный журнал КубГАУ, №91(07), 2013 года

11

эти мнения весьма нечетки или еще не сформировались. Вот вопросы одной, взятой наугад, анкеты: «Что прежде всего необходимо вам для счастья? Иметь интересную работу? Пользоваться уважением окружающих? Любить и быть любимым? Иметь много денег? Приносить пользу людям?» Сумеете ли вы с абсолютной уверенностью выбрать одну и только одну позицию из перечня? Ведь организаторы опроса настаивают на четкости. С расчетом на нее обычно и составляются анкеты. (Вспомним - ведь и мы, проводя мысленный опрос по поводу софизма «Куча», запрещали уклоняться от ответа на вопрос: «Это куча?» - и требовали отвечать либо «да», либо «нет».) И опрашивающие сами уже стараются сформулировать свое мнение поотчетливее. Однако эти мнения зачастую имеют довольно слабую связь с реальными представлениями людей, что порою приводит к существенным ошибкам в прогнозировании на основе подобных социологических или экспертных данных.

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

Итак, мы мыслим нечетко, и это нам не мешает. Более того, именно нечеткость мыслей и слов позволяет нам понимать друг друга, приходить к соглашению и действовать совместно. Только представьте, что было бы, если бы постоянно приходилось уточнять используемые в разговоре слова! Иногда приходится это делать - и тогда появляются огромные тексты договоров и инструкций. Стандартная инструкция к мобильному телефону занимает больше 200 страниц - кто же ее полностью прочитает, прежде чем сделает звонок...

Мы убедились, что, во-первых, мышлению человека органически присуща нечеткость, а во-вторых, эта нечеткость ничуть не зазорна: она естественна. Значит, при разработке математических моделей мышления и поведения человека надо учитывать эту нечеткость - игнорировать ее нельзя! Необходим соответствующий математический аппарат, моделирующий нечеткость восприятия, познания и принятия решений.

Но какие математические понятия следует при этом применять?

В основании современной математики лежит понятие множества. Чтобы задать то или иное конкретное множество предметов (объектов, элементов), надо относительно каждого предмета уметь ответить на вопрос: «Принадлежит данный предмет данному множеству или не принадлежит?» Но мы уже видели, что границы понятий, как правило, размыты, так что четкий ответ на подобный вопрос возможен далеко не всегда. Зна-

http://ej.kubagro.ru/2013/07/pdf/15.pdf

Научный журнал КубГАУ, №91(07), 2013 года

12

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

4. Теория нечетких множеств и «нечеткое удвоение» математики

Чтобы определить нечеткое множество, надо сначала задать совокупность всех тех элементов, для которых имеет смысл говорить о мере их принадлежности рассматриваемому нечеткому множеству. Эта совокупность называется универсальным множеством. Например, для «кучи» - это множество натуральных чисел, для описания цветов - отрезок шкалы электромагнитных волн, соответствующий видимому свету.

Пусть A - некоторое универсальное множество. Подмножество B множества A характеризуется своей характеристической функцией

Mb (х) =<

1, x е B, 0, x £ B.

(1)

Что такое нечеткое множество? Обычно говорят, что нечеткое подмножество C множества A характеризуется своей функцией принадлежности mc : A ® [0;1]. Значение функции принадлежности в точке х показывает степень принадлежности этой точки нечеткому множеству. Нечеткое множество описывает неопределенность, соответствующую точке х - она одновременно и входит, и не входит в нечеткое множество С. За вхождение -mC(x) шансов, за второе - (1- mC(x)) шансов.

Если функция принадлежности mC (x) имеет вид (1) при некотором B,

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

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

http://ej.kubagro.ru/2013/07/pdf/15.pdf

Научный журнал КубГАУ, №91(07), 2013 года

13

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

m (x) =

x е [a, b], x <£ [a, b]

(2)

задает интервальную неопределенность - про рассматриваемую величину известно лишь, что она лежит в заданном интервале [a,b]. Тем самым описание неопределенностей с помощью нечетких множеств является более общим, чем с помощью интервалов.

Начало современной теории нечеткости положено работой 1965 г. американского ученого азербайджанского происхождения Л.А. Заде. Основные определения, алгоритмы расчетов и выражающие их свойства теоремы приведены ниже. Рассуждения древнегреческих философов, математиков начала ХХ в. А. Пуанкаре и Э. Бореля обосновывают методологию теорию нечеткости, но как математическая дисциплина она началась с работы Заде. К настоящему времени по теории нечеткости опубликованы тысячи книг и статей, издается несколько международных журналов, выполнено достаточно много как теоретических, так и прикладных работ. В нашей стране концепция Заде активно обсуждалась еще в 60-е и 70-е гг. ХХ в. (см. обзор в [7]), однако первая книга российского автора по теории нечеткости - книга одного из авторов настоящей статьи - вышла лишь в 1980 г. [8].

Л.А. Заде рассматривал теорию нечетких множеств как аппарат анализа и моделирования гуманистических систем, т.е. систем, в которых участвует человек. Его подход опирается на предпосылку о том, что элементами мышления человека являются не числа, а элементы некоторых нечетких множеств или классов объектов, для которых переход от «принадлежности» к «непринадлежности» не скачкообразен, а непрерывен. В настоящее время методы теории нечеткости используются почти во всех прикладных областях, в том числе при управлении предприятием, качеством продукции и технологическими процессами. Нет необходимости связывать теорию нечеткости только с гуманистическими системами.

Л.А. Заде использовал термин «fuzzy set» (нечеткое множество). На русский язык термин «fuzzy» переводили как нечеткий, размытый, расплывчатый, и даже как пушистый и туманный. Заде использовал термины «теория нечетких множеств» и «нечеткая логика». Мы предпочитаем говорить о теории нечеткости. Термин «нечеткая логика» не является синонимом к термину «теория нечеткости», поскольку логика - это наука о мышлении человека, а теория нечеткости применяется не только для моделирования мышления. Нечеткая логика - это часть теории нечеткости.

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

http://ej.kubagro.ru/2013/07/pdf/15.pdf

Научный журнал КубГАУ, №91(07), 2013 года

14

над нечеткими множествами. Отметим, что операции над множествами в теории нечеткости раздваиваются: объединению соответствуют объединение и сумма, пересечению - пересечение и произведение.

Некоторые равенства алгебры множеств сохраняются для нечетких множеств, другие же не сохраняются. Так, остаются справедливыми законы де Моргана. Дистрибутивный закон справедлив, если используются операции пересечения и объединения, и нарушается для операций произведения и суммы [7, 8].

Удвоение математики. Поскольку теория множеств - основа современной математики, понятие нечеткости позволяет «удвоить математику»: заменяя обычные множества нечеткими, мы можем каждому математическому объекту (понятию, термину) поставить в соответствие его нечеткий аналог. Рассматривают, например, нечеткие классификации, упорядочения, логики, теоремы, алгоритмы, правила принятия решений и т.д., и т.п. Чтобы это перечисление не выглядело для неискушенного читателя просто набором слов, разберем несколько примеров.

Первым в нашем списке упомянуты классификации. Под классификацией имеется в виду разбиение совокупности элементов на классы - группы сходных между собой элементов [9]. В четкой классификации каждый элемент относится к одному определенному классу. А в размытой - задается функция принадлежности элемента различным классам. Расплывчатая классификация обычно больше соответствует реальности, чем строгая.

Представьте себе - идет вам навстречу человек. Лишь в редких случаях вы с уверенностью скажете: «Это блондин». Чаще о цвете волос придется высказаться уклончиво: «Скорее шатен, чем брюнет». Так что, признайтесь, классификация встречных по цвету волос у вас нечеткая. Поэтому пушистые классификации надо изучать - этим и занимается соответствующая часть туманной математики.

Пример нечеткого упорядочения нетрудно найти в магазине, присмотревшись к поведению нерешительного покупателя. Надо приобрести часы, да вот какие? И «Слава» нравится, и «Ракета» современна. Другими словами, и «Слава» на сколько-то процентов привлекательна, и «Ракета» - тут и появляются функции принадлежности марок часов к множеству привлекательных. А ведь сравнивать можно по многим критериям - по внешнему виду, по цене, по надежности и т.д. Для каждого критерия - своя туманность, нужно эти расплывчатости сводить вместе, чтобы принять решение - покупать или не покупать... А для описания всего этого надо развивать математическую теорию нечетких упорядочений, принятия расплывчатых решений...

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

http://ej.kubagro.ru/2013/07/pdf/15.pdf

Научный журнал КубГАУ, №91(07), 2013 года

15

тинность. Например, вы сказали: «Вчера я хорошо поработал». Сразу возникают вопросы: «А разве нельзя было поработать еще лучше? Что значит - хорошо?» Согласитесь: ваши слова истинны не на сто процентов. И подобное можно сказать не только по части житейских высказываний, но и относительно утверждений науки.

Вот, скажем, как выглядит нечеткий аналог теоремы о том, что три медианы треугольника пересекаются в одной точке:

«Пусть АВ, ВС и СА - примерно прямые линии, которые образуют примерно треугольник с вершинами А, В и С. Пусть М1, М2, М3 - примерно середины сторон ВС, СА и АВ соответственно. Тогда примерно прямые линии АМ1, ВМ2 и СМ3 образуют примерно треугольник Т1Т2Т3, который более или менее мал относительно треугольника АВС» [10, с. 137-138].

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

Нечеткие алгоритмы - тоже не экзотика. Многие инструкции в какой-то мере расплывчаты. Беря поваренную книгу, любая хозяйка знает: чтобы блюдо удалось, к печатным рецептам надо добавить свою интерпретацию, а также смекалку и удачу. Если же поручить роботу готовить суп, то придется нечеткие слова естественного языка определять с помощью функций принадлежности. Например, определить понятие «варить до готовности». Значит, нужна соответствующая математическая теория - теория нечетких алгоритмов.

Продолжать можно без конца. «Удвоение математики» - настоятельная необходимость. Однако «скоро сказка сказывается, да нескоро дело делается». Теория нечеткости молода. Всего лишь почти пятьдесят лет! Миг по сравнению с двадцатью пятью веками геометрии!

Польза нечеткости. Несмотря на свою молодость, нечеткая математика находит успешные приложения. Примеры описания неопределенностей с помощью нечетких множеств часто приводятся в литературе. Например, в [11] приведено описание понятия «богатый человек», разобрана разработка методики ценообразования на основе теории нечетких множеств.

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

http://ej.kubagro.ru/2013/07/pdf/15.pdf

Научный журнал КубГАУ, №91(07), 2013 года

16

предельно четко, и размытый ответ является к тому же более адекватным. Поэтому создаются методы сбора и анализа нечеткой информации.

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

Аппарат теории нечеткости оказался полезным в самых разных прикладных областях - в химической технологии и в медицине, при управлении движением автотранспорта и в экономической географии, в теории надежности и при контроле качества продукции.

Группа химиков во главе с академиком В.В. Кафаровым изучала процессы, протекающие в ванне стекловаренной печи при производстве листового стекла. Основное при этом - исследовать распределение поля температур в бассейне ванны. Можно это делать в классическом стиле, рассматривая дифференциальное уравнение в частных производных, которому удовлетворяет поле температур. Уравнение это можно решить хорошо известным среди специалистов методом Фурье. Но пушистые химики предлагают другой подход. В соответствии с ним приращение температуры при переходе от одной точки бассейна печи к другой является нечетким. Химики рассчитали поле температур размытым методом и сравнили свои результаты с числами, полученными по методу Фурье. Относительное расхождение не превышало 6%, что считается пренебрежимо малым в этой области. Но компьютерные расчеты заняли в 5-6 раз меньше машинного времени.

Парадокс теории нечеткости. В концепции размытости есть свой подход к познанию мира, к построению математических моделей реальных явлений. Хочется во всем увидеть нечеткость и смоделировать эту нечеткость подходящим расплывчатым объектов.

Мы уже рассмотрели много примеров, когда такой подход разумен и полезен. Возникает искушение провозгласить тезис: «Все в мире нечетко». Он выглядит особенно привлекательно в связи с большой вредностью излишней, обманчивой четкости. Но можно ли этот тезис провести последовательно?

Нечеткое множество задается функцией принадлежности. Обратим внимание на аргумент и на значение этой функции. Четкие это объекты или размытые? Тезис «все в мире нечетко» наталкивает на мысль, что они расплывчаты.

http://ej.kubagro.ru/2013/07/pdf/15.pdf

Научный журнал КубГАУ, №91(07), 2013 года

17

Действительно, вспомним примеры - скажем, софизм «Куча». Сначала поговорим про аргумент функции, т.е. про число зерен, относительно которых решается вопрос: «Куча это или не куча?» Число зерен в достаточно большой совокупности - разве может оно быть известно абсолютно точно? Как ни считай зерна - вручную, на вес, автоматически - всегда возможны ошибки (человек может ошибиться, автоматические весы измеряют с погрешностями (описаны в паспорте средства измерения), и даже -могут сломаться...). Или пройдемся по остальным примерам - всюду то же самое.

А теперь - о значении функции принадлежности. Оно уж тем более нечетко! Мнение человека - разве имеет смысл выражать его хотя бы с тремя значащими цифрами? В социологии общепринято, что человек в словесных оценках обычно не может различить больше трех, в лучшем случае - шести градаций (эти величины вытекают и из математической модели, разработанной в [12]). Отсюда можно вывести с помощью соответствующего расчета, что функция принадлежности, отражающее мнение одного человека, может быть определена лишь с точностью 0,17 - 0,33. Так что мнение отдельного лица следовало бы выразить не тонкой кривой - графиком функции, а довольно широкой полосой. Если же функция принадлежности строится как среднее (среднее арифметическое или медиана) индивидуальных мнений, то и тогда ее значения известны отнюдь не абсолютно точно из-за того, что опрашиваемая совокупность людей обычно не включает и малой доли тех, кого можно было опросить. И только если значения функции принадлежности определяются по аналитическим формулам, они известны абсолютно точно. Но тогда возникает законный вопрос: насколько обоснованы сами эти формулы? Обычно оказывается, что обоснование у них довольно слабое...

Каков итог? И аргумент, и значение функции принадлежности, как правило, необходимо считать нечеткими.

Что же из этого следует? Начнем опять с аргумента. Он сам является не строго определенной величиной, а некоторым нечетким множеством величин, значит, описывается некоторой функцией принадлежности - задается каким-то своим аргументом. А этот новый аргумент - он ведь тоже нечеток! Опять появляется функция принадлежности - с каким-то третьим аргументом. И так далее.

Остановимся ли мы когда-либо на этом пути? Если остановимся, то должны будем использовать четкие значения аргумента - а это противоречит тезису «все в мире нечетко». В соответствии с эти тезисом четкие значения фиктивны, им ничто в мире не соответствует. Если же не остановимся, то получим бесконечную последовательность нечетких моделей, в которой из каждого размытого множества, как из матрешки, вылезает новая расплывчатость. Возможны ли при этом обоснованные расчеты?

http://ej.kubagro.ru/2013/07/pdf/15.pdf

Научный журнал КубГАУ, №91(07), 2013 года

18

Далее, значение функции принадлежности также необходимо считать нечетким. Л.А. Заде разработал аппарат пушистых множеств с размытыми функциями принадлежности, благоразумно не вдаваясь при этом в рассуждения о том, на каком же шагу считать функции принадлежности четкой.

Итак, основной парадокс теории нечеткости состоит в том, что привлекательный тезис «все в мире нечетко» невозможно последовательно раскрыть в рамках математических моделей. Конечно, описанный парадокс не мешает успешно использовать расплывчатую математику в конкретных приложениях. Из него вытекает лишь необходимость указывать и обсуждать границы ее применимости.

5. О сведении теории нечетких множеств к теории случайных множеств

Нечеткость и случайность. С самого начала появления современной теории нечеткости в 1960-е годы началось обсуждение ее взаимоотношений с теорией вероятностей. Дело в том, что функция принадлежности нечеткого множества напоминает плотность распределения вероятностей. Отличие только в том, что сумма вероятностей по всем возможным значениям случайной величины (или интеграл, если множество возможных значений несчетно) всегда равна 1, а сумма S значений функции принадлежности (в непрерывном случае — интеграл от функции принадлежности) может быть любым неотрицательным числом. Возникает искушение пронормировать функцию принадлежности, т.е. разделить все ее значения на S (при S * 0), чтобы свести ее к распределению вероятностей (или к плотности вероятности). Однако специалисты по нечеткости справедливо возражают против такого «примитивного» сведения, поскольку оно проводится отдельно для каждой размытости (нечеткого множества), и определения обычных операций над нечеткими множествами согласовать с ним нельзя. Последнее утверждение означает следующее. Пусть указанным образом преобразованы функции принадлежности нечетких множеств А и В. Как при этом преобразуются функции принадлежности АпВ, АиВ, А + В, АВ? Установить это невозможно в принципе. Последнее утверждение становится совершенно ясным после рассмотрения нескольких примеров пар нечетких множеств с одними и теми же суммами значений функций принадлежности, но различными результатами теоретико-множественных операций над ними. Причем и суммы значений соответствующих функций принадлежности для этих результатов теоретико-множественных операций, например, для пересечений множеств, также различны.

В работах по нечетким множествам время от времени утверждается, что теория нечеткости самостоятельный раздел прикладной математики и не имеет отношения к теории вероятностей. Некоторые авторы, обсуждавшие взаимоотношения теории нечеткости и теории вероятностей, подчеркивали различие между этими областями теоретических и прикладных

http://ej.kubagro.ru/2013/07/pdf/15.pdf

Научный журнал КубГАУ, №91(07), 2013 года

19

исследований. Обычно сопоставляют аксиоматику и сравнивают области приложений.

Аргументы при втором типе сравнений не имеют доказательной силы, поскольку по поводу границ применимости даже такой давно выделившейся научной области, как вероятностно-статистические методы, имеются различные мнения. Более того, нет единства мнений об арифметике. Напомним, что итог рассуждений одного из наиболее известных французских математиков Анри Лебега по поводу границ применимости арифметики таков: «Арифметика применима тогда, когда она применима» (см. [7, 8]).

При сравнении различных аксиоматик теории нечеткости и теории вероятностей нетрудно увидеть, что списки аксиом различаются. Из этого, однако, отнюдь не следует, что между указанными теориями нельзя установить связь, типа известного сведения евклидовой геометрии на плоскости к арифметике (точнее к теории числовой системы R ). Эти две аксиоматики — евклидовой геометрии и арифметики — на первый взгляд весьма сильно различаются.

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

Проекция случайного множества. Как оказалось, теория нечетких множеств тесно связана с теорией случайных множеств. Еще в 1975 г. доказано (см. [7, 8, 12]), что нечеткие множества естественно рассматривать как «проекции» случайных множеств. Рассмотрим этот метод сведения теории нечетких множеств к теории случайных множеств.

Определение 1. Пусть A = A(w) — случайное подмножество конечного множества Y. Нечеткое множество В, определенное на Y, называется проекцией А и обозначается Proj A, если

тв(у) = P(y eA) (3)

при всех y e Y.

Очевидно, каждому случайному множеству А можно поставить в соответствие с помощью формулы (3) нечеткое множество В = Proj A. Оказывается, верно и обратное.

Теорема 1. Для любого нечеткого подмножества В конечного множества Y существует случайное подмножество А множества Y такое, что В = Proj A.

Изучение связи между нечеткими и случайными множествами началось с введения случайных множеств с целью развития и обобщения аппарата нечетких множеств Л. Заде. Дело в том, что математический аппарат нечетких множеств не позволяет в должной мере учитывать различные варианты зависимости между понятиями (объектами), моделируемыми с его помощью, т.е. не является достаточно гибким. Так, для описания «общей части» двух нечетких множеств есть лишь две операции — произведение и

http://ej.kubagro.ru/2013/07/pdf/15.pdf

Научный журнал КубГАУ, №91(07), 2013 года

20

пересечение. Если применяется первая из них, то фактически предполагается, что множества ведут себя как проекции независимых случайных множеств. Операция пересечения также накладывает вполне определенные ограничения на вид зависимости между множествами, причем в этом случае найдены даже необходимые и достаточные условия [7, 8, 12]. Желательно иметь более широкие возможности для моделирования зависимости между множествами (понятиями, объектами). Использование математического аппарата случайных множеств предоставляет такие возможности.

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

Теорема 2. Пусть B1, B2, B3, ..., Bt — некоторые нечеткие подмножества множества Y из конечного числа элементов. Рассмотрим результаты последовательного выполнения теоретико-множественных операций

Bm = ((...(№ оB2)оB3)о...)оBm_\) оBm, m = 1, 2, ..., t, где о — символ одной из следующих теоретико-множественных операций над нечеткими множествами: пересечение, произведение, объединение, сумма (на разных местах могут стоять разные символы). Тогда существуют случайные подмножества A1, A2, A3, ., At того же множества Y такие, что

ProjAi = Bi, i = 1, 2, ..., t,

и, кроме того, результаты теоретико-множественных операций связаны аналогичными соотношениями

Proj{((...((A1 ® A2) ® A3) ® Am-1) ® Am} = Bm, m = 1, 2, ., t, где знак ® означает, что на рассматриваемом месте стоит символ пересечения случайных множеств, если в определении Bm стоит символ пересечения или символ произведения нечетких множеств, и соответственно символ объединения случайных множеств, если в Bm стоит символ объединения или символ суммы нечетких множеств.

6. Интервальные числа как частный случай нечетких множеств

Интервальное число - это нечеткое множество с функцией принадлежности, заданной формулой (2). Проще говоря, интервальное число - это интервал [a, b]. Интервальные числа часто используются для описания результатов измерений, поскольку измерение всегда проводится с некоторой неопределенностью. Прогноз погоды, как и другие прогнозы, дается в виде интервала, например: «Температура завтра днем будет 15 - 17 градусов Цельсия».

http://ej.kubagro.ru/2013/07/pdf/15.pdf

Научный журнал КубГАУ, №91(07), 2013 года

21

Арифметические операции над интервальными числами [a, b] и [c, d] определяются следующим образом:

[a, b] + [c, d] = [a + c, b + d], [a, b] - [c, d] = [a - d+ c, b - c],

[a, b] [c, d] = [ac, bd], [a, b] / [c, d] = [a/d, b/c]

(формулы для умножения и деления приведены в случае положительных чисел a, b, c, d).

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

7. Развитие интервальной математики. «Интервальное удвоение» математики

Первая монография по интервальной математике была опубликована Р.Е. Муром в 1966 г. (практически одновременно с первой статьей Л.А. Заде по нечетким множествам), а на русском языке - Ю.И. Шокиным в 1981 г. В дальнейшем интервальная математика активно развивалась, но не так быстро, как теория нечетких множеств. Исключением является статистика интервальных данных, в которой получено много интересных результатов (они приведены в одной из четырех глав монографии [7]), в то время как статистика нечетких данных до сих пор гораздо менее развита и представляет собой в основном результат применения общих подходов статистики объектов нечисловой природы, являющихся элементами пространств произвольного вида [7].

Любую математическую конструкцию, использующую числа, можно обобщить, заменив обычные числа на интервальные. Таким образом, применение интервальных чисел позволяет произвести «интервальное удвоение» математики. Открывается большое поле для теоретических исследований, имеющих непосредственный практический интерес. Вначале основные применения были связаны с автоматическим контролем ошибок округления при вычислениях на ЭВМ. Затем начали учитывать ошибки дискретизации численных методов и ошибки в начальных данных. Статистика интервальных данных исходит из модели, согласно которой элементы выборки известны лишь с точностью до «плюс-минус дельта», т.е. выборка состоит из интервалов фиксированной длины со случайными концами.

Констатируем необходимость расширения математического аппарата с целью учета присущих реальности нечеткости и интервальности. Такая необходимость отмечалась в ряде публикаций [35-37], но пока еще не стала общепризнанной. На описании неопределенностей с помощью вероятностных моделей не останавливаемся, поскольку такому подходу посвящено множество работ.

8. Система как обобщение множества. Системное обобщение математики и задачи, возникающие при этом

В науке принято два основных принципа определения понятий:

http://ej.kubagro.ru/2013/07/pdf/15.pdf

Научный журнал КубГАУ, №91(07), 2013 года

22

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

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

Как это ни парадоксально, но понятия системы и множества могут быть определены друг через друга, т.е. трудно сказать, какое из этих понятие является более общим.

Определение системы через множество.

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

Определение множества через систему.

Но можно рассуждать и иначе, считая более общим понятием систему, т.е. мы ведь можем определить понятие множества через понятие системы. Множество - это система, в которой сила взаимодействия между элементами равна нулю (это и есть отличительный признак, выделяющий множества среди систем). Тогда более общим понятием является система, а множества - это просто системы с нулевым уровнем системности.

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

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

http://ej.kubagro.ru/2013/07/pdf/15.pdf

Научный журнал КубГАУ, №91(07), 2013 года

23

чаться от множеств и системное обобщение теории перейдет к классическому варианту, основанному на понятии множества. В предельном случае, когда сила взаимосвязи точно равна нулю, системная теория будет давать точно такие же результаты, как основанная на понятии множества.

Этот вывод верен для всех теорий, но в данной статье для авторов наиболее интересным и важным является то, что очень многие, если не практически все понятия современной математики основаны на понятии множества, в частности на математической теории множеств. В частности, к таким понятиям относятся понятия:

- математической операции: преобразования одного или нескольких исходных множеств в одно или несколько результирующих;

- функциональной зависимости: отображение множества значений аргумента на множество значений функции для однозначной функции одного аргумента или отображение множеств значений аргументов на множества значений функций для многозначной функции многих аргументов;

- «количество информации»: функция от свойств множества.

В статье [13] впервые сформулирована и обоснована программная идея системного обобщения математики, суть которой состоит в тотальной замене понятия "множество" на более общее понятие "система" и прослеживании всех последствий этого. При этом обеспечивается соблюдение принципа соответствия, обязательного для более общей теории, т.к. при понижении уровня системности система по своим свойствам становится все ближе к множеству и система с нулевым уровнем системности и есть множество. Приводится развернутый пример реализации этой программной идеи в области теории информации, в качестве которого выступает предложенная в 2002 году системная теория информации [17], являющаяся системным обобщением теории информации Найквиста - Больцмана -Хартли - Шеннона и семантической теории информации Харкевича. Основа этой теории состоит в обобщении комбинаторного понятия информации Хартли I = Log2N на основе идеи о том, что количество информации определяется не мощностью множества N, а мощностью системы, под которой предлагается понимать суммарное количество подсистем различного уровня иерархии в системе, начиная с базовых элементов исходного множества и заканчивая системой в целом. При этом в 2002 году, когда было предложено системное обобщение формулы Хартли, число подсистем в системе, т.е. мощность системы Ns, предлагалось рассчитывать по формуле:

Ns = £ C = 2n -1.

m=1

Соответственно, системное обобщение формулы Хартли для количества информации в системе из n элементов предлагалось в виде:

http://ej.kubagro.ru/2013/07/pdf/15.pdf

Научный журнал КубГАУ, №91(07), 2013 года

24

Is = Log 2 Ns = Log 2 X С

m=1

В статье [38] дано системное обобщение формулы Хартли для количества информации для квантовых систем, подчиняющиеся статистике как Ферми-Дирака, так и Бозе-Эйнштейна, и стало ясно, что предложенные в 2002 году в работе [17] вышеприведенные выражения имеют силу только для систем, подчиняющихся статистике Ферми-Дирака.

В статье [14] кратко описывается семантическая информационная модель системно-когнитивного анализа (СК-анализ), вводится универсальная информационная мера силы и направления влияния значений факторов (независимая от их природы и единиц измерения) на поведение объекта управления (основанная на лемме Неймана - Пирсона), а также неметрический интегральный критерий сходства между образами конкретных объектов и обобщенными образами классов, образами классов и образами значений факторов. Идентификация и прогнозирование рассматривается как разложение образа конкретного объекта в ряд по обобщенным образам классов (объектный анализ), что предлагается рассматривать как возможный вариант решения на практике 13-й проблемы Гильберта.

В статьях [15, 16] обоснована идея системного обобщения математики и сделан первый шаг по ее реализации: предложен вариант системной теории информации [17, 21]. В данной статье осуществлена попытка сделать второй шаг в этом же направлении: на концептуальном уровне рассматривается один из возможных подходов к системному обобщению математического понятия множества, а именно - подход, основанный на системной теории информации. Предполагается, что этот подход может стать основой для системного обобщения теории множеств и создания математической теории систем. Сформулированы задачи, возникающие на пути достижения этой цели (разработки системного обобщения математики) и предложены или намечены пути их решения:

Задача 1: найти способ представления системы как совокупности взаимосвязанных множеств.

Задача 2: сформулировать, чем отличаются друг от друга различные системы, состоящие из одних и тех же базисных элементов.

Задача 3: обосновать принципы геометрической интерпретации понятий: "элемент системы" и "система".

Задача 4: предложить способы аналитического описания (задания) подсистем как элементов системы.

Задача 5: описать системное семантическое пространство для отображения систем в форме эйдосов (эйдос-пространство).

Задача 6: описать принцип формирования эйдосов (включая зеркальные части).

http://ej.kubagro.ru/2013/07/pdf/15.pdf

Научный журнал КубГАУ, №91(07), 2013 года

25

Задача 7: показать, что базовая когнитивная концепция [17] формализуется многослойной системой эйдос-пространств (термин автора) различных размерностей.

Задача 8: показать, что системная теория информации позволяет непосредственно на основе эмпирических данных определять вид функций принадлежности, т.е. решать одну из основных задач теории нечетких множеств.

Задача 9: сформулировать перспективы: разработка операций с системами: объединение (сложение), пересечение (умножение), вычитание. Привести предварительные соображения по сложению систем.

В данной статье эти варианты решения не приводятся из-за ограниченности ее объема.

9. Системное обобщение операций над множествами (на примере операции объединения булеанов)

В статье [22] рассматривается реализация математической операции объединения систем, являющаяся обобщением операции объединения множеств в рамках системного обобщения теории множеств. Эта операция сходна с операцией объединения булеанов классической теории множеств. Но в отличие от классической теории множеств в ее системном обобщении предлагается конкретный алгоритм объединения систем и обосновывается количественная мера системного (синергетического, эмерджентного) эффекта, возникающего за счет объединения систем. Для этой меры предложено название: «Обобщенный коэффициент эмерджентности Р. Хартли» из-за сходства его математической формы с локальным коэффициентом эмерджентности Хартли и отражающим степень отличия системы от множества её базовых элементов1. Приводится ссылка на авторскую программу, реализующую предложенный алгоритм и обеспечивающую численное моделирование объединения систем при различных ограничениях на сложность систем и при различной мощности порождающего множества, приводятся некоторые результаты численного моделирования.

В статье [23] предлагается общее математическое выражение для количественной оценки системного (синергетического) эффекта, возникающего при объединении булеанов (систем), являющихся обобщением множества в системном обобщении теории множеств и независящее от способа (алгоритма) образования подсистем в системе. Для этой количественной меры предложено название: «Обобщенный коэффициент эмерджентности Р.Хартли» из-за сходства его математической формы с локальным коэффициентом эмерджентности Хартли, отражающим степень отличия системы от множества его базовых элементов. Для локального коэффициента

1 Предложен в работе [17] в 2002 году. Напоминать об этом приходится по причинам, изложенным в статье: Вяткин В.Б. Групповой плагиат: от студента до министра. - Троицкий вариант — Наука - http://trv-science.ru - [Электронный ресурс]. Адрес доступа: http://trv-science.ru/2011/11/08/gruppovojj-plagiat-ot-studenta-do-ministra/ или: http://trv-science.ru/2011/11/08/gruppovojj-plagiat-ot-studenta-do-ministra/print/

http://ej.kubagro.ru/2013/07/pdf/15.pdf

Научный журнал КубГАУ, №91(07), 2013 года

26

эмерджентности Хартли также предложено обобщение, независящее от способа (алгоритма) образования подсистем в системе. Приводятся численные оценки системного эффекта при объединении двух систем с применением авторской программы, на которую дается ссылка.

10. Системное обобщение понятия функции и функциональной зависимости. Когнитивные функции. Матрицы знаний как нечеткое с расчетной степенью истинности отображение системы аргументов на систему значений функции

Выше кратко рассматривается программная идея системного обобщения понятий математики (в частности теории информации), основанных на теории множеств, путем тотальной замены понятия множества на более содержательное понятие системы и прослеживания всех последствий этого. Частично эта идея была реализована автором при разработке автоматизированного системно-когнитивного анализа (АСК-анализа) [39], математическая модель которого основана на системном обобщении формул для количества информации Хартли и Харкевича [17].

В статье [24] реализуется следующий шаг: предлагается системное обобщение понятия функциональной зависимости, и вводятся термины "когнитивные функции" и "когнитивные числа". На численных примерах показано, что АСК-анализ обеспечивает выявление когнитивных функциональных зависимостей в многомерных зашумленных фрагментированных данных.

В работе [20] намечены принципы применения многозначных функций многих аргументов для описания сложных систем и предложено матричное представление этих функций.

В статье [25] обсуждается возможность восстановления значений одномерных и двумерных функций как между значениями аргумента (интерполяция), так и за их пределами (экстраполяция) на основе использования априорной информации о взаимосвязи между признаками аргумента и значениями функции в опорных точках с применением системнокогнитивного анализа и его инструментария - системы «Эйдос». Приводятся численные примеры и визуализация результатов. Предлагается применение аппарата многомерных когнитивных функций для решения задач распознавания и прогнозирования на картографических базах данных.

В статье [26] на примере решения проблемы управления агропромышленным холдингом рассматривается технология когнитивных функций СК-анализа, обеспечивающая как выявление знаний из эмпирических данных, так и использование этих знаний для поддержки принятия решений по управлению холдингом в целом на основе управления характеристиками входящих в него предприятий.

В статье [27] рассматривается применение метода автоматизированного системно-когнитивного анализа и его программного инструментария -системы «Эйдос» для выявления причинно-следственных зависимостей из

http://ej.kubagro.ru/2013/07/pdf/15.pdf

Научный журнал КубГАУ, №91(07), 2013 года

27

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

Когнитивные функции представляют собой многозначные интервальные функции многих аргументов, в которых различные значения функции в различной степени соответствуют различным значениям аргументов, причем количественной мерой этого соответствия выступает знание, т.е. информация о причинно-следственных зависимостях в эмпирических данных, полезная для достижения целей.

В статье [28] на основе применения аппарата когнитивных функций впервые исследована зависимость параметров движения полюса Земли от положения небесных тел Солнечной системы. В последующем эти результаты развиты в монографии [29].

Наиболее полно метод визуализации когнитивных функций, как новый инструмент исследования эмпирических данных большой размерности, раскрыт в статье [30].

В статье [31] рассматривается новая версия системы искусственного интеллекта «Эйдос-астра» для решения прикладных задач с эмпирическими данными большой размерности. Приложение, написанное на языке JAVA, обеспечивает GUI (графический интерфейс пользователя) и позволяет подготовить и выполнить визуализацию матрицы знаний без ограничений, налагаемых реализацией предыдущих версий системы «Эйдос-астра». Отметим, что в системе Эйдос-Х++ все эти ограничения на размерность моделей также сняты в универсальной форме, не зависящей от предметной области.

В статье [32] рассмотрена глубокая взаимосвязь между теорией автоматизированного и автоматического управления и системно-когнитивным анализом и его программным инструментарием - системой «Эйдос» в их применении для интеллектуального управления сложными системами. Предлагается технология, позволяющая на практике реализовать интеллектуальное автоматизированное и даже автоматическое управление такими объектами управления, для которых ранее управление реализовалось лишь на слабоформализованном уровне, как правило, без применения математических моделей и компьютеров. К таким объектам управления относятся, например, технические системы, штатно качественно-

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

http://ej.kubagro.ru/2013/07/pdf/15.pdf

Научный журнал КубГАУ, №91(07), 2013 года

28

Приведем простейший пример (рис. 1) когнитивной функции затухающего синусоидального колебания, восстановленной по табличным данным, включающим 360 значений функции, при разном числе интервальных значений аргумента и функции: 30 (верхний график) и 60 (нижний график):

Рисунок 1. Когнитивная функция затухающего синусоидального колебания, восстановленная по табличным данным, включающим 360 значений функции, при 30 (вверху) и 60 (внизу) интервальных значениях аргумента и функции

http://ej.kubagro.ru/2013/07/pdf/15.pdf

Научный журнал КубГАУ, №91(07), 2013 года

29

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

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

Из рис. 1 мы видим, что об одних значениях функции в значениях аргумента содержится больше информации, а о других меньше. Это значит, что различные значения аргумента с разной степенью определенности

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

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

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

Это понятие напоминает доверительный интервал, но с той разницей, что доверительный интервал всегда растет со значением аргумента, а ко- 2

2

См., например: Ьйр://ш^1к1реб1а.ощ^1к1/Принцип%20соответствия

http://ej.kubagro.ru/2013/07/pdf/15.pdf

Научный журнал КубГАУ, №91(07), 2013 года

30

личество информации может и возрастать, и уменьшаться. Если осуществляется интерполяция или прогноз значения когнитивной функции, то при этом одновременно определяется и достоверность этой интерполяции или этого прогноза. На когнитивной функции, представленной на рис. 2, эта достоверность представлена в форме полупрозрачной полосы, ширина которой обратно пропорциональна достоверности (как в доверительном интервале), т.е. чем точнее известно значение функции, тем уже полоса, и чем оно более неопределенно, тем она шире.

Рисунок 2. Когнитивная функция затухающего синусоидального колебания, восстановленная по табличным данным, включающим 360 значений функции, при 15 интервальных значениях аргумента и функции с указанием степени достоверности не только цветом, но и в форме частично-редуцированной когнитивной функции, аналогичной по смыслу доверительному интервалу

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

Мы рассматриваем числовые и лингвистические данные, как сырые данные, полученные непосредственно из опыта и еще не подвергнутые какой-либо обработке. Эти эмпирические данные могут быть преобразованы в информацию путем их анализа. Информация есть осмысленные данные.

http://ej.kubagro.ru/2013/07/pdf/15.pdf

Научный журнал КубГАУ, №91(07), 2013 года

31

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

- нахождение событий в данных;

- выявление причинно-следственных связей между событиями.

Знания представляют собой информацию, полезную для достижения

цели. Если такой целью является решение задач прогнозирования, принятия решений и исследования моделируемой предметной области путем исследования ее модели (это корректно, если модель адекватна), то информационная модель является и когнитивной моделью, т.е. интеллектуальной моделью или моделью знаний.

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

Когнитивные функции представляют собой графическое отображение сечений многомерного эйдос-пространства (базы знаний) системы «Эйдос-Х++» плоскостями, содержащими заданные описательные и классификационные шкалы с фактически имеющимися у них интервальными значениями (градациями).

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

http://ej.kubagro.ru/2013/07/pdf/15.pdf

Научный журнал КубГАУ, №91(07), 2013 года

32

держащееся в этом значении аргумента о том, что ему соответствует данное значение функции. В оцифрованных аудио, видео и других сигналах мы всегда знаем глубину кодирования, а значит и количество информации в значении аргументе о значении функции. В любых таблицах и базах данных числа всегда представлены с ограниченным числом знаков после запятой, а значит само множество таких чисел ограничено, и всегда можно посчитать, какие количество информации содержится в факте выборки как-то одного конкретного из этих чисел. Например, в известной таблице Брадиса приводится 4 знака значения синуса после запятой. Это значит, что определенному углу (от 0 до 90°) соответствует одно из 9999 значений. По формуле Хартли получаем: I=Log2N=Log29999~13.29 бит.

Разработаны нередуцированные, частично и полностью редуцированные прямые и обратные когнитивные функции, а также программный инструментарий для их расчета (сама система Эйдос-Х++) и визуализации [40]. Однако в данной статье не целесообразно их рассматривать, т.к. этому посвящены работы [24, 27-30] и ряд других.

11. Модификация метода наименьших квадратов при аппроксимации когнитивных функций

Предлагается модификация метода наименьших квадратов для аппроксимации когнитивных функций, в котором точки имеют вес, равный количеству информации в значении аргумента о значении функции. Для упрощения можно рассматривать точки когнитивных функций как «мультиточки», состоящие из определенного количества «элементарных точек», соответствующего их весу. Другой вариант состоит в том, что перед применением стандартного МНК для каждого значения аргумента рассчитывается средневзвешенное значение функции из всех с их весами. В модуле визуализации когнитивных функций [40] этот метод реализован программно для отображения частично и полностью редуцированных когнитивных функций. Математическому описанию этого метода планируются посвятить одну из будущих статей авторов.

12. Развитие идеи системного обобщения математики в области теории информации. Системная (эмерджентная) теория информации (СТИ)

Данный раздел представляет собой краткое частичное изложение статьи [21].

Итак, классическая формула Хартли имеет вид:

I = Log 2W ( i )3 4

Будем искать ее системное обобщение в виде:

I = Log2Wj ( 2 )

3

См., например: http://www.vsetabl.ru/056.htm

4 Здесь нумерация формул начинается с начала

http://ej.kubagro.ru/2013/07/pdf/15.pdf

Научный журнал КубГАУ, №91(07), 2013 года

33

где:

W- количество элементов в множестве.

j - коэффициент эмерджентности, названный автором в честь Хартли коэффициентом эмерджентности Хартли.

Примем, что системное обобщение формулы Хартли имеет вид:

1 = Log 2 Ё C

m

W

m=1

( 3 )

где:

Cm

W - количество подсистем из m элементов;

m - сложность подсистем;

M - максимальная сложность подсистем.

Так как CW = W, то при М=1 система переходит в множество и выражение (3) приобретает вид (1), т.е. для него выполняется принцип соответствия, являющийся обязательным для более общей теории.

Учитывая, что при М= W:

М

Ё CW = 2W -1

m=1

в этом случае получаем:

I = Log2(2W -1)

( 4 )

( 5 )

Выражение (5) дает приближенную оценку максимального количества информации в элементе системы. Из выражения (5) видно, что при увеличении числа элементов W количество информации I быстро стремится к W (6) и уже при W>4 погрешность выражения (5) не превышает 1%:

при W ® ¥

( 6 )

I ® W к J

Приравняв правые части выражений (2) и (3):

М

I = Log 2W j= Log 2 Ё C

iW

W

( 7 )

m=1

получим выражение для коэффициента эмерджентности Хартли

Log 2 Ё C

j =

m=1

Log 2W

( 8 )

Смысл этого коэффициента раскрыт в работах [2, 4, 5, 9, 12, 13, 14]. Здесь отметим лишь, что при М®1, когда система асимптотически перехо-

http://ej.kubagro.ru/2013/07/pdf/15.pdf

Научный журнал КубГАУ, №91(07), 2013 года

34

дит в множество j®1 и (2) ® (1), как и должно быть согласно принципу соответствия.

С учетом (8) выражение (2) примет вид:

м

Log2 X CW

____от=1

I(W,M) = Log2W LogW

или при M=W и больших W, учитывая (4) и (5):

W

I (W, M) = Log 2WLog 2W = W

Выражение (9) и представляет собой искомое системное обобщение классической формулы Хартли, а выражение (10) - его достаточно хорошее приближение при большом количестве элементов в системе W. Классическая формула А. Харкевича имеет вид:

( 9 )

( 10 )

Ij (W, M) = Log 2

Pj

( 11 )

где: - Pj - условная вероятность перехода объекта в j-е состояние при условии действия на него i-го значения фактора;

- Pj - безусловная вероятность перехода объекта в j-е состояние (вероятность самопроизвольного перехода или вероятность перехода, посчитанная по всей выборке, т.е. при действии любого значения фактора).

Придадим выражению (11) следующий эквивалентный вид, который и будем использовать ниже:

P

Ij (W, M) = Log2-j ( 12 )

P

где: - индекс i обозначает признак (значение фактора): 1£i £ M;

- индекс j обозначает состояние объекта или класс: 1 £j £ W;

- Pj - условная вероятность наблюдения i-го значения фактора у объектов в j-го класса;

- Pi - безусловная вероятность наблюдения i-го значения фактора по всей выборке.

Из (12) видно, что формула Харкевича для семантической меры информации по сути является логарифмом от формулы Байеса для апостериорной вероятности (отношение условной вероятности к безусловной). Вопрос об эквивалентности выражений (11) и (12) рассмотрим позднее.

Известно, что классическая формула Шеннона для количества информации для неравновероятных событий преобразуется в формулу Хартли при условии, что события равновероятны, т.е. удовлетворяет фундамен-

http://ej.kubagro.ru/2013/07/pdf/15.pdf

Научный журнал КубГАУ, №91(07), 2013 года

35

тальному принципу соответствия. Поэтому теория информации Шеннона справедливо считается обобщением теории Хартли для неравновероятных событий. Однако, выражения (11) и (12) при подстановке в них реальных численных значений вероятностей Pj, Pj и Pt не дает количества информации в битах, т.е. для этого выражения не выполняется принцип соответствия, обязательный для более общих теорий. Возможно, в этом состоит причина довольно сдержанного, а иногда и скептического отношения специалистов по теории информации Шеннона к семантической теории информации Харкевича.

Причину этого мы видим в том, что в выражениях (11) и (12) отсутствуют глобальные параметры конкретной модели Wи M, т.е. в том, что А. Харкевич в своем выражении для количества информации не ввел зависимости от мощности пространства будущих состояний объекта W и количества значений факторов M, обуславливающих переход объекта в эти состояния.

Поставим задачу получить такое обобщение формулы Харкевича, которое бы удовлетворяло тому же самому принципу соответствия, что и формула Шеннона, т.е. преобразовывалось в формулу Хартли в предельном детерминистском равновероятном случае, когда каждому классу (состоянию объекта) соответствует один признак (значение фактора), и каждому признаку - один класс, и эти классы (а, значит и признаки), равновероятны, и при этом каждый фактор однозначно, т.е. детерминистским образом определяет переход объекта в определенное состояние, соответствующее классу.

Будем искать это обобщение (12) в виде:

Ij (W, M) = Log 2

V

( 13 )

Найдем такое выражение для коэффициента Y, названного нами в честь А. Харкевича "коэффициентом эмерджентности Харкевича", которое обеспечивает выполнение для выражения (13) принципа соответствия с классической формулой Хартли (1) и ее системным обобщением (2) и (3) в равновероятном детерминистском случае.

Для этого нам потребуется выразить вероятности Pj, Pj и Pt через частоты наблюдения признаков по классам (см. табл. 1). В табл. 1 рамкой обведена область значений, переменные определены ранее.

http://ej.kubagro.ru/2013/07/pdf/15.pdf

Научный журнал КубГАУ, №91(07), 2013 года

36

Таблица 1 - МАТРИЦА АБСОЛЮТНЫХ ЧАСТОТ

Классы Сумма

1 ... ... W

Значения факторов 1 N11 N1 j N iyW

...

i N,1 Nj N iyiW 11

...

M NM1 NMj N iV MW

Суммарное количество признаков II iM^ W M N = XX Nj 1=1 j=l

Суммарное количество объектов обучающей выборки NJ N

Алгоритм формирования матрицы абсолютных частот.

Объекты обучающей выборки описываются векторами (массивами)

L = {L, } имеющихся у них признаков:

L = {L,} = n, если у объекта i-й признак встречается n раз.

Первоначально в матрице абсолютных частот все значения равны нулю. Затем организуется цикл по объектам обучающей выборки. Если предъявленного объекта, относящегося к j-му классу, есть i-й признак, то:

N, = N, +1; Ni = Ni +1; N, = N,. +1; N = N +1

У У i i J J

Здесь можно провести очень интересную и важную аналогию между способом формирования матрицы абсолютных частот и работой многоканальной системы выделения полезного сигнала из шума. Представим себе, что все объекты, предъявляемые для формирования обобщенного образа некоторого класса, в действительности являются различными реализациями одного объекта - "Эйдоса" (в смысле Платона), по-разному зашумленного различными случайными обстоятельствами. И наша задача состоит в том, чтобы подавить этот шум и выделить из него то общее и существенное, что отличает объекты данного класса от объектов других классов. Учитывая, что шум чаще всего является "белым" и имеет свойство при суммировании с самим собой стремиться к нулю, а сигнал при этом, наоборот, возрастает пропорционально количеству слагаемых, то увеличение объема обучающей выборки приводит ко все лучшему отношению сигнал/шум в матрице абсолютных частот, т.е. к выделению полезной ин-

http://ej.kubagro.ru/2013/07/pdf/15.pdf

Научный журнал КубГАУ, №91(07), 2013 года

37

формации из шума. Примерно так мы начинаем постепенно понимать смысл фразы, которую мы сразу не расслышали по телефону и несколько раз переспрашивали. При этом в повторах шум не позволяет понять то одну, то другую часть фразы, но в конце-концов за счет использования памяти и интеллектуальной обработки информации мы понимаем ее всю. Так и объекты, описанные признаками, можно рассматривать как зашумленные фразы, несущие нам информацию об обобщенных образах классов -"Эйдосах” [12, 13, 14, 15], к которым они относятся. И эту информацию мы выделяем из шума при синтезе модели.

Для выражения (11):

р = Nj

N,

Для выражений (12) и (13):

р = N

N.

Для выражений (11), (12) и (13):

N . Р = N. ■

•> V *1

р =

N

N

( 14 )

( 15 )

W

M

N = IN; N = I

N ;

j=1

i=1

( 16 )

M W W M

N = I Ni = I Nj = IIN

i=1 j=1 i=1 j=1

В (16) использованы обозначения:

Nj - суммарное количество наблюдений в исследуемой выборке факта: "действовало i-е значение фактора и объект перешел в j-е состояние";

Nj - суммарное количество встреч различных факторов у объектов, перешедших в j-е состояние;

Ni - суммарное количество встреч i-го фактора у всех объектов исследуемой выборки;

N - суммарное количество встреч различных факторов у всех объектов исследуемой выборки.

Формирование матрицы условных и безусловных процентных распределений.

На основе анализа матрицы частот (табл. 1) классы можно сравнивать по наблюдаемым частотам признаков только в том случае, если количество объектов по всем классам одинаково, как и суммарное количество

http://ej.kubagro.ru/2013/07/pdf/15.pdf

Научный журнал КубГАУ, №91(07), 2013 года

38

признаков по классам. Если же они отличаются, то корректно сравнивать классы можно только по условным и безусловным относительным частотам (оценкам вероятностей) наблюдений признаков, посчитанных на основе матрицы частот (табл. 1) в соответствии с выражениями (14) и (15), в результате чего получается матрица условных и безусловных процентных распределений (табл. 2).

При расчете матрицы оценок условных и безусловных вероятностей Nj из табл. 1 могут браться либо из предпоследней, либо из последней строки. В 1-м случае Nj представляет собой "Суммарное количество признаков у всех объектов, использованных для формирования обобщенного образа j-го класса", а во 2-м случае - это "Суммарное количество объектов обучающей выборки, использованных для формирования обобщенного образа j-го класса", соответственно получаем различные, хотя и очень сходные семантические информационные модели, которые мы называем СИМ-1 и СИМ-2. Оба этих вида моделей поддерживаются системой "Эйдос".

Таблица 2 - МАТРИЦА УСЛОВНЫХ И БЕЗУСЛОВНЫХ _______ПРОЦЕНТНЫХ РАСПРЕДЕЛЕНИЙ_______

Классы Безусловная вероятность признака

1 . . . . . . W

Значения факторов 1 P1 P j P 1 1W

...

i Рп Pj P J iW Pi

...

M PM1 PMj P 1 MW

Безусловная вероятность класса Pj

Эквивалентность выражений (11) и (12) устанавливается, если подставить в них выражения относительных частот как оценок вероятностей Pj, Pj и Pi через абсолютные частоты наблюдения признаков по классам из (14), (15) и (16). В обоих случаях из выражений (11) и (12) получается одно и то же выражение (17):

Jij = Log 2

NN

NNj

( 17 )

А из (13) - выражение (18), с которым мы и будем далее работать.

http://ej.kubagro.ru/2013/07/pdf/15.pdf

Научный журнал КубГАУ, №91(07), 2013 года

39

hi = Log

2

f NUN л V NN у

( 18 )

При взаимно-однозначном соответствии классов и признаков в равновероятном детерминистском случае имеем (таблица 3):

Таблица 3 - МАТРИЦА ЧАСТОТ В РАВНОВЕРОЯТНОМ ДЕТЕРМИНИСТСКОМ СЛУЧАЕ

Классы Сумма

1 000 000 W

Значения факторов 1 1 1

0 0 0 1 1

i 1 1

000 1 1

M 1 1

Сумма 1 1 1 1 1 N

В этом случае к каждому классу относится один объект, имеющий единственный признак. Откуда получаем для всех i иi равенства (19):

"i: Ny = Ni = Ni = 1 ( .9 )

Таким образом, обобщенная формула А. Харкевича (18) с учетом (19) в этом случае приобретает вид:

Iv = Log 2 N Y = Log 2W j ( 20 )

откуда:

Y =

LogW j

LOg2 N

( 21 )

или, учитывая выражение для коэффициента эмерджентности Хартли (8):

Y =

Log 2W

M

Log 2 zcm

____m=1

Log 2W

( 22 )

Log 2 N

Подставив коэффициент эмерджентности А.Харкевича (21) в выражение (18), получим:

http://ej.kubagro.ru/2013/07/pdf/15.pdf

Научный журнал КубГАУ, №91(07), 2013 года

40

= Log

/ \Y

( N..N л y

v NN у

(

Log 2W j

Log 2N

f

f

Log2

v

= Log

\

NyN

v NN у

Log2W j Log 2 N

N

V

v NN у

Л

+ Log 2 N

у

(

= Log 2

Nj

Л

vNN у

Log2W j Log 2 N

+ Log 2W j

или окончательно:

( 23 )

Отметим, что 1-я задача получения системного обобщения формул Хартли и Харкевича и 2-я задача получения такого обобщения формулы Харкевича, которая удовлетворяет принципу соответствия с формулой Хартли - это две разные задачи. 1-я задача является более общей и при ее решении, которое приведено выше, автоматически решается и 2-я задача, которая является, таким образом, частным случаем 1-й.

Однако, представляет самостоятельный интерес и частный случай, в результате которого получается формула Харкевича, удовлетворяющая в равновероятном детерминистском случае принципу соответствия с классической формулой Хартли (1), а не с ее системным обобщением (2) и (3). Ясно, что эта формула получается из (23) при j=1.

Log2W

f N v

1 У = Log

2

iy

v NN у

Log2 N

+ Log2W

( 24 )

Из выражений (21) и (22) видно, что в этом частном случае, т.е. когда система эквивалентна множеству (M=1), коэффициент эмерджентности А.Харкевича приобретает вид:

2

http://ej.kubagro.ru/2013/07/pdf/15.pdf

Научный журнал КубГАУ, №91(07), 2013 года

41

Y = Log 2W Log 2 N

( 25 )

На практике для численных расчетов удобнее пользоваться не

выражениями (23) или (24), а формулой (26), которая получается непосредственно из (18) после подстановки в него выражения (25):

. Log2W

Iij =-r--77 х Log 2

Log2 N

NN

NNi

( 26 )

Используя выражение (26) и данные таблицы 1 непосредственно прямым счетом получаем матрицу знаний (таблица 4):

Таблица 4 - МАТРИЦА ЗНАНИИ (ИНФОРМАТИВНОСТЕЙ)

Классы Значимость фактора

1 ... i ... W

Значения факторов 1 I11 I1 / I\W ° = 2 1 1 (' ’)

w -1 It1-' 1)

...

i In Ii IiW Si =2 1 W 2 1 (i I)

W -1 j^VlJ *lJ

...

M 1M1 IMj IMW 11 k 1 W 2 1 1 (i I )

w -1 VmJ m)

Степень редукции класса Si 0 Ow 1 W M . 2 H = 2 1 V I)

h i (w • m -1) i 1^ 1)

Здесь - I это среднее количество знаний в i-м значении фактора:

В классическом анализе Шеннона идет речь лишь о передаче символов по одному информационному каналу от одного источника к одному приемнику. Его интересует прежде всего передача самого сообщения без искажений.

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

http://ej.kubagro.ru/2013/07/pdf/15.pdf

Научный журнал КубГАУ, №91(07), 2013 года

42

ку по зашумленному каналу связи приходят не отдельные символы-признаки, а сообщения, состоящие из последовательностей символов (признаков) любой длины.

13. Информационные меры уровня системности - коэффициенты эмерджентности

В работе [17] и статье [18] предлагаются теоретически обоснованные количественные меры, следующие из системной теории информации (СТИ), которые позволяют количественно оценивать влияние факторов на системы различной природы не по силе и направлению изменения состояния системы, а по степени возрастания или уменьшения ее эмерджентно-сти (уровня системности) и степени детерминированности.

В статье [19] на простом численном примере рассматривается применение автоматизированного системно-когнитивного анализа (АСК-анализ) и его программного инструментария - интеллектуальной системы «Эйдос» для выявления и исследования детерминации эмерджентных макросвойств систем их составом и иерархической структурой, т.е. подсистемами различной сложности (уровней иерархии). Кратко обсуждаются некоторые методологические вопросы создания и применения формальных моделей в научном познании. Предложены системное обобщение принципа Уильяма Росса Эшби о необходимом разнообразии на основе системного обобщения теории множеств и системной теории информации, обобщенная формулировка принципа относительности Галилея-Эйнштейна, высказана гипотеза о его взаимосвязи с теоремой Эмми Нётер, а также предложена гипотеза «О зависимости силы и направления связей между базовыми элементами системы и ее эмерджентными свойствами в целом от уровня иерархии в системе»

В [18] предложены коэффициенты эмерджентности, применимые для систем, подчиняющихся классической или квантовой статистике. Дан алгоритм оценки уровня системности квантовых объектов. Рассмотрены квантовые системы, подчиняющиеся статистике Ферми-Дирака и Бозе-Эйнштейна, а также классические системы, подчиняющиеся статистике Максвелла-Больцмана. Установлено, что коэффициенты эмерджентности квантовых и классических систем отличаются между собой, как и коэффициенты квантовых систем ферми-частиц и бозе-частиц. Следовательно, коэффициент эмерджентности позволяет отличить классическую систему от квантовой системы, а квантовую систему ферми-частиц от квантовой системы бозе-частиц. Установлено также, что предложенные ранее в ряде работ, начиная с [17], различные варианты коэффициентов эмерджентности Хартли распространяются только на системы, подчиняющиеся статистике Ферми-Дирака.

http://ej.kubagro.ru/2013/07/pdf/15.pdf

Научный журнал КубГАУ, №91(07), 2013 года

43

14. Прямые и обратные, непосредственные и опосредованные правдоподобные логические рассуждения с расчетной степенью истинности

Одним из первых ученых, поднявших и широко обсуждавшим в своих работах проблематику правдоподобных рассуждений, был известный венгерский, швейцарский и американский математик Дьердь Пойа5 [41], книги которого одному из авторов подарил еще в школе его учитель математики Михаил Ильич Перевалов (см. также раздел «Формализация логики правдоподобных рассуждений Д. Пойа» в [12], глава третья, параграф 7, с. 158163, исходящий из (репрезентативной) теории измерений).

В работе [17] логическая форма представления правдоподобных логических рассуждений с расчетной степенью истинности, которая определяется в соответствии с системной теорией информацией непосредственно на основе эмпирических данных.

В качестве количественной меры влияния факторов, предложено использовать обобщенную формулу А.Харкевича, полученную на основе предложенной эмерджентной теории информации. При этом непосредственно из матрицы абсолютных частот рассчитывается база знаний (табл.1), которая и представляет собой основу содержательной информационной модели предметной области.

Весовые коэффициенты табл.1 непосредственно определяют, какое количество информации Iij система управления получает о наступлении события: "активный объект управления перейдет в j-е состояние", из сообщения: "на активный объект управления действует i-й фактор".

Принципиально важно, что эти весовые коэффициенты не определяются экспертами неформализуемым способом на основе интуиции и профессиональной компетенции (т.е., мягко говоря, «на глазок»), а рассчитываются непосредственно на основе эмпирических данных и удовлетворяют всем ранее обоснованным в работе [17] требованиям, т.е. являются сопоставимыми, содержательно интерпретируемыми, отражают понятия "достижение цели управления" и "мощность множества будущих состояний объекта управления" и т.д.

В [17] обосновано, что предложенная информационная мера обеспечивает сопоставимость индивидуальных количеств информации, содержащейся в факторах о классах, а также сопоставимость интегральных критериев, рассчитанных для одного объекта и разных классов, для разных объектов и разных классов.

Когда количество информации Iij>0 - i-й фактор способствует переходу объекта управления в j-е состояние, когда Iij<0 - препятствует этому переходу, когда же Iij=0 - никак не влияет на это. В векторе i-го фактора (строка матрицы информативностей) отображается, какое количество ин-

5 См., например: Ьйр://ш^1к1ре41а.ощ^1к1/Пойа.%20Дьёрдь

http://ej.kubagro.ru/2013/07/pdf/15.pdf

Научный журнал КубГАУ, №91(07), 2013 года

44

формации о переходе объекта управления в каждое из будущих состояний содержится в том факте, что данный фактор действует. В векторе j-го состояния класса (столбец матрицы информативностей) отображается, какое количество информации о переходе объекта управления в соответствующее состояние содержится в каждом из факторов.

Таким образом, матрица информативностей (табл.1) является обобщенной таблицей решений, в которой входы (факторы) и выходы (будущие состояния активного объекта управления (АОУ) связаны друг с другом не с помощью классических (Аристотелевских) импликаций, принимающих только значения: "Итина" и "Ложь", а различными значениями истинности, выраженными в битах и принимающими значения от положительного теоретически-максимально-возможного ("Максимальная степень истинности"), до теоретически неограниченного отрицательного ("Степень ложности").

Фактически предложенная модель позволяет осуществить синтез обобщенных таблиц решений для различных предметных областей непосредственно на основе эмпирических исходных данных и продуцировать на их основе прямые и обратные правдоподобные (нечеткие) логические рассуждения по неклассическим схемам с различными расчетными значениями истинности, являющимся обобщением классических импликаций (табл.5):

Таблица 5 - Прямые и обратные правдоподобные логические высказывания с расчетной в соответствии с системной теорией информации (СТИ) степенью истинности импликаций

Прямые высказывания: Обратные высказывания

1 если А, то В (если действует фактор А, то мы предполагаем с степенью истинности 1АВ, что АОУ перейдет в состояние В) если В, то А (если АОУ перешел в состояние В, то мы предполагаем с степенью истинности 1АВ, что действовал фактор А)

2 если At и А2... и Ам, то В (прогноз влияния системы факторов на поведение АОУ. Степень истинности обобщающей (итоговой) импликации равна алгебраической сумме истинностей составляющих ее элементарных импликаций вида: "если А то В") если В, то А1 и А2... и Ам (информационный портрет класса В, т.е. влияние различных факторов Д на переход АОУ в будущее состояние В, решение обратной задачи прогнозирования, т.е. выработка управления)

3 если А, то В} или В2... или Bw (семантический портрет фактора А, т.е. его влияние на переход АОУ в различные состояния)

4 если А1 и А2 ... и Ам, то В* или В2 ... или Bw (прогноз влияния системы факторов на переход АОУ в различные состояния)

Приведем пример более сложного высказывания, которое может быть рассчитано непосредственно на основе матрицы информативностей -обобщенной таблицы решений (таблица 2):

http://ej.kubagro.ru/2013/07/pdf/15.pdf

Научный журнал КубГАУ, №91(07), 2013 года

45

Если A, со степенью истинности a(A,B), детерминирует B, и если С, со степенью истинности a(C,D), детерминирует D, и A совпадает по смыслу с C со степенью истинности a(A,C), то это вносит вклад в совпадение B с D, равный степени истинности a(B,D).

При этом в прямых рассуждениях как предпосылки рассматриваются факторы, а как заключение - будущие состояния АОУ, а в обратных -наоборот: как предпосылки - будущие состояния АОУ, а как заключение -факторы. Степень истинности i-й предпосылки - это просто количество информации Iij, содержащейся в ней о наступлении j-го будущего состояния АОУ. Если предпосылок несколько, то степень истинности наступления j-го состояния АОУ равна суммарному количеству информации, содержащемуся в них об этом. Количество информации в i-м факторе о наступлении j-го состояния АОУ, рассчитывается в соответствии с выражениями системной теории информации (СТИ).

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

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

15. Интеллектуальная система Эйдос-Х++ как инструментарий, реализующий идеи системного нечеткого интервального обобщения математики

Система «Эйдос» за многие годы применения хорошо показала себя при проведении научных исследований в различных предметных областях и занятий по ряду научных дисциплин, связанных с искусственным интеллектом, представлениями знаний и управлению знаниями [33]. Однако в процессе эксплуатации системы были выявлены и некоторые недостатки, ограничивающие возможности и перспективы применения системы. Поэтому создана качественно новая версия системы (система Эйдос-Х++), в

http://ej.kubagro.ru/2013/07/pdf/15.pdf

Научный журнал КубГАУ, №91(07), 2013 года

46

которой преодолены ограничения и недостатки предыдущей версии и реализованы новые важные идеи по ее развитию и применению в качестве программного инструментария системно-когнитивного анализа (СК-анализ) [34].

Авторы считают, что система Эйдос-Х++ является программным инструментарием, реализующим ряд идей системного нечеткого интервального обобщения математики.

Выводы

В статье кратко рассматрены перспективы и некоторые «точки роста» современной теоретической и вычислительной математики, в частности: числа и множества - основа современной математики; математические, прагматические и компьютерные числа; от обычных множеств - к нечетким; теория нечетких множеств и «нечеткое удвоение» математики; о сведении теории нечетких множеств к теории случайных множеств; интервальные числа как частный случай нечетких множеств; развитие интервальной математики (интервальное удвоение математики); система как обобщение множества; системное обобщение математики и задачи, возникающие при этом; системное обобщение операций над множествами (на примере операции объединения булеанов); системное обобщение понятия функции и функциональной зависимости; когнитивные функции; матрицы знаний как нечеткое с расчетной степенью истинности отображение системы аргументов на систему значений функции; модификация метода наименьших квадратов при аппроксимации когнитивных функций; развитие идеи системного обобщения математики в области теории информации - системная (эмерджентная) теория информации; информационные меры уровня системности - коэффициенты эмерджентности; прямые и обратные, непосредственные и опосредованные правдоподобные логические рассуждения с расчетной степенью истинности; интеллектуальная система Эйдос-Х++ как инструментарий, реализующий идеи системного нечеткого интервального обобщения математики.

Литература6

1. Гнеденко Б.В. О математике. - М.: Эдиториал УРСС, 2000. - 208 с.

2. Колмогоров А.Н. Математика в ее историческом развитии. - М.: Наука, 1991. - 224 с.

3. Френкель А.А, Бар-Хиллел И. Основания теории множеств. - М.: Либроком, 2010. -

552 с.

4. Левич Е.М. Исторический очерк развития методологии математики. - Иерусалим, 2008. - 350 с.

5. Орлов А.И. О развитии методологии статистических методов // Статистические методы оценивания и проверки гипотез. Межвузовский сборник научных трудов. - Пермь: Изд-во Пермского государственного университета, 2001. - С. 118-131.

6. Пуанкаре А. О науке. - М.: Наука, 1990. - 736 с.

6 Для удобства читателей некоторые монографии из списка литературы представлены на сайтах авторов: http://orlovs.pp.ru/ и http://lc.kubagro.ru/index kubagro.htm

http://ej.kubagro.ru/2013/07/pdf/15.pdf

Научный журнал КубГАУ, №91(07), 2013 года

47

7. Орлов А.И. Организационно-экономическое моделирование. В 3 ч. Ч.1. Нечисловая статистика. - М.: Изд-во МГТУ им. Н.Э. Баумана, 2009. - 541 с.

8. Орлов А.И. Задачи оптимизации и нечеткие переменные. - М.: Знание, 1980. - 64 с.

9. Орлов А.И. О развитии математических методов теории классификации // Заводская лаборатория. Диагностика материалов. - 2009. - Т.75. - № 7. - С.51-63.

10. Заде Л. Понятие лингвистической переменной и его применение к принятию приближенных решений. - М.: Мир, 1976. - 166 с.

11. Орлов А.И. Организационно-экономическое моделирование. В 3 ч. Ч.2. Экспертные оценки. - М.: Изд-во МГТУ им. Н.Э. Баумана, 2011. - 486 с.

12. Орлов А.И. Устойчивость в социально-экономических моделях. - М.: Наука, 1979. -

296 с.

13. Луценко Е.В. Программная идея системного обобщения математики и ее применение для создания системной теории информации / Е.В. Луценко // Политематический сетевой электронный научный журнал Кубанского государственного аграрного университета (Научный журнал КубГАУ) [Электронный ресурс]. - Краснодар: КубГАУ, 2008. - №02(036). С. 175 - 192.

- Шифр Информрегистра: 0420800012\0016, IDA [article ID]: 0360802011. - Режим доступа: http://ej.kubagro.ru/2008/02/pdf/11.pdf, 1,125 у.п.л.

14. Луценко Е.В. Семантическая информационная модель СК-анализа / Е.В. Луценко // Политематический сетевой электронный научный журнал Кубанского государственного аграрного университета (Научный журнал КубГАУ) [Электронный ресурс]. - Краснодар: КубГАУ, 2008. - №02(036). С. 193 - 211. - Шифр Информрегистра: 0420800012\0015, IDA [article ID]: 0360802012. - Режим доступа: http://ej.kubagro.ru/2008/02/pdf/12.pdf, 1,188 у.п.л.,

15. Луценко Е.В. Неформальная постановка и обсуждение задач, возникающих при системном обобщении теории множеств на основе системной теории информации (Часть 1-я: задачи 1-3) / Е.В. Луценко // Политематический сетевой электронный научный журнал Кубанского государственного аграрного университета (Научный журнал КубГАУ) [Электронный ресурс]. - Краснодар: КубГАУ, 2008. - №03(037). С. 154 - 185. - Шифр Информрегистра: 0420800012\0031, IDA [article ID]: 0370803012. - Режим доступа:

http://ej.kubagro.ru/2008/03/pdf/12.pdf, 2 у.п.л.

16. Луценко Е.В. Неформальная постановка и обсуждение задач, возникающих при системном обобщении теории множеств на основе системной теории информации (Часть 2-я: задачи 4-9) / Е.В. Луценко // Политематический сетевой электронный научный журнал Кубанского государственного аграрного университета (Научный журнал КубГАУ) [Электронный ресурс]. - Краснодар: КубГАУ, 2008. - №04(038). С. 26 - 65. - Шифр Информрегистра: 0420800012\0049, IDA [article ID]: 0380804003. - Режим доступа:

http://ej.kubagro.ru/2008/04/pdf/03.pdf, 2,5 у.п.л.

17. Луценко Е. В. Автоматизированный системно-когнитивный анализ в управлении активными объектами (системная теория информации и ее применение в исследовании экономических, социально-психологических, технологических и организационно-технических систем): Монография (научное издание). - Краснодар: КубГАУ. 2002.

- 605 с.

18. Луценко Е.В. Количественные меры возрастания эмерджентности в процессе эволюции систем (в рамках системной теории информации) / Е.В. Луценко // Политематический сетевой электронный научный журнал Кубанского государственного аграрного университета (Научный журнал КубГАУ) [Электронный ресурс]. - Краснодар: КубГАУ, 2006. - №05(021). С. 355 - 374. - Шифр Информрегистра: 0420600012\0089, IDA [article ID]: 0210605031. - Режим доступа: http://ej.kubagro.ru/2006/05/pdf/31.pdf, 1,25 у.п.л.

19. Луценко Е.В. Исследование влияния подсистем различных уровней иерархии на эмерджентные свойства системы в целом с применением АСК-анализа и интеллектуальной системы "Эйдос" (микроструктура системы как фактор управления ее макросвойствами) / Е.В. Луценко // Политематический сетевой электронный научный журнал Кубанского государственного аграрного университета (Научный журнал КубГАУ) [Электронный ресурс]. - Краснодар: КубГАУ, 2012. - №01(075). С. 638 - 680. - Шифр Информрегистра: 0421200012\0025,

http://ej.kubagro.ru/2013/07/pdf/15.pdf

Научный журнал КубГАУ, №91(07), 2013 года

48

IDA [article ID]: 0751201052. - Режим доступа: http://ej.kubagro.ru/2012/01/pdf/52.pdf, 2,688 у.п.л.

20. Луценко Е.В. Численный расчет эластичности объектов информационной безопасности на основе системной теории информации / Е.В. Луценко // Политематический сетевой электронный научный журнал Кубанского государственного аграрного университета (Научный журнал КубГАУ) [Электронный ресурс]. - Краснодар: КубГАУ, 2003. - №01(001). С. 16 - 27. -IDA [article ID]: 0010301005. - Режим доступа: http://ej.kubagro.ru/2003/01/pdf/05.pdf, 0,75 у.п.л.

21. Луценко Е.В. Математическая сущность системной теории информации (СТИ) (Системное обобщение формулы Больцмана-Найквиста-Хартли, синтез семантической теории информации Харкевича и теории информации Шеннона) / Е.В. Луценко // Политематический сетевой электронный научный журнал Кубанского государственного аграрного университета (Научный журнал КубГАУ) [Электронный ресурс]. - Краснодар: КубГАУ, 2008. - №08(042). С. 76 - 103. - Шифр Информрегистра: 0420800012\0114, IDA [article ID]: 0420808004. - Режим доступа: http://ej.kubagro.ru/2008/08/pdf/04.pdf, 1,75 у.п.л.

22. Луценко Е.В. Реализация операции объединения систем в системном обобщении теории множеств (объединение булеанов) / Е.В. Луценко // Политематический сетевой электронный научный журнал Кубанского государственного аграрного университета (Научный журнал КубГАУ) [Электронный ресурс]. - Краснодар: КубГАУ, 2011. - №01(065). С. 354 - 391. -Шифр Информрегистра: 0421100012\0001, IDA [article ID]: 0651101029. - Режим доступа: http://ej.kubagro.ru/2011/01/pdf/29.pdf, 2,375 у.п.л.

23. Луценко Е.В. Обобщенный коэффициент эмерджентности Хартли как количественная

мера синергетического эффекта объединения булеанов в системном обобщении теории множеств / Е.В. Луценко // Политематический сетевой электронный научный журнал Кубанского государственного аграрного университета (Научный журнал КубГАУ) [Электронный ресурс]. -Краснодар: КубГАУ, 2011. - №02(066). С. 535 - 545. - Шифр Информрегистра: 0421100012\0031, IDA [article ID]: 0661102045. - Режим доступа:

http://ej.kubagro.ru/2011/02/pdf/45.pdf, 0,688 у.п.л.

24. Луценко Е.В. АСК-анализ как метод выявления когнитивных функциональных зависимостей в многомерных зашумленных фрагментированных данных / Е.В. Луценко // Политематический сетевой электронный научный журнал Кубанского государственного аграрного университета (Научный журнал КубГАУ) [Электронный ресурс]. -Краснодар: КубГАУ, 2005. - №03(011). С. 181 - 199. - IDA [article ID]: 0110503019. -Режим доступа: http://ej.kubagro.ru/2005/03/pdf/19.pdf, 1,188 у.п.л.

25. Луценко Е.В. Системно-когнитивный анализ функций и восстановление их значений

по признакам аргумента на основе априорной информации (интеллектуальные технологии интерполяции, экстраполяции, прогнозирования и принятия решений по картографическим базам данных) / Е.В. Луценко // Политематический сетевой электронный научный журнал Кубанского государственного аграрного университета (Научный журнал КубГАУ) [Электронный ресурс]. -Краснодар: КубГАУ, 2009. - №07(051). С. 130 - 154. - Шифр Информрегистра: 0420900012\0066, IDA [article ID]: 0510907006. - Режим доступа:

http://ej.kubagro.ru/2009/07/pdf/06.pdf, 1,562 у.п.л.

26. Луценко Е.В. Управление агропромышленным холдингом на основе когнитивных

функций связи результатов работы холдинга и характеристик его предприятий / Е.В. Луценко, В.И. Лойко, О.А. Макаревич // Политематический сетевой электронный научный журнал Кубанского государственного аграрного университета (Научный журнал КубГАУ) [Электронный ресурс]. - Краснодар: КубГАУ, 2009. - №10(054). С. 248 - 260. - Шифр Информрегистра: 0420900012\0111, IDA [article ID]: 0540910015. - Режим доступа:

http://ej.kubagro.ru/2009/10/pdf/15.pdf, 0,812 у.п.л.

27. Луценко Е.В. Когнитивные функции как адекватный инструмент для формального представления причинно-следственных зависимостей / Е.В. Луценко // Политематический сетевой электронный научный журнал Кубанского государственного аграрного университета (Научный журнал КубГАУ) [Электронный ресурс]. - Краснодар: КубГАУ, 2010. - №09(063). С. 1 - 23. - Шифр Информрегистра: 0421000012\0233, IDA [article ID]: 0631009001. - Режим доступа: http://ej.kubagro.ru/2010/09/pdf/01.pdf, 1,438 у.п.л.

http://ej.kubagro.ru/2013/07/pdf/15.pdf

Научный журнал КубГАУ, №91(07), 2013 года

49

28. Трунев А.П. Автоматизированный системно-когнитивный анализ влияния тел Солнечной системы на движение полюса Земли и визуализация причинно-следственных зависимостей в виде когнитивных функций / А.П. Трунев, Е.В. Луценко, Д.К. Бандык // Политематический сетевой электронный научный журнал Кубанского государственного аграрного университета (Научный журнал КубГАУ) [Электронный ресурс]. - Краснодар: КубГАУ, 2011. -№01(065). С. 232 - 258. - Шифр Информрегистра: 0421100012\0002, IDA [article ID]: 0651101020. - Режим доступа: http://ej.kubagro.ru/2011/01/pdf/20.pdf, 1,688 у.п.л.

29. Трунев А.П., Луценко Е.В. Автоматизированный системно-когнитивный анализ влияния факторов космической среды на ноосферу, магнитосферу и литосферу Земли: Под науч. ред. д.т.н., проф. В.И. Лойко. Монография (научное издание). - Краснодар, КубГАУ. 2012. -480 с. ISBN 978-5-94672-519-4

30. Луценко Е.В. Метод визуализации когнитивных функций - новый инструмент исследования эмпирических данных большой размерности / Е.В. Луценко, А.П. Трунев, Д.К. Бандык // Политематический сетевой электронный научный журнал Кубанского государственного аграрного университета (Научный журнал КубГАУ) [Электронный ресурс]. - Краснодар: КубГАУ, 2011. - №03(067). С. 240 - 282. - Шифр Информрегистра: 0421100012\0077, IDA [article ID]: 0671103018. - Режим доступа: http://ej.kubagro.ru/2011/03/pdf/18.pdf, 2,688 у.п.л.

31. Луценко Е.В. Развитие интеллектуальной системы «Эйдос-астра», снимающее ограничения на размерность баз знаний и разрешение когнитивных функций / Е.В. Луценко, А.П. Трунев, Е.А. Трунев // Политематический сетевой электронный научный журнал Кубанского государственного аграрного университета (Научный журнал КубГАУ) [Электронный ресурс]. - Краснодар: КубГАУ, 2011. - №05(069). С. 353 - 377. - Шифр Информрегистра: 0421100012\0159, IDA [article ID]: 0691105031. - Режим доступа:

http://ej.kubagro.ru/2011/05/pdf/31.pdf, 1,562 у.п.л.

32. Луценко Е.В. Применение СК-анализа и системы «Эйдос» для синтеза когнитивной матричной передаточной функции сложного объекта управления на основе эмпирических данных / Е.В. Луценко, В.Е. Коржаков // Политематический сетевой электронный научный журнал Кубанского государственного аграрного университета (Научный журнал КубГАУ) [Электронный ресурс]. - Краснодар: КубГАУ, 2012. - №01(075). С. 681 - 714. - Шифр Информрегистра: 0421200012\0008, IDA [article ID]: 0751201053. - Режим доступа:

http://ej.kubagro.ru/2012/01/pdf/53.pdf, 2,125 у.п.л.

33. Луценко Е.В. 30 лет системе «Эйдос» - одной из старейших отечественных универ-

сальных систем искусственного интеллекта, широко применяемых и развивающихся и в настоящее время / Е.В. Луценко // Политематический сетевой электронный научный журнал Кубанского государственного аграрного университета (Научный журнал КубГАУ) [Электронный ресурс]. - Краснодар: КубГАУ, 2009. - №10(054). С. 48 - 77. - Шифр Информрегистра: 0420900012\0110, IDA [article ID]: 0540910004. - Режим доступа:

http://ej.kubagro.ru/2009/10/pdf/04.pdf, 1,875 у.п.л.

34. Луценко Е.В. Универсальная когнитивная аналитическая система «Эйдос-Х++» / Е.В. Луценко // Политематический сетевой электронный научный журнал Кубанского государственного аграрного университета (Научный журнал КубГАУ) [Электронный ресурс]. - Краснодар: КубГАУ, 2012. - №09(083). С. 328 - 356. - IDA [article ID]: 0831209025. - Режим доступа: http://ej.kubagro.ru/2012/09/pdf/25.pdf, 1,812 у.п.л.

35. Луценко Е.В. Теоретические основы и технология адаптивного семантического анализа в поддержке принятия решений (на примере универсальной автоматизированной системы распознавания образов "ЭЙДОС-5.1"). - Краснодар: КЮИ МВД РФ, 1996. - 280 с.

36. Налимов В.В. Вероятностная модель языка. 2-е изд., расширенное. - М.: Наука, 1979. - 303 с.

37. Налимов В.В. Спонтанность сознания. Вероятностная теория смыслов и смысловая архитектоника личности. - М.: Прометей, 1989. - 288 с.

38. Луценко Е.В. Коэффициент эмерджентности классических и квантовых статистических систем / Е.В. Луценко, А.П. Трунев // Политематический сетевой электронный научный журнал Кубанского государственного аграрного университета (Научный журнал КубГАУ)

http://ej.kubagro.ru/2013/07/pdf/15.pdf

Научный журнал КубГАУ, №91(07), 2013 года

50

[Электронный ресурс]. - Краснодар: КубГАУ, 2013. - №06(090). С. 215 - 236. - IDA [article ID]: 0901306014. - Режим доступа: http://ej.kubagro.ru/2013/06/pdf/14.pdf, 1,375 у.п.л.

39. Луценко Е.В. Теоретические основы, технология и инструментарий автоматизированного системно-когнитивного анализа и возможности его применения для сопоставимой оценки эффективности вузов / Е.В. Луценко, В.Е. Коржаков // Политематический сетевой электронный научный журнал Кубанского государственного аграрного университета (Научный журнал КубГАУ) [Электронный ресурс]. - Краснодар: КубГАУ, 2013. - №04(088). С. 340 - 359. - IDA [article ID]: 0881304022. - Режим доступа: http://ej.kubagro.ru/2013/04/pdf/22.pdf, 1,25 у.п.л.,

40. Луценко Е.В., Бандык Д.К. Патент РФ: Подсистема визуализации когнитивных (каузальных) функций системы «Эйдос» (Подсистема «Эйдос-VCF»). Пат. № 2011612056 РФ. Заяв. № 2011610347 РФ 20.01.2011. Опубл. от 09.03.2011.

41. Пойа Д. Математика и правдоподобные рассуждения. 2 изд. - М., Наука, 1975

- 464 с. http://ilib.mccme.ru/divu/polva/rassuzhdeniia.htm

References

1. Gnedenko B.V. O matematike. - M.: Jeditorial URSS, 2000. - 208 s.

2. Kolmogorov A.N. Matematika v ee istoricheskom razvitii. - M.: Nauka, 1991. -224 s.

3. Frenkel' A.A, Bar-Hillel I. Osnovanija teorii mnozhestv. - M.: Librokom, 2010. -552 s.

4. Levich E.M. Istoricheskij ocherk razvitija metodologii matematiki. - Ierusalim, 2008. - 350 s.

5. Orlov A.I. O razvitii metodologii statisticheskih metodov // Statisticheskie meto-dy ocenivanija i proverki gipotez. Mezhvuzovskij sbornik nauchnyh trudov. - Perm': Izd-vo Permskogo gosudarstvennogo universiteta, 2001. - S. 118-131.

6. Puankare A. O nauke. - M.: Nauka, 1990. - 736 s.

7. Orlov A.I. Organizacionno-jekonomicheskoe modelirovanie. V 3 ch. Ch.1. Nechislovaja statistika. - M.: Izd-vo MGTU im. N.Je. Baumana, 2009. - 541 s.

8. Orlov A.I. Zadachi optimizacii i nechetkie peremennye. - M.: Znanie, 1980. - 64 s.

9. Orlov A.I. O razvitii matematicheskih metodov teorii klassifikacii // Zavodskaja laboratorija. Diagnostika materialov. - 2009. - T.75. - № 7. - S.51-63.

10. Zade L. Ponjatie lingvisticheskoj peremennoj i ego primenenie k prinjatiju pribli-zhennyh reshenij. - M.: Mir, 1976. - 166 s.

11. Orlov A.I. Organizacionno-jekonomicheskoe modelirovanie. V 3 ch. Ch.2. Jek-spertnye ocenki. - M.: Izd-vo MGTU im. N.Je. Baumana, 2011. - 486 s.

12. Orlov A.I. Ustojchivost' v social'no-jekonomicheskih modeljah. - M.: Nauka, 1979. - 296 s.

13. Lucenko E.V. Programmnaja ideja sistemnogo obobshhenija matematiki i ee primenenie dlja sozdanija sistemnoj teorii informacii / E.V. Lucenko // Politematicheskij setevoj jelek-tronnyj nauchnyj zhurnal Kubanskogo gosudarstvennogo agrarnogo universiteta (Nauchnyj zhurnal KubGAU) [Jelektronnyj resurs]. - Krasnodar: KubGAU, 2008. -№02(036). S. 175 - 192. - Shifr Informregistra: 0420800012\0016, IDA [article ID]: 0360802011. - Rezhim dostupa: http://ej.kubagro.ru/2008/02/pdf/11.pdf, 1,125 u.p.l.

14. Lucenko E.V. Semanticheskaja informacionnaja model' SK-analiza / E.V. Lucenko // Politematicheskij setevoj jelektronnyj nauchnyj zhurnal Kubanskogo gosudarstvennogo agrar-nogo universiteta (Nauchnyj zhurnal KubGAU) [Jelektronnyj resurs].

- Krasnodar: KubGAU, 2008. - №02(036). S. 193 - 211. - Shifr Informregistra: 0420800012\0015, IDA [article ID]: 0360802012. - Rezhim dostupa:

http://ej.kubagro.ru/2008/02/pdf/12.pdf, 1,188 u.p.l.,

15. Lucenko E.V. Neformal'naja postanovka i obsuzhdenie zadach, voznikajushhih pri sis-temnom obobshhenii teorii mnozhestv na osnove sistemnoj teorii informacii (Chast' 1-ja: za-dachi 1-3) / E.V. Lucenko // Politematicheskij setevoj jelektronnyj nauchnyj zhurnal

http://ej.kubagro.ru/2013/07/pdf/15.pdf

Научный журнал КубГАУ, №91(07), 2013 года

51

Kubansko-go gosudarstvennogo agrarnogo universiteta (Nauchnyj zhurnal KubGAU)

[Jelektronnyj re-surs]. - Krasnodar: KubGAU, 2008. - №03(037). S. 154 - 185. - Shifr In-formregistra: 0420800012\0031, IDA [article ID]: 0370803012. - Rezhim dostupa: http://ej.kubagro.ru/2008/03/pdf/12.pdf, 2 u.p.l.

16. Lucenko E.V. Neformal'naja postanovka i obsuzhdenie zadach, voznikajushhih pri

sis-temnom obobshhenii teorii mnozhestv na osnove sistemnoj teorii informacii (Chast' 2-ja: za-dachi 4-9) / E.V. Lucenko // Politematicheskij setevoj jelektronnyj nauchnyj zhurnal Kuban-skogo gosudarstvennogo agrarnogo universiteta (Nauchnyj zhurnal KubGAU)

[Jelektronnyj re-surs]. - Krasnodar: KubGAU, 2008. - №04(038). S. 26 - 65. - Shifr Inform-registra: 0420800012\0049, IDA [article ID]: 0380804003. - Rezhim dostupa:

http://ej.kubagro.ru/2008/04/pdf/03.pdf, 2,5 u.p.l.

17. Lucenko E. V. Avtomatizirovannyj sistemno-kognitivnyj analiz v upravle-nii ak-tivnymi ob#ektami (sistemnaja teorija informacii i ee primenenie v issledo-vanii jekonomich-eskih, social'no-psihologicheskih, tehnologicheskih i organizacion-no-tehnicheskih sistem): Monografija (nauchnoe izdanie). - Krasnodar: KubGAU. 2002. - 605 s.

18. Lucenko E.V. Kolichestvennye mery vozrastanija jemerdzhentnosti v processe jevolju-cii sistem (v ramkah sistemnoj teorii informacii) / E.V. Lucenko // Politematicheskij sete-voj jelektronnyj nauchnyj zhurnal Kubanskogo gosudarstvennogo agrarnogo universiteta (Na-uchnyj zhurnal KubGAU) [Jelektronnyj resurs]. - Krasnodar: KubGAU, 2006. -№05(021). S. 355 - 374. - Shifr Informregistra: 0420600012\0089, IDA [article ID]: 0210605031. - Rezhim dostupa: http://ej.kubagro.ru/2006/05/pdf/31.pdf, 1,25 u.p.l.

19. Lucenko E.V. Issledovanie vlijanija podsistem razlichnyh urovnej ierarhii na jemerdzhentnye svojstva sistemy v celom s primeneniem ASK-analiza i intellektual'noj sistemy "Jejdos" (mikrostruktura sistemy kak faktor upravlenija ee makrosvojstvami) / E.V. Lucenko // Politematicheskij setevoj jelektronnyj nauchnyj zhurnal Kubanskogo gosudarstvennogo agrarnogo universiteta (Nauchnyj zhurnal KubGAU) [Jelektronnyj resurs]. - Krasnodar: KubGAU, 2012. - №01(075). S. 638 - 680. - Shifr Informregistra: 0421200012\0025, IDA [article ID]: 0751201052. - Rezhim dostupa: http://ej.kubagro.ru/2012/01/pdf/52.pdf, 2,688 u.p.l.

20. Lucenko E.V. Chislennyj raschet jelastichnosti ob#ektov informacionnoj bezopas-

no-sti na osnove sistemnoj teorii informacii / E.V. Lucenko // Politematicheskij setevoj jelek-tronnyj nauchnyj zhurnal Kubanskogo gosudarstvennogo agrarnogo universiteta (Nauchnyj zhurnal KubGAU) [Jelektronnyj resurs]. - Krasnodar: KubGAU, 2003. - №01(001). S. 16 -27. - IDA [article ID]: 0010301005. - Rezhim dostupa:

http://ej.kubagro.ru/2003/01/pdf/05.pdf, 0,75 u.p.l.

21. Lucenko E.V. Matematicheskaja sushhnost' sistemnoj teorii informacii (STI) (Sis-temnoe obobshhenie formuly Bol'cmana-Najkvista-Hartli, sintez semanticheskoj teorii informacii Harkevicha i teorii informacii Shennona) / E.V. Lucenko // Politematicheskij setevoj jelektronnyj nauchnyj zhurnal Kubanskogo gosudarstvennogo agrarnogo universiteta (Nauchnyj zhurnal KubGAU) [Jelektronnyj resurs]. - Krasnodar: KubGAU, 2008. -№08(042). S. 76 - 103. - Shifr Informregistra: 0420800012\0114, IDA [article ID]: 0420808004. - Rezhim dostupa: http://ej.kubagro.ru/2008/08/pdf/04.pdf, 1,75 u.p.l.

22. Lucenko E.V. Realizacija operacii ob#edinenija sistem v sistemnom obobshhenii teo-rii mnozhestv (ob#edinenie buleanov) / E.V. Lucenko // Politematicheskij setevoj jel-ektron-nyj nauchnyj zhurnal Kubanskogo gosudarstvennogo agrarnogo universiteta (Nauch-nyj zhurnal KubGAU) [Jelektronnyj resurs]. - Krasnodar: KubGAU, 2011. - №01(065). S. 354 - 391. - Shifr Informregistra: 0421100012\0001, IDA [article ID]: 0651101029. -Rezhim dostupa: http://ej.kubagro.ru/2011/01/pdf/29.pdf, 2,375 u.p.l.

23. Lucenko E.V. Obobshhennyj kojefficient jemerdzhentnosti Hartli kak kolich-estvennaja mera sinergeticheskogo jeffekta ob#edinenija buleanov v sistemnom obobshhenii

http://ej.kubagro.ru/2013/07/pdf/15.pdf

Научный журнал КубГАУ, №91(07), 2013 года

52

teorii mno-zhestv / E.V. Lucenko // Politematicheskij setevoj jelektronnyj nauchnyj zhurnal Kubanskogo gosudarstvennogo agrarnogo universiteta (Nauchnyj zhurnal KubGAU) [Jelektronnyj resurs]. - Krasnodar: KubGAU, 2011. - №02(066). S. 535 - 545. - Shifr Inform-registra: 0421100012\0031, IDA [article ID]: 0661102045. - Rezhim dostupa:

http://ej.kubagro.ru/2011/02/pdf/45.pdf, 0,688 u.p.l.

24. Lucenko E.V. ASK-analiz kak metod vyjavlenija kognitivnyh funkcional'nyh zavi-simostej v mnogomernyh zashumlennyh fragmentirovannyh dannyh / E.V. Lucenko // Politematicheskij setevoj jelektronnyj nauchnyj zhurnal Kubanskogo gosudarstven-nogo agrarnogo universiteta (Nauchnyj zhurnal KubGAU) [Jelektronnyj resurs]. - Krasnodar: KubGAU, 2005. - №03(011). S. 181 - 199. - IDA [article ID]: 0110503019. - Rezhim dostupa: http://ej.kubagro.ru/2005/03/pdf/19.pdf, 1,188 u.p.l.

25. Lucenko E.V. Sistemno-kognitivnyj analiz funkcij i vosstanovlenie ih znachenij

po priznakam argumenta na osnove apriornoj informacii (intellektual'nye tehnologii in-terpoljacii, jekstrapoljacii, prognozirovanija i prinjatija reshenij po kartograficheskim bazam dannyh) / E.V. Lucenko // Politematicheskij setevoj jelektronnyj nauchnyj zhurnal Kubanskogo gosudarstvennogo agrarnogo universiteta (Nauchnyj zhurnal KubGAU) [Jelektronnyj resurs]. - Krasnodar: KubGAU, 2009. - №07(051). S. 130 - 154. - Shifr Inform-registra: 0420900012\0066, IDA [article ID]: 0510907006. - Rezhim dostupa:

http://ej.kubagro.ru/2009/07/pdf/06.pdf, 1,562 u.p.l.

26. Lucenko E.V. Upravlenie agropromyshlennym holdingom na osnove kognitivnyh

funkcij svjazi rezul'tatov raboty holdinga i harakteristik ego predprijatij / E.V. Lucenko, V.I. Lojko, O.A. Makarevich // Politematicheskij setevoj jelektronnyj nauchnyj zhurnal Kubanskogo gosudarstvennogo agrarnogo universiteta (Nauchnyj zhurnal KubGAU) [Jelektronnyj resurs]. - Krasnodar: KubGAU, 2009. - №10(054). S. 248 - 260. - Shifr Inform-registra: 0420900012\0111, IDA [article ID]: 0540910015. - Rezhim dostupa:

http://ej.kubagro.ru/2009/10/pdf/15.pdf, 0,812 u.p.l.

27. Lucenko E.V. Kognitivnye funkcii kak adekvatnyj instrument dlja formal'nogo predstavlenija prichinno-sledstvennyh zavisimostej / E.V. Lucenko // Politematicheskij setevoj jelektronnyj nauchnyj zhurnal Kubanskogo gosudarstvennogo agrarnogo universiteta (Nauchnyj zhurnal KubGAU) [Jelektronnyj resurs]. - Krasnodar: KubGAU, 2010. - №09(063). S. 1 - 23. - Shifr Informregistra: 0421000012\0233, IDA [article ID]: 0631009001. - Rezhim dostupa: http://ej.kubagro.ru/2010/09/pdf/01.pdf, 1,438 u.p.l.

28. Trunev A.P. Avtomatizirovannyj sistemno-kognitivnyj analiz vlijanija tel Sol-nechnoj sistemy na dvizhenie poljusa Zemli i vizualizacija prichinno-sledstvennyh zavisimostej v vide kognitivnyh funkcij / A.P. Trunev, E.V. Lucenko, D.K. Bandyk // Politematicheskij setevoj jelektronnyj nauchnyj zhurnal Kubanskogo gosudarstvennogo agrarnogo universiteta (Nauchnyj zhurnal KubGAU) [Jelektronnyj resurs]. - Krasnodar: KubGAU, 2011. -№01(065). S. 232 - 258. - Shifr Informregistra: 0421100012\0002, IDA [article ID]: 0651101020. - Rezhim dostupa: http://ej.kubagro.ru/2011/01/pdf/20.pdf, 1,688 u.p.l.

29. Trunev A.P., Lucenko E.V. Avtomatizirovannyj sistemno-kognitivnyj analiz vlijanija faktorov kosmicheskoj sredy na noosferu, magnitosferu i litosferu Zemli: Pod nauch. red. d.t.n., prof. V.I. Lojko. Monografija (nauchnoe izdanie). - Krasnodar, KubGAU. 2012. - 480 s. ISBN 978-5-94672-519-4

30. Lucenko E.V. Metod vizualizacii kognitivnyh funkcij - novyj instrument issle-dovanija jempiricheskih dannyh bol'shoj razmernosti / E.V. Lucenko, A.P. Trunev, D.K. Bandyk // Politematicheskij setevoj jelektronnyj nauchnyj zhurnal Kubanskogo gosudarstvennogo ag-rarnogo universiteta (Nauchnyj zhurnal KubGAU) [Jelektronnyj resurs]. - Krasnodar: Kub-GAU, 2011. - №03(067). S. 240 - 282. - Shifr Informregistra: 0421100012\0077, IDA [article ID]: 0671103018. - Rezhim dostupa: http://ej.kubagro.ru/2011/03/pdf/18.pdf, 2,688 u.p.l.

http://ej.kubagro.ru/2013/07/pdf/15.pdf

Научный журнал КубГАУ, №91(07), 2013 года

53

31. Lucenko E.V. Razvitie intellektual'noj sistemy «Jejdos-astra», snimajushhee ogra-nichenija na razmernost' baz znanij i razreshenie kognitivnyh funkcij / E.V. Lucenko, A.P. Trunev, E.A. Trunev // Politematicheskij setevoj jelektronnyj nauchnyj zhurnal Kuban-skogo gosudarstvennogo agrarnogo universiteta (Nauchnyj zhurnal KubGAU) [Jelektronnyj re-surs].

- Krasnodar: KubGAU, 2011. - №05(069). S. 353 - 377. - Shifr Informregistra:

0421100012\0159, IDA [article ID]: 0691105031. - Rezhim dostupa:

http://ej.kubagro.ru/2011/05/pdf/31.pdf, 1,562 u.p.l.

32. Lucenko E.V. Primenenie SK-analiza i sistemy «Jejdos» dlja sinteza kognitivnoj matrichnoj peredatochnoj funkcii slozhnogo ob#ekta upravlenija na osnove jempiricheskih dan-nyh / E.V. Lucenko, V.E. Korzhakov // Politematicheskij setevoj jelektronnyj nauchnyj zhurnal Kubanskogo gosudarstvennogo agrarnogo universiteta (Nauchnyj zhurnal KubGAU) [Jelektron-nyj resurs]. - Krasnodar: KubGAU, 2012. - №01(075). S. 681 - 714. - Shifr Informregistra: 0421200012\0008, IDA [article ID]: 0751201053. - Rezhim dostupa: http://ej.kubagro.ru/2012/01/pdf/53.pdf, 2,125 u.p.l.

33. Lucenko E.V. 30 let sisteme «Jejdos» - odnoj iz starejshih otechestvennyh univer-

sal'nyh sistem iskusstvennogo intellekta, shiroko primenjaemyh i razvivajushhihsja i v na-stojashhee vremja / E.V. Lucenko // Politematicheskij setevoj jelektronnyj nauchnyj zhurnal Ku-banskogo gosudarstvennogo agrarnogo universiteta (Nauchnyj zhurnal KubGAU) [Jelektronnyj resurs]. - Krasnodar: KubGAU, 2009. - №10(054). S. 48 - 77. - Shifr Informregistra: 0420900012\0110, IDA [article ID]: 0540910004. - Rezhim dostupa:

http://ej.kubagro.ru/2009/10/pdf/04.pdf, 1,875 u.p.l.

34. Lucenko E.V. Universal'naja kognitivnaja analiticheskaja sistema «Jejdos-H++» / E.V. Lucenko // Politematicheskij setevoj jelektronnyj nauchnyj zhurnal Kubanskogo gosudar-stvennogo agrarnogo universiteta (Nauchnyj zhurnal KubGAU) [Jelektronnyj resurs].

- Kras-nodar: KubGAU, 2012. - №09(083). S. 328 - 356. - IDA [article ID]: 0831209025. -Rezhim dostu-pa: http://ej.kubagro.ru/2012/09/pdf/25.pdf, 1,812 u.p.l.

35. Lucenko E.V. Teoreticheskie osnovy i tehnologija adaptivnogo semanticheskogo ana-liza v podderzhke prinjatija reshenij (na primere universal'noj avtomatizirovannoj sistemy raspoznavanija obrazov "JeJDOS-5.1"). - Krasnodar: KJuI MVD RF, 1996. - 280 s.

36. Nalimov V.V. Verojatnostnaja model' jazyka. 2-e izd., rasshirennoe. - M.: Nauka, 1979. - 303 s.

37. Nalimov V.V. Spontannost' soznanija. Verojatnostnaja teorija smyslov i smyslova-ja arhitektonika lichnosti. - M.: Prometej, 1989. - 288 s.

38. Lucenko E.V. Kojefficient jemerdzhentnosti klassicheskih i kvantovyh statistiche-skih sistem / E.V. Lucenko, A.P. Trunev // Politematicheskij setevoj jelektronnyj nauchnyj zhurnal Kubanskogo gosudarstvennogo agrarnogo universiteta (Nauchnyj zhurnal KubGAU) [Jelektronnyj resurs]. - Krasnodar: KubGAU, 2013. - №06(090). S. 215 - 236. - IDA [article ID]: 0901306014. - Rezhim dostupa: http://ej.kubagro.ru/2013/06/pdf/14.pdf, 1,375 u.p.l.

39. Lucenko E.V. Teoreticheskie osnovy, tehnologija i instrumentarij avtomatiziro-van-nogo sistemno-kognitivnogo analiza i vozmozhnosti ego primenenija dlja sopostavimoj ocenki jeffektivnosti vuzov / E.V. Lucenko, V.E. Korzhakov // Politematicheskij setevoj jel-ektronnyj nauchnyj zhurnal Kubanskogo gosudarstvennogo agrarnogo universiteta (Nauchnyj zhurnal Kub-GAU) [Jelektronnyj resurs]. - Krasnodar: KubGAU, 2013. - №04(088). S. 340

- 359. - IDA [article ID]: 0881304022. - Rezhim dostupa:

http://ej.kubagro.ru/2013/04/pdf/22.pdf, 1,25 u.p.l.,

40. Lucenko E.V., Bandyk D.K. Patent RF: Podsistema vizualizacii kognitivnyh (kau-zal'nyh) funkcij sistemy «Jejdos» (Podsistema «Jejdos-VCF»). Pat. № 2011612056 RF. Zajav. № 2011610347 RF 20.01.2011. Opubl. ot 09.03.2011.

41. Poja D. Matematika i pravdopodobnye rassuzhdenija. 2 izd. - M., Nauka, 1975 -464 s. http://ilib.mccme.ru/djvu/polva/rassuzhdenija.htm

http://ej.kubagro.ru/2013/07/pdf/15.pdf