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

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

Ж. Пиаже (1971)

Я считаю, что имеется сходство между мыслями Пиаже о конкретных операциях и идеей использования трансформаций между фреймами системы. Некоторые виды логических операций могут быть легко реализованы на базе фреймов путём замены в них одних заданий отсутствия другими. Например, не вызовет затруднений попытка аппроксимации логических транзитивностей; так, силлогизмы вида: «Все, что принадлежит А, принадлежит В, и все, что принадлежит В, принадлежит С, =>, все, что принадлежит А, принадлежит С», должны естественным образом встречаться при подстановках субфреймов в терминалы фрейма. Я не думаю, что это общее правило универсально, но считаю, что вследствие транзитивности сменяющих друг друга субфреймов в некоторых случаях воспользоваться им будет полезно.

В дополнение к этому можно предполагать, что к справедливости высказываний вида: «Большинство, относящееся к А, относится к В, и большинство, относящееся к В, относится к С, => большинство, относящееся к А, относится к С», следует относиться с той же степенью доверия, даже если иногда это не соответствует действительности.

Ясное понимание вопроса о том, что же может быть достигнуто на базе простейших операций с фреймами, было бы весьма ценным и актуальным. Значительным шагом в этом направлении, мне думается, явилась разработанная Дж.Муром и А.Ньюэллом(1973) процедура «выравнивания и покрытия» для их программы MERLIN. Эта процедура связана с известным в математической логике алгоритмом унификации (см.Н.Нельсон «Искусственный интеллект»,1973), если известны фреймы А и В, то результаты ее работы могут быть проинтерпретированы (если не слишком вдаваться в детали) следующим образом:

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

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

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