Марвин Минский - Фреймы для представления знаний

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

В системе GPS (General Problem Solver — универсальная программа для решения задач) А.Ньюэлла и Г.Саймона(1959) «различия» упорядочены в иерархию неизменной структуры. Если же приоритетность различий определять в зависимости от решаемых задач, то можно на базе тех же структур памяти достигнуть значительно большего; получающийся при этом решатель задач потеряет свое изящество и простоту, что явится своеобразной платой за отход от используемой в системе GPS логики предикатов первого порядка.

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

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

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

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

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