48. Семантические сети и работа памяти

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

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

Р ассмотрим пример, в котором мы имеем среди исходных данных набор фактов, включающих отдельные высказывания (простые или сложные): A , B , L , а также высказывания в виде импликаций (структур «если... то»): A - > L , A -> B , F -> C , B -> D , B -> G , G -> T , K -> G , L -> B , L -> K . Для простоты будем считать, что единственным правилом вывода в этом примере будет правило отделения (modus ponens). Это правило было известно еще в древности и хорошо соответствует интуитивному понятию логического вывода. Общая схема правила отделения говорит, что мы делаем правильные умозаключения, если из пары посылок вида: 1) если p , то q , 2) p получаем в качестве заключения q . Формально правило отделения записывается в виде:

Многократно применяя правило отделения, мы можем получить новое знание, напр., в виде A -> T . Действительно, из A и A - > B получаем B , затем из B и B - > G получаем G , затем из G и G - > T получаем T . Формально в математической логике 3 шага данного вывода записываются как:

, , ,

В такой записи над чертой записываются посылки, под чертой — следствия. При этом заметим, что в итоге мы построили умозаключение A -> T и одновременно получили цепочку рассуждения: A , A -> B - > G -> T . Заметим также, что данная цепочка не — единственно возможный путь для получения результата A -> T . Тот же вывод получим, построив и др. цепи доказательств. Напр., цепь № 2: из A , A -> L получаем L , затем из L , L -> B получаем B , далее логический вывод идет так же, как в предыдущем случае; цепь № 3 напишем в сокр. виде: A , A -> L -> K -> G -> T .

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