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

В своей работе по теории «семантической зависимости» Р.Шенк(1972) пытается найти смысловое представление для сложных утверждений, таких, например, как «Сэм верит в то, что Джон дурак». В этих предложениях предмет, на который направлено действие, не может быть представлен как реальный физический объект. Это, однако, не снимает вопроса о «концептуализации» этого предмета и представлении его с помощью ситуаций подобно тому, как это выглядит при разборе следующего диалога:

— Не хотите ли Вы кусочек шоколада?

— Нет, я только что съел трубочку с мороженым.

Р.Шенк считает достаточным наличие ограниченного набора «основных концептуализаций» и типов связей между ними для того, чтобы с их помощью представлять смысл сложных высказываний. Я затрудняюсь сказать, насколько правилен этот подход, например, можно ли с его помощью описать такое явление, как «поток».

Теория Р.Шенка включает в себя идею «концептуальных атрибутов», которые напоминают некоторые из наших терминалов фреймов, однако в ней сделана попытка представить результаты действий не с помощью отношений между парами фреймов, а в виде явных абстракций. Это порождает свои проблемы; например, было бы интересно узнать, достаточно ли одной (или даже нескольких) абстрактной концепции «причинам для работы системы „убеждений“ или нет. Явно недостаточной выглядит попытка представить причинную связь с помощью некоторого условия или действия, необходимого для того, чтобы произошло какое-то событие. Не вдаваясь более в детали, я полагаю, что как только в рамках теории Р.Шенка будут разработаны некоторые проверки выполнимости действий, она станет мощным средством для представления знаний.

Работа Дж.Уилкса(1973а) по «семантике предпочтений» тоже, видимо богата идеями относительно того, как создавать структуры, подобные фреймам, из более простых элементов. Его предложения в отношении предпочтений объединяют в себе особые пути, при помощи которых можно было бы представлять задания отсутствия и процедуры, согласованные с более крупными фрагментами рассуждений. Я полагаю, что система Дж.Уилкса интересна еще и тем, что она отчетливо показывает нам способы, с помощью которых можно проводить некоторые полезные неформальные рассуждения, а также раскрывает механизм псевдодедукции, основанный на шаблонном принципе построения всей системы и на текущих процессах без привлечения тщательно разработанной формальной логической системы или без излишней заботы о непротиворечивости в рассуждениях.

Р.Абельсон(1973) работает над проблемами представления еще более сложных видов деятельности. Основываясь на элементах, подобных элементам Р.Шенка, он разрабатывает схемы, в которых взаимодействие различных понятий ведет к образованию сложных «предписаний» (scripts), т. е. ажурных или решетчатых сценариев в тщательно разработанных системах «убеждений». С их помощью он пытается отразить даже такие взаимодействия, как представление одного человека о той роли, которую он играет в планах другого действующего лица.

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