ДИНАМИЧЕСКАЯ СТРУКТУРА ОБРАЗА: ДОФОРМАЛЬНОЕ ИССЛЕДОВАНИЕ
advertisement
ДИНАМИЧЕСКАЯ СТРУКТУРА ОБРАЗА: ДОФОРМАЛЬНОЕ ИССЛЕДОВАНИЕ Валькман Ю.Р. Международный научно-учебный Центр Информационных технологий и систем Е-mail: yur@valkman.kiev.ua ОГЛАВЛЕНИЕ 1. ПОНЯТИЕ ПОНЯТИЯ 2. ИНТЕЛЛЕКТУАЛЬНЫЕ ОПЕРАЦИИ ШАДРИКОВА 3. ПИРАМИДАЛЬНЫЕ СЕТИ ГЛАДУНА И ПИРАМИДАЛЬНЫЕ СТРУКТУРЫ ЗАГОРУЙКО 4. КОНЦЕПТУАЛЬНОЕ МОДЕЛЬНОЕ ПРЕДСТАВЛЕНИЕ ОБРАЗНОГО И СИМВОЛЬНОГО МЫШЛЕНИЯ РАБИНОВИЧАБЕЛОВА 5. СИНТЕЗ И АНАЛИЗ ОБРАЗОВ В ПРОЦЕССЕ МЫШЛЕНИЯ 1. ПОНЯТИЕ ПОНЯТИЯ Категорию понятие изучают в разных науках: философии, психологии, лингвистике, логике, математике. Говорят даже о теории понятия. ● Понятие есть форма мысли, выражаемая именем. Всякое понятие выражается в имени и всякое имя выражает понятие. Поэтому лингвисты часто не проводят между ними различия. Однако следует помнить о том, что имя - это выражение языка, а понятие - это мысль. ● Понятие — форма мышления, отражающая существенные свойства, связи и отношения предметов и явлений в их противоречии и развитии; — мысль или система мыслей, обобщающая, выделяющая предметы некоторого класса по определённым общим и в совокупности специфическим для них признакам. ● Каждое понятие имеет две основные логические характеристики – экстенсиональную (объем) и интенсиональную (содержание). Объем понятия - класс объектов, выделяемых из универсума и обобщаемых в данном понятии. Отдельные объекты из данного класса называются элементами объема понятия. Содержание понятия - признак (или конъюнкции признаков), с помощью которого (которых) производится выделение и обобщение объектов. ● Интересно определил понятие Г. С. Плесневич: «Понятие – это ментальная конструкция, которая используется для классификации сущностей». Он же обратил внимание на дуализм природы понятия: с одной стороны, экстенсионал – это класс сущностей (определяемых понятием), с другой стороны, интенсионал – совокупность суждений, определяющих отношение подобия сущностей. Семантический треугольник Огдена-Ричардса Знак, слово (аналитическое слово), имя, номинация ИМЕЕТ СМЫСЛ СОДЕРЖАНИЕ ПОНЯТИЯ десигнат (Августин) сигнификат (Ч. Моррис) интенсионал (Р. Карнап) смысл (Г. Фреге) значение (У. Куайн) означаемое (Ф. Соссюр) НАЗЫВАЕТ ОБЪЕМ ПОНЯТИЯ денотат (Б. Рассел, А. Черч, У. Куайн) референт (Ч. Огден, А. Ричардс) экстенсионал (Р. Карнап) От треугольника Огдена к квадрату Щедровицкого РЕПРЕЗЕНТАЦИЯ ПОНЯТИЙ (ОБРАЗОВ) С ТОЧКИ ЗРЕНИЯ ПСИХОЛОГОВ ПРИЗНАКОВ Ствол, корни, крона, ветки, листья (хвоя), растение, … МНОЖЕСТВЕННАЯ Дуб, каштан, береза, ель, сосна, … ПРОТОТИПА Д Е Р Е В О Условная схема отношений «Интенсионал - Экстенсионал» понятия ЭКСТЕНСИОНАЛ (Объем понятия, денотат) Отображение признаков понятия при построении классификатора Признаки экстенсионала Признаки интенсионала Отображение признаков понятия при построении классификатора Признаки экстенсионала Признаки интенсионала МЕРОНОМИЯ О Б Р А З ТАКСОНОМИЯ Первый и третий типы репрезентации в значительной степени реализуются посредством символьно-логических аппаратов представления знаний. Например, средствами анализа формальных понятий (АФП) (R. Wille). Тройка K = (V, A, I), где V – множество объектов, A – множество признаков, I V A, называется формальным контекстом. Кузнецов Сергей Олегович «Приобретение знаний и построение онтологий с помощью решеток формальных понятий» КИИ-2008, Дубна Формальный концептуальный анализ Матрица контекста объекты атрибуты 1 2 3 4 a b c d e Транзитивная редукция отношения «менее общий чем или равен»: А B (А, B L) ↔ С(С А) (С B) (А С B) КИИ-08 Линейная диаграмма (Хассе) В.А. Пронина, Л.Б. Шипилина (ИПУ РАН) ПОСТРОЕНИЕ ОНТОЛОГИИ ПРЕДМЕТНОЙ ОБЛАСТИ С НОРМАЛИЗАЦИЕЙ КОНТЕКСТА В МЕТОДЕ ФОРМАЛЬНЫХ ПАРАМЕТРОВ 1. НЕКОТОРЫЕ ОПРЕДЕЛЕНИЯ И ОГРАНИЧЕНИЯ Поскольку мы исследуем процессы мышления, то логично использовать это понятие в определении психологов: Образ — чувственная форма психического явления, имеющая в идеальном плане пространственную организацию и временную динамику. Такие образы различные исследователи еще называют «мысленными» (imagery, в отличие от pattern), «чувственными», «вторичными», «внутренними». Важно подчеркнуть их значительное отличие от образов в кибернетическом понимании (в проблематике распознавание образов). Фактически, в кибернетике образ определяется как понятие в логике. Заметим, в теории распознавания образов образ трактуют как классификационную группировку в системе классификации, объединяющая (выделяющая) определенную группу объектов по некоторому признаку. Эта интерпретация «приближает» образ к понятию. В психологии в настоящее время понимание механизма создания различных образов базируется в основном на отнесении их к различным психическим функциям (восприятию, представлению, воображению). Поэтому психологи выделяют, в частности, три класса образов: образ восприятия — отражение в идеальном плане внешнего объекта (сцены), воздействующего на органы чувств, образ представления — отражение (вспоминание) объекта без его наличия (сенсорного контакта с ним) и образ воображения — вымышленный образ, данный в представлении, но не имеющий аналогов в реальной действительности и, поэтому, никогда ранее не воспринимавшийся. Схема отношений трех классов образов ОБРАЗЫ ВООБРАЖЕНИЯ Абстрактное ОБРАЗЫ ПРЕДСТАВЛЕНИЯ ОБРАЗЫ ВОСПРИЯТИЯ Конкретное В чувственном образе может быть воплощено любое абстрактное содержание. В этом случае материалом для образа служат не только пространственно-временные представления, и зрительные, слуховые, тактильные, мышечные, вестибулярные, вкусовые и обонятельные, но и внутренняя речь (в виде абстрактного понятия или описания его с помощью ключевых слов). Следовательно, идеи, понятия, концепции и многое другое являются разновидностями образов. В Оксфордском английском словаре дано следующее определение «Образ... Ментальная репрезентация чего-либо (в особенности видимого объекта) не путем прямого восприятия, а при участии памяти или воображения; мысленная картина или впечатление; идея, понятие...» Из этого определения вытекают следующие важные свойства образа. 1. Во-первых, речь идет о ментальных представлениях. Поэтому, любой образ субъективен и в вычислительной среде мы всегда будем вынуждены формировать «отчужденную» модель образа. И обсуждать полноту образа бессмысленно, поскольку в модели отражаются только некоторые свойства. Даже если в образе отражается некоторая схема или чертеж. Многие аспекты, необходимые для интерпретации образа остаются в голове автора. Полнота образа скорее относится к операциям, которые мы хотим проводить над ним. Хватит ли соответствующих признаков для возможности применения операции и получения корректного результата. А если эта операция проводится в вычислительной среде? Поэтому, видимо, больше подходит понятие «достаточности». 2. Во-вторых, представления (и, тем более воображения) – это не понятия в логическом смысле. В логическом понятии отражаются существенные признаки, а в представлении – обобщенные (имеющиеся у всех представителей группы объектов, отражаемых в образе). Выбор существенных признаков определяется решаемой задачей (проблемой), в которой используется данное понятие. Это такие признаки, которые являются необходимыми и достаточными для выделения всех объектов (входящих в это понятие) из множества всех объектов. И для разных задач у одного понятия могут оказаться значимыми разные свойства. 3. В-третьих, образ строится «…при участи памяти и воображения». А это значит, что любой образ тесно связан с «естественной базой знаний (БЗ)». Поэтому, выделять и рассматривать образ локально очень трудно. Часто вообще невозможно провести демаркационную линию между исследуемым образом и «средой его существования» в тезаурусе наших знаний. Отсюда проблемы с определением «внешней целостности» образа. Поэтому образы хранятся в БЗ распределено на логическом и концептуальном уровнях. И лучше сразу говорить о структурах образов. 4. В-четвертых, образы имеют много различных форм представлений: идеи, понятия, концепции. Все эти формы существенно отличаются в уровне формальности. Понятия используются в формальной логике. Они наиболее формальны: множество признаков (интенсионал, содержание) понятия четко определено и фиксировано. В настоящее время даже развивается специальная теория «Анализ формальных понятий». Образ в форме идеи (полагаю, образы воображения и многие другие) можно назвать плохо формализованными (слабо структурированными). Их множество признаков недоопределено (открыто), признаки имеют весовые характеристики. И, поэтому, образы одного и того же объекта можно упорядочить по степеням четкости, конкретности, однозначности. Обратим внимание, что идея, понятие и многие другие разновидности отражения информации в памяти в этом определении относят к образам. Однако, с нашей точки зрения, в тех случаях, когда речь идет об образном мышлении, целесообразно разделять понятия (в логическом смысле) и образы. В других работах мы определили эти отличия. Наиболее важными из них мы считаем следующие. (1) Любые образы имеют субъективную составляющую. (2) Структуру образа невозможно представлять в форме вектора признаков. (3) Для образов характерно свойство целостности, а не полноты признакового пространства. (4) Признаки в образах имеют различные уровни значимости. (5) Образы содержат постоянную (инвариантную) часть и переменную (вариабельную). (6) Интерпретация образов существенно зависит от контекстов, как самого образа и его автора, так и его интерпретатора. (7) Структура образа динамична. Часто операции образного мышления меняют структуру образа. Мы вообще считаем, что все мышление основано на операциях с образами. Понятийное мышление более целесообразно называть рассуждением. ОБРАЗ = НЕЧЕТКОМУ (РАЗМЫТОМУ) ПОНЯТИЮ Открытость Субъективные признаки (свойства, характеристики) Весовые характеристики признаков Признаки, характеризующие контексты образов Признаки, характеризующие отношения между признаками 2. ИНТЕЛЛЕКТУАЛЬНЫЕ ОПЕРАЦИИ ШАДРИКОВА Известно изречение С. Роуз: «Мозг работает не с информацией в компьютерном понимании этого слова, а со смыслом или значением. Мы не просто извлекаем образы из хранилища и, использовав, возвращаем обратно в прежнем виде, а каждый раз пересоздаем заново». Поэтому, часто, трудно рассматривать образ без учета операций его синтеза и анализа. Быть может, образ вообще существует только в динамике. Для того что бы как то разобраться с такими метаморфозами, рассмотрим некоторые операции образного мышления. Роуз Стивен Устройство памяти. От молекул к сознанию В этом отношении, с нашей точки зрения, особый интерес представляет работа известного психолога В. Д. Шадрикова. Он эти операции называет интеллектуальными. Под интеллектуальной операцией Шадриков понимает «осознанные психические действия, связанные с познанием и разрешением задач, стоящих перед индивидом». Заметим, в психологии используется два определения термина мышление: в широком и узком специальном смысле. В широком смысле мышление - это активная познавательная деятельность субъекта, необходимая для его полноценной ориентации в окружающем природном и социальном мире. При изучении конкретных психологических механизмов высших познавательных процессов мышление определяют в узком смысле - как процесс решения задач. Вторая трактовка, здесь, нам больше подходит, ввиду некоторой конструктивности. И, тогда, процессы мышления можно сопоставить с системой интеллектуальных операций. Рассмотрим некоторые из них. (1) В. Д. Шадриков считает базовыми интеллектуальными операциями операции анализа и абстрагирования. (2) Наряду с практическими и эстетическими интересами анализу ситуации и выделению существенных с точки зрения решаемой задачи свойств способствуют ассоциации по сходству, аналогии. Наиболее простые ассоциации – это ассоциации по смежности. Более сложными представляются ассоциации по сходству. Главным здесь выступает сходство в объектах мысли, объектами же мысли в этом случае могут выступать и выступают отвлеченные от объекта свойства (абстракции, понятия). Заметим, что ассоциации являются одной из важнейших интеллектуальных операций. (3) Часто они идут в единстве с ИО – аналогиями. Таким образом, объединяются в комплексы интеллектуальных операций: анализ (различение), синтез (ассоциации), поиски аналогий. (4) Можно выделить еще ряд ИО, характеризующих мышление. Это – сопоставление, сравнение, различение, раскрытие отношений, связей. Мышление раскрывает сущность и свойства объектов (вещей). В процессе мышления происходит обобщение существенных связей (операции обобщения). (5) Решая задачу, познавая с этой целью проблемную ситуацию, субъект использует систему взаимосвязанных друг с другом операций. Таковыми являются сравнение, анализ и синтез, абстракция и обобщение. Все эти операции являются различными сторонами основной операции мышления – «опосредования», т.е. раскрытия всё более существенных объективных связей и отношений. (6) В операциях сравнения вскрывается тождество и различие вещей, явлений и их свойств. На основе сравнения осуществляется классификация и систематизация. (7) Аргументирование – как ИО заключается в отыскании совокупности взаимосвязанных суждений, приводимых в подтверждение истинности какого – либо другого суждения, гипотезы, точки зрения, мнения. (8) Установление связей – как ИО. С выявления устойчивых, необходимых связей начинается человеческое познание. Как правило, выявление связей осуществляется в предметно – практической деятельности. В этом случае они раскрываются как функциональные качества вещи, т.е. такие качества, которые влияют на протекание процессов, явлений, раскрывают связь между свойствами вещи и её полезностью, значимостью, личностным смыслом. В науке связь между явлениями вначале устанавливается на уровне гипотезы, а затем подтверждается в экспериментах. В научных исследованиях, особенно современных, связь часто устанавливается методами математической статистики. (9) Выяснение значений и смыслов – как ИО. Данная операция тесно связана с установлением связей. Как уже отмечалось нами, установление значения идёт одновременно с установлением связи, точнее первоначально связь устанавливается благодаря её функциональной значимости. (10) Идентификация – (от латинского – отождествление) понимается как процесс эмоционального и иного отождествления индивида с другим человеком, группой. Первоначально идентификация осуществляется на бессознательном уровне, но может проходить и как осознаваемый интеллектуальный процесс. Идентификация предполагает выделение качеств, черт, позволяющих усваивать сходство. (11) Индукция – как ИО, представляет вид обобщения, связанный с предвосхищением результатов наблюдений, экспериментов, деятельности, поведения, на основе имеющихся данных (опыта субъекта). (12) Дедукция – как ИО представляет вид суждения, когда совершается переход от общего к частному. Науки, предложения которых делаются как следствия некоторых общих положений, аксиом, постулатов принято называть дедуктивными. (13) Доказательство – как ИО, процесс установления истины, обоснования истинности суждения. Понятие «доказательство» используют в двух смыслах: широком (содержательном) и узком (формальном). (14) Интерпретация – (от лат. – разъяснение, (ис)толкование) ИО, суть которой заключается в определённом толковании эмпирических данных, теоретических положений, придания им определённой совокупности значений (смыслов). В интерпретации устанавливается связь научной теории и областей объективного мира. К сожалению, приходится констатировать, что значительная часть исследований заканчивается получением эмпирического факта, которому не даётся содержательная интерпретация. Интерпретация выступает как инструмент научного моделирования. Пример мультиконтекстности понятия «трава» в поле под стеклом в лесу на рисунке ТРАВА в руке во дворе в комнате под ногами Пример ассоциации в фреймовом представлении знаний ПТИЦА ЧАЙНИК ЛИЦО КОРАБЛЬ Нос КОШКА (15) Введем еще одну ИО – номинация (от лат. — называние, именование), суть которой состоит в образовании языковых (символьных, знаковых) единиц с номинативной функцией, то есть служащих для именования и вычленения фрагментов действительности, формирования соответствующих понятий о них в форме слов, словосочетаний, фразеологизмов, предложений. Заметим, процесс именования, фактически, заключается в отображении объектов одного множества в объекты другого множества (по каким-то причинам более целесообразным). Можно говорить и о моделировании. Поэтому, образы можно вербализовать, можно вербальные понятия обозначать образами, символами и т. д. Все эти операции мышления, с нашей точки зрения проводятся на образах. Конечно, иногда их трудно вычленять из общего процесса. Как отмечал И.М. Сеченов, соединение в одном процессе восприятия предмета и его части порождает мысль. Таким образом, операции анализа и синтеза образов вплетены в процесс порождения мысли, суждения. Операции анализа и синтеза объединяются не только друг с другом, но и с операциями сравнения, сопоставления, абстрагирования и обобщения. Объединение интеллектуальных операций осуществляется в поведении и деятельности и детерминируется объективными связями свойств предметов внешнего мира, на основе функционального значения этих свойств. В дальнейшем мы классифицируем эти ИО с точки зрения образного мышления. 3. ПИРАМИДАЛЬНЫЕ СЕТИ ГЛАДУНА И ПИРАМИДАЛЬНЫЕ СТРУКТУРЫ ЗАГОРУЙКО В. П. Гладуном был разработан аппарат построения растущих пирамидальных сетей (ПС - ациклический ориентированный граф, в котором нет вершин с единственной заходящей дугой). В пирамидальной сети информация хранится путем ее отображения в структуре сети. Пирамидой B называется вершина b и все те вершины, из которых существуют пути в эту вершину b. При построении сети в ней образуются вершины, чьи пирамиды соответствуют отдельным объектам, и вершины, чьи пирамиды соответствуют общим частям нескольких объектов. ПС удобны для выполнения различных операций ассоциативного поиска. Разработанные алгоритмы построения сетей обеспечивают автоматическое установление ассоциативной близости между объектами по общим сочетаниям значений признаков. При работе с ЕЯ текстами Гладун исходит из того, что семантическое представление текста и модель мира являются композициями сведений об объектах, их свойствах, связях между объектами и действиями над объектами. При этом элементарные факты выражаются осмысленными словосочетаниями минимальной длины. Сотрудники Института Математики СО РАН под руководством Загоруйко Н.Г. разработали, на основе ПС Гладуна, способ семантического представления текстов в виде Q-сетей для автоматического построения онтологий. Пример Q-сети представлен на рис. Пирамидальная структура семантического представления предложения «Среди задач интеллектуального анализа данных имеются задача таксономии и задача распознавания образов» Семантическое представление текстов в виде Q-сетей использует основные идеи подходов, предложенных Гладуном В.П. и Кузнецовым И.П. Пусть А – словарь знаменательных слов, R=R1R2 – множество семантических отношений. R1 совпадает с множеством семантических отношений, кодируемых словосочетаниями минимальной длины (которое использует В.П. Гладун). R2 – множество, состоящее из отношений (используемых Кузнецовым И.П.), кодируемых описаниями специально выделенных существенных единиц ПО и цельных комплексных объектов (ФИО, адрес, название организаций и т.п.), а также таких отношений как синонимия, родовидовые отношения и т.д. 1) <_, r, _, a, b>arb – словосочетание из двух значимых слов a,bA, связанных отношением r (например, arb= (анализ данных)). 2) <_, r, s, A, b>Aarb – расширение фрагмента А за счет присоединения знаменательного слова b через связь s=arb, где аА (например, Aarb=(интеллектуальный (анализ данных)), где A=(анализ данных), s=(интеллектуальный анализ)). 3) <_, r, s, A, B>AarbB – объединение двух фрагментов А и В через связь arb, где аА, bВ (например, AarbB=((процесс таксономии) начинается) с (нормировки признаков)), где A=((процесс таксономии) начинается), B=(нормировка признаков), s=(начинается с нормировки)). 4) <d, r, _, a1, …, an> - фрагмент, соответствующий отношению rR2, a1,…, an – аргументы этого отношения, d – имя фрагмента. Например, если r-родовидовое отношение, a1=(«фрукты»), a2=(«яблоки»), a3=(«груши»), то фрагмент <_, r, _, a1,a2,a3> будет означать, что яблоки и груши являются фруктами. arb Aarb AarbB, Фрагменты 1-го, 2-го и 3-го типо . Фрагменты 4-го типа Нижние (первичные) элементы в этих ПС называются рецепторами, остальные концепторами. Таким образом, уже давно пришло понимание, что векторное представление признаков, принятое в понятийной логике, не соответствует потребностям моделирования процессов мышления в компьютерных технологиях. Мы считаем, что пирамидальные сети целесообразно использовать для представления структур образной информации. В этом случае рецепторы выполняют свою «традиционную роль» в отношении формирования образов, на первом уровне образов восприятия. С концепторами сложнее, т. к. возможно множество различных классов конкатенаций признаков (компонент), образов в образы. Они могут соединяться посредством пространственных, временных, ассоциативных (даже «графический - вербальный» образы) и т. п. отношений. Причем, семантика соответствующих «сцеплений» должна быть отражена в концепторе, т. к. иначе не будут возможны интеллектуальные и другие операции над образами. Кроме этого, необходимо обеспечить динамику изменения образных структур (см. выше тезис С. Роуз). 4. КОНЦЕПТУАЛЬНОЕ МОДЕЛЬНОЕ ПРЕДСТАВЛЕНИЕ ОБРАЗНОГО И СИМВОЛЬНОГО МЫШЛЕНИЯ РАБИНОВИЧА-БЕЛОВА Большая часть умственных процессов состоит из цепи образов. Содержание мысли при таком способе мышления обусловлено совокупностью всех звеньев в последовательной цепи образов. Интересный подход к концептуальному моделированию образного и символьного мышления предложен З. Л. Рабиновичем и Ю. А. Беловым (и, неявно, Г. С. Воронковым). Память рассматривается как нейронная среда, находящаяся в головном мозге, что не исключает возможностей расширенного ее толкования. В предельно сжатой формулировке их ключевая гипотеза гласит, что "воспроизведение любого зафиксированного в памяти понятия (образа, знания) осуществляется возбуждением всех компонентов ее нейронной среды, составивших в совокупности это понятие". Это означает, что в соответствии с свойством иерархичности памяти воспроизведение какого-либо образа в ней, представляемого в целом верхушкой его пирамиды, требует возбуждения компонентов всех ее уровней, для чего эта верхушка должна быть связана положительными связями со всеми лежащими ниже компонентами. Эти связи являются обратными по отношению к конвергентным связям, которыми пирамида была образована. Обратим внимание, что без обратных (дивергентных) связей образы в памяти вообще не фиксируется, т.е. они должны быть уже сформированы под непосредственным воздействием входного объекта, образ которого фиксируется в памяти. Именно этим воздействием и осуществляется обучение памяти, иначе говоря, ее становление. Возбуждение компонент пирамиды образа по обратным связям называют внутренним взором. Заканчивается эта операция, возбудимая верхушкой пирамиды, возбуждением компонентов на ее дне, которое дублирует всю совокупность сигналов-рецепторов, представляемых в памяти объекта. Эта особенность структуры памяти (дублирование), экспериментально подтвержденная, необходима для осуществления операции внутреннего взора, иначе возникали бы ложные возбуждения (миражи) рецепторов воспроизводимого из памяти образа. С указанной дублирующей совокупности компонентов собственно и начинается память, фиксируемая снизу поступающими на них обратными связями. Иначе говоря, память в нейронной среде мозга начинается именно там, где кончаются обратные связи от ее высших уровней. Остальные компоненты этой среды (не память) служат для взаимодействия памяти с организмом в целом. Сказанное иллюстрируется на рис., изображающем две простейшие локальные структуры образов - еще не зафиксированную в памяти и уже зафиксированную в ней (соответственно с рецепторами-атрибутами ABCD и CDEF). Эти структуры обладают общим компонентом cd, ассоциативно связывающим эти образы, чем уже обеспечивается их глобальное запоминание в памяти (разумеется, при достроенном образе ABCD). Элементарные структуры восприятия образа, запоминания и распознавания Цель решения проблемы как преобразования образных ситуаций 5. СИНТЕЗ И АНАЛИЗ ОБРАЗОВ В ПРОЦЕССЕ МЫШЛЕНИЯ Все образы, видимо, порождаются в процессе целенаправленной мыследеятельности (термин Г. П. Щедровицкого), при решении задач или проблем. И в основе их построения находятся операции синтеза и анализа (соответственно конвергентные и дивергентные процессы) образных структур, управляемых процедурами целедостижения. При этом, как образы инициируют операции и управляют ими, так и операции порождают образы. Именно поэтому весь процесс мышления можно представить цепочкой образов. Исследование этой структуры образной информации показало целесообразность определения нескольких важных аспектов. (1) Вместо иерархической структуры образной информации лучше говорить о пирамидальной. Но, в отличие от В. П. Гладуна, во-первых, отношения между вершинами в этих структурах являются двунаправленными (для обеспечения операций и синтеза, и анализа), во-вторых, в вершинах пирамиды находятся образы, а не слова и понятия, в-третьих, в вершинах-концепторах должна быть представлена информация о типе отношений между соединяемыми образами. Кроме этого, при конкатенации образов может измениться структура объединяемых образов. (2) Число уровней «иерархии» определяется целостностями, входящими в рассматриваемый, конкретный образ. Поэтому, в целом, иерархическая (лучше, пирамидальная) структура – несимметрична, нерегулярна и гетерогенна (неоднородна). Условная траектория синтеза образов в процессе мышления и структура образарезультата представлена на рисунке. Условная траектория синтеза структуры образов в процессе образного мышления (3) Как следствие, траектория решения задач или проблем также не является симметричной и однородной, как на рисунке, представленном выше. Условный пример такой траектории представлен на следующем рисунке. (4) На рисунках представлена ИЕРАРХИЯ СЛОЖНОСТИ, а не управления, т.е. в ней отражаются отношения «много к многим» (M:N) между соседними уровнями. Это - не древовидная структура. Уровни графем Р А С С К А З Ы ПРЕДЛОЖЕНИЯ СЛОВА А Б / … Я \ _ … . ! … У всех есть свои «…емы» И так почти для всех языков (не только семиотических систем): ЕЯ (например, китайский), азбука Морзе, музыка, мнемосхемы, математические языки (?) и т.д. Р А С С К А З Ы ПРЕДЛОЖЕНИЯ СЛОВА А Б / … Я \ _ … . ! … А. Б. Петровский Мультимножества так порождаются Более корректно говорить о пирамидальных сетях, чем о иерархиях; т. к. в таких структурах присутствуют связи не между соседними уровнями Первым применил системный анализ к исследованию целостности информации, видимо, Демокрит (460–360 гг. до н. э.). В своих рассуждениях он отмечал, что речь состоит из имен, имена – из слов (комплексов), комплексы – из букв или неделимых частей (элементов). (5) Конкретный образ имеет СТРУКТУРУ ПИРАМИДЫ. Различные образы могут иметь разные «высоты» и различную «ширину». В вершине каждой такой пирамиды находится идентификатор образа и его «первичная» декомпозиция. Те, образы, которые связаны с «внешней средой», называются перцептивными (или образами восприятия). Остальные – суть образы представления и воображения. И операции образного мышления осуществляются с этими пирамидальными структурами, а не с векторами признаков. Условная траектория образного мышления ВНЕШНЯЯ СРЕДА (6) Число компонент на различных уровнях пирамиды не уменьшается по мере перемещения снизу вверх, а наоборот, растет. Это обусловлено, в частности, тем, что порождение новых образов может производиться с использованием самых различных комбинаций базовых («нижележащих») признаков (свойств). (7) Как известно, конкретные задачи можно решать различными способами. Можно вообще не найти решения. Соответствующие траектории изображены на рис. Заметим, что при решении проблем можно, вообще, получить различные решения. Например, в системах подготовки принятия решений в многокритериальных условиях обычно анализируют несколько альтернатив. Условные траектории образного мышления ? ВНЕШНЯЯ СРЕДА Условные траектории образного мышления ВНЕШНЯЯ СРЕДА (8) Множественность траекторий, показывает, что целенаправленность мышления не обеспечивает следование некоторому алгоритму. Когда мы говорим об образном мышлении, то речь идет о творчестве, тогда алгоритма не существует или он не известен. Такие задачи характерны для ИИ. При наличии алгоритма мы будем говорить о понятийном мышлении, а, лучше, о рассуждении. И, тогда, речь идет о традиционных компьютерных технологиях. (9) Возникает вопрос, какой образ является результатом решения задачи. С нашей точки зрения именно здесь можно говорить о глубине понимания. Если в результате решения проблемы, задачи человек помнит (понимает) всю цепочку образов, то мы можем фиксировать глубокое понимание (например, доказательства теоремы). Итоговый образ (без цепочки) отражает поверхностное знание, но и его можно использовать в решении других проблем. Обратим внимание, что целостность характерна для любого класса («подмножества») образа, т. к. это характеристика не самого образа, а его отношения с решаемой проблемой. (10) На пирамидальных сетях образов можно выделять инвариантную и вариабельную структуры. Условное представление инварианты образа Первая соотносится с объективными аспектами образов, вторая – с субъективными. АРХЕТИП (archetype от греч. arche - начало и typos - образ) - прообраз, первичная форма, образец, первичный образ, элемент коллективного подсознания, ставшего общим для всех членов общества. Условное представление инварианты образа В процессе отчуждения знаний на основе объективизации образов строятся понятия. Понятия, как категория логики, имеют двухуровневую структуру, в отличие от обыденных понятий. Но, главные свойства любых понятий: фиксированность множества признаков, их равнозначность, независимость и объективность (т. е. независимость от знаний субъекта). Аналогично из образов синтезируются понятия посредством индуктивного обобщения накопленной образной информации. 11. Должны в динамике появляться новые вершины. Именование их (в традиционном смысле, т.е. вербально) необязательно. Нужен только идентификатор, чтобы их мог использовать компьютер для «своей работы». 12. Имени (идентификатора) в вершинах (концепторах) мало. Необходима целая сложная структура образа. 13. Необходима активность синтеза и реструктуризации образов. Гипотеза двойного кодирования Пейвио Три уровня: 1 сенсорный; 2 референтный; 3 ассоциативный Условная архитектура интегрированного представления образных структур в БЗ дискретн ая ма тема ти ка «Джен тльмен ы удачи» «… тупой» Жване цкий ИМАГЕННЫЕ СЕТИ ЛОГОГЕННЫЕ СЕТИ «ФОРМАЛЬНЫЕ СЕТИ» ПРОБЛЕМЫ 1. Автоматическое порождение новых концепторов. 2. Автоматическое порождение входных связей. 3. Автоматическое порождение выходных связей. 4. Определение структуры концептора для различных классов образов. 5. Классификация образов. 6. Определение операций с образами. ЗАКЛЮЧЕНИЕ 1. С нашей точки зрения все мышление основано на операциях с образами. Понятийное мышление более целесообразно называть рассуждением. 2. Важнейшим результатом данных исследований мы считаем некоторое обоснование целесообразности использования в моделировании образного мышления нелинейных структур представления информации. То есть, вместо векторов признаков (например, фреймов, по сути, линейных структур) предлагается использовать пирамидальные структуры. 3. Можно говорить о сетях фреймов, но узлы в пирамидах имеют более сложную структуру ввиду множественности возможных типов отношений между различными образами и их компонентами. 4. Заметим, именно взаимодействия (отношения, связи) компонент обеспечивают свойство целостности (эмерджентности) любой системы, в частности, образа. Поэтому представляется целесообразным ввести в рассмотрение понятие структуры целостности. И эта структура определяется на пирамидальной сети образной информации, а не на «близлежащих» свойствах (компонентах). 5. Далее, возникла гипотеза: все эти целостные образные структуры «возникают и живут» только в динамике. Поэтому, были приведены интеллектуальные операции. 6. В будущем мы надеемся разработать алгебру и логику пирамидальных структур с использованием этих операций. А далее можно говорить и об исчислении пирамид. Но, это уже формальный этап исследований. СПАСИБО ЗА ВНИМАНИЕ!
