В следующем разделе мы рассмотрим некоторые из таких моде-
лей, включая и сложные.
Семантическая организация памяти
221
Групповая модель предполагает, что семантические категории пред-
ставлены в памяти в виде "групп" информации. Эти группы информации
включают элементы некоторой категории (например, категория собака
может включать колли, немецкую овчарку, китайского мопса и т.д.) или
атрибуты категории (например, у категории собака есть атрибуты: "име-
ет шерсть", "четыре ноги", "может лаять" и т.д.).
Вторая модель, модель сравнительных признаков предполагает, что
та или иная семантическая категория представлена в памяти в виде набо-
ра атрибутов, или признаков, причем некоторые из них существенны
для определения категории, а некоторые не столь важны. Малиновку
можно представить как имеющую перья, крылья, красную грудку, звонко
поющую и т.д. Некоторые из этих признаков являются определяющими,
т.е. существенными для определения значения понятия "малиновка" (на-
пример, имеет перья и крылья), а некоторые - описательными, или ха-
рактерными признаками малиновки (например, красная грудка, звонкое
пение). Определение правильности высказывания "малиновка есть пти-
ца" заключается в сравнении как определяющих, так и характерных при-
знаков понятий птица и малиновка. Если соответствие между ними
велико, тогда высказывание считается верным. Описание этой модели
мы продолжим в следующем разделе.
Сетевая модель предполагает, что "слова или их концептуальные
эквиваленты существуют в семантической памяти как независимые еди-
ницы, соединенные в единую сеть посредством меченых связей" (Smith,
Shoben and Rips, 1974, p.214). Например, семантические отношения меж-
ду малиновкой и птицей, описываемые высказыванием "малиновка суть
птица" характеризуются связью суть ("является"). Для проверки этой
связи нужно воспроизвести и сверить информацию о малиновках и птицах.
Групповые
модели
Групповая модель предполагает, что семантические понятия представле-
ны в виде групп элементов, или скоплений информации. В этой модели, в
отличие от кластерных концепций, слово, обозначающее некоторое поня-
тие, может быть представлено в ДВП не только образцами этого понятия,
но также его атрибутами. Так, в экспериментах Бусфилда, например,
понятие "птицы" может включать названия видов птиц - канарейки, ма-
линовки, ястреба, стервятника и т.д.,- а также атрибуты этого поня-
тия - поет, летает, имеет перья. Согласно этой модели, память содержит
множество групп атрибутов, или точнее сказать, каждая лексическая еди-
Рис. 7.3. Атрибуты двух
групп (птица и малиновка)
с высокой степенью пересе-
чения.


Память
222
ница представлена в виде "созвездия" событий, атрибутов и ассоциаций, а
воспроизведение заключается в "проверке", поиске сходных по характе-
ристикам образцов в двух или более группах информации.
В своем простейшем виде проверка высказывания (например: "мали-
новка есть птица") осуществляется только путем сравнения (Рис.7.3)
атрибутов одной группы (птица) с атрибутами другой группы (малинов-
ка). В зависимости от степени пересечения атрибутов образуется основа
для принятия решения о достоверности данного высказывания. По мере
того, как "дистанция" между этими группами увеличивается, время реак-
ции на принятие решения будет возрастать - это соответствует иссле-
довательским предположениям, сделанным в отношении некоторых сете-
вых моделей.
В этой модели учитываются два типа логических отношений между
семантическими категориями: общее утверждение (ОУ) и частное ут-
верждение (ЧУ). ОУ - это случай, когда все члены одной категории
принадлежат другой категории - или: Все S есть Р (например, "Все
канарейки суть птицы."); ЧУ - это случай, когда только некоторые члены
одной категории являются также членами другой категории - или Неко-
торые S есть Р (например, "Некоторые животные суть птицы."). Досто-
верность таких утверждений определяется групповыми связями между
этими семантическими категориями. Мерой групповых связей, или общ-
ности, является количество элементов, общих для обоих высказываний.
Например, высказывание "Некоторые женщины суть писатели" можно
представить в виде "Некоторые S есть Р", где S - "женщины", к Р -
"писатели". На диаграмме это можно представить как две группы атрибу-
тов, одна из которых относится к "женщинам", а другая - к "писате-

лям
S


В этих фигурах вы вероятно узнали диаграммы Венна, используемые для
иллюстрации пропозициональных утверждений. Степень достоверности
логических утверждений Все S есть Р (ОУ) и Некоторые S есть Р (ЧУ)
зависит от площади пересечения (закрашенный участок), или от количе-
ства общих элементов.
Существует 5 видов возможных отношений, между группами 5 и Р:
первый вид - это когда 5 и Р идентичны; остальные четыре представлены
в Табл.7.1. В первом типе межгрупповых отношений из представленных в
этой таблице S есть собственное подмножество множества Р - напри-
мер, "Все Альпы суть горы" (ОУ) или "Некоторые Альпы суть горы" (ЧУ);
оба эти высказывания полагаются истинными. Во втором типе отноше-
ний, S есть собственное сверхмножество множества Р - например,
"Некоторые камни суть рубины", но не "Все камни суть рубины". В
третьем типе отношений (вышеприведенный графический пример), S и Р
перекрываются -например, "Некоторые женщины суть писатели"-
истинное высказывание, но "Все женщины суть писатели"- это ложное
высказывание. В последнем, четвертом типе отношений, S отделено от
Р - например, "Тайфун не входит в число видов пшеницы" (как мини-
мум, эти элементы не имеют непосредственной связи).
Семантическая организация памяти
223
iiSSiiii """" "-"""
Табл. 7.!. Отно-
шения групп 5 и Р
и значения истин-
ности для общих и
частных утвержде-
ний.
, : """ ; .pilpilliil>
Решение, пересекаются ШштШШЖШШЖШт
ли Множества: S и Р "
------------
;?:;? У:Й::Й?йВЙ?ЙВйЙ;йй :й
Решение, пересекаются!
ли ммохйства 5м Р
BSBiBBBSB :BBiBiBSiS?:5B::;BB::SBiB:iSiB
.....-..;.;;;.;.;:.:.;.; ;.:.......:.-.......:.-..:....:..т;.......
>;УНекоторые SBBce SISlllllillillliillllll
й||) суть Р: i|i суть Р iilli суть Р р|| суть Р
:.:: яллчч1л i.---.- л я>11ьл/ г. . : .- .:., V- .-у.- :: ...л- ..-Л-.-.-. :;: ;;::;: :::-:::::::-:;:-:-:--:-::-:-:-Ч . ,/у>>лАЛ-//ч . A-":::;:;:)! HfftHlHtIrt
Рис. 7.4. Двухэтопноя модель воспроизведения при принятии, решений OY. Aдoптиpoвo
Meyerfl970;.
Ламять
224
Чтобы лучше понять эту модель, рассмотрим экспериментальную про-
цедуру Мейера. В типичном случае испытуемый сидит перед экраном, на
котором появляются высказывания типа "Все монеты суть пятаки" или
"Некоторые монеты суть пятаки". Испытуемый должен указать, истинно
высказывание или ложно. Высказывания типа "Некоторые монеты суть
пятаки" (ЧУ) обычно требуют меньшего времени реакции, чем высказы-
вания типа "Все монеты суть пятаки" (ОУ). (Отсюда можно заключить,
что для проверки фразы "Некоторые пятаки суть монеты" потребовался
бы поиск в памяти до тех пор, пока не был бы найден хотя бы один
пример, когда пятак был бы монетой,- т.е. нам не надо проверять все
пятаки.)
Чтобы объяснить, почему истинность некоторых высказываний про-
веряется быстрее, Мейер (Меуег, 1970) предложил идею двухэтапного
процесса (Рис.7.4). На Этапе 1 испытуемый решает, пересекаются ли
множества S и Р, т.е. имеют ли они хотя бы один общий элемент. Если
это не так, значит расхождение обнаружено, и принимается отрицатель-
ное решение. Возьмем, например, высказывание "Все тайфуны суть сор-
та пшеницы"; здесь будет выполнен только Этап 1, поскольку множества
"тайфунов" и "сортов пшеницы" не пересекаются. Но предположим, что
в результате Этапа 1 возникло положительное решение - т.е., что мно-
жества S и Р пересекаются (у них есть общий элемент); тогда выполняет-
ся Этап 2. На Этапе 2 воспроизводится информация, которая помогает
определить, то ли это пересечение S и Р, при котором S является подмно-
жеством Р, и затем может быть принято положительное решение. Напри-
мер, для проверки утверждения "Все камни суть рубины" требуется пройти
оба этапа. На первом этапе оно ведет к положительному решению, т.е.
связь между камнями и рубинами существует. Однако, на Этапе 2 вос-
произведенная информация показывает, что множество "камней" не есть
подмножество "рубинов", и тогда утверждение признается ложным.
Рассмотрим далее те типы высказываний, которые требуют только
первого этапа обработки, и те, которые требуют обоих этапов. Вы веро-
ятно помните, что Мейер постулировал 4 типа связей между S и Р (см.
Табл.7.1). Вот примеры этих четырех связей;
Подмножество; Все (или некоторые) Альпы суть горы.
Сверхмножество: Все (или некоторые) камни суть рубины.
Пересечение: Все (или некоторые) женщины суть писатели.
Дизъюнкция: Все (или некоторые) тайфуны суть сорта пше-
ницы.
В случае квантора "все" только дизъюнктивное высказывание может
быть отвергнуто на первом этапе. Отношение подмножества признается
истинным на втором этапе, тогда как отношения сверхмножества и пере-
сечения признаются ложными. Теперь рассмотрим эти же примеры с кван-
тором "некоторые". В этом случае все типы - подмножество, сверхмно-
жество, пересечение и дизъюнкция - могут быть оценены на первом
этапе; все, что требуется испытуемому, чтобы подтвердить высказыва-
ние,- это найти хотя бы одно пересечение, или общий элемент мно-
жеств S и Р.
Таким образом, если утверждение о подмножествах содержит квантор
"некоторые", для его проверки нужен только один этап; но если высказы-
Семачтическая организация памяти
225
вание содержит квантор "все", необходимы два этапа. Отсюда можно зак-
лючить, что высказывания с квантором "некоторые" будут оцениваться
быстрее, чем высказывания с квнтором "все"; данные Мейера подтверж-
дают это предсказание. Среди дизъюнктивных высказываний необходи-
мым является только первый этап; однако, для высказываний типа "Мали-
новки суть мебель" нужен более продолжительный поиск, чем для выска-
зывания, что "Малиновки суть стулья", поскольку "мебель" - это более
крупная категория, чем "стулья", и она может содержать больше пересе-
кающихся категорий. Исследование Мейера также подтверждает это пред-
сказание, касающееся величины категории. Об утверждениях о подмно-
жествах, содержащих квантор "некоторые", можно предсказать, что выс-
казывание "некоторые канарейки суть животные" потребовало бы больше
времени, чем высказывание "некоторые птицы есть животные", поскольку
здесь существует большее различие между категориями "канарейка" и
"животные", чем между категориями "птицы" и "животные". Данные
Мейера снова подтверждают это предсказание.
Хотя эти идеи дают нам поддающуюся проверке модель семантичес-
кой структуры и обработки, важную для изучения семантической памя-
ти, последовавшая за этим реакция других ученых и их эксперименталь-
ные результаты поставили перед ней ряд вопросов. Определенную поле-
мику вызвал тот, например, факт, что многие из истинных утверждений
содержали связанные пары существительных (например, "Некоторые
птицы суть животные"), тогда как ложные утверждения содержали не-
связанные пары существительных (например, "Некоторые тайфуны суть
сорта пшеницы")4.
Другую критику этой и других моделей изложили Рипс, Шобен и
Смит (Rips, Shoben, and Smith, 1973), которые измеряли время реакции,
требуемое для проверки связи между существительным-подлежащим и
существительным-предикатом на двух уровнях связности. Так, например,
если на Уровне 1 мы имеем высказывание "сойка суть птица", а на Уров-
не 2 - "сойка суть животное", то согласно предсказаниям данной моде-
ли для проверки второго утверждения потребуется больше времени, чем
для проверки первого. Хотя Рипс и др. в целом согласились с этим, они
также привели данные времени реакции, опровергающие такое предсказа-
ние; так например, в нижеследующих случаях проверка утверждения на
Уровне 1 потребует больше времени: "свинья суп млекопитающее" (Уро-
вень 1) и "свинья суть животное" (Уровень 2); "тойота суть автомо-
биль" (Уровень 1) и "тойота суть средство передвижения" (Уровень 2);
"собака есть млекопитающее" (Уровень 1) и "собака есть животное"
(Уровень 2). В результате этих выводов была разработана новая модель,
которую мы сейчас и рассмотрим.
Модель сров- Модель сравнительных семантических признаков предложили Смит,
нительных Шобен и Рипс (Smith, Shoben and Rips, 1974; Rips, Shoben and Smith,
семантических 1973)5; они разработали ее, пытаясь разрешить противоречия в предсказа-
поианаков ниях других моделей. Эта модель имеет общие черты со структурными
олее подробно теоретические и практические аспекты описаны в: Smith
(1967); Glass and Holyoak (1974); Glass, Holyoak, and ODell (1974); и Holyoak
and Glass (1975).
Позднее также: Rips (1975), Smith (1978), и Rosch (1973, 1974, 1975).
Память
226
группами в модели Мейера, но отличается он нее несколькими важными
моментами. Первый состоит в том, что "значение слова не является не-
разложимой единицей, скорее оно представляет собой набор семантичес-
ких признаков" (Smith, Shoben and Rips, 1974). Широкий набор призна-
ков, связываемых с каждым словом, меняется в непрерывном диапазоне
от исключительно важного до тривиального. Малиновку, например, мож-
но описать такими признаками: имеет крылья, двуногая, имеет красную
грудку, гнездится на деревьях, любит червей, неприрученная, предвеща-
ет весну. Некоторые из этих признаков являются определяющими (кры-
лья, ноги, красная грудка), тогда как другие - только характерные
черты малиновки (гнездится на деревьях, любит есть червей, неприру-
ченная и предвещает весну). Смит и др. предполагают, что значение лек-
сической единицы можно представить в виде набора существенных, или
определяющих аспектов слова (определяющих признаков), а также дру-
гих признаков, являющихся только случайными, или характерными ас-
пектами (характерных признаков).
Рассмотрим пример "Летучая мышь есть птица". Хотя наличие кры-
льев - это определяющий признак птиц, строго говоря, летучая мышь -
это не птица.
1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21 22 23 24 25 26 27 28 29 30 31 32 33 34 35 36 37 38 39 40 41 42 43 44 45 46 47 48 49 50 51 52 53 54 55 56 57 58 59 60 61 62 63 64 65 66 67 68 69 70 71 72 73 74 75 76 77 78 79 80 81 82 83 84 85 86 87 88 89 90 91 92 93 94 95 96 97