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

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

Быть может, я кое-где слишком старательно подчеркивал возможности использования моделей первого порядка. Это, скорее всего, следствие моей реакции на высказывания критиков, придерживающихся философии холизма, которые показали (но только в теории), что если вы в любой ситуации можете всегда заметить хотя бы еще одну новую черту, вам не составит труда убедить себя в том, что вы заметили их уже бесконечное множество. С другой стороны, я, возможно, излишне резко реагировал на те утверждения моих коллег, в которых слишком тщательно игнорируется интроспективная феноменология или явно чувствуется стремление объяснить поведение с помощью бесструктурных элементарных фрагментов. Любая теория должна «сводить» вещи к более простым элементам, однако это не выполнимо с помощью бихейвористических единиц познания и деятельности.

В заключение я хочу особо поблагодарить С.Пейперта и моих бывших студентов Д.Боброва, Е.Чарняка, В.Рафаэля, У.Мартина, Д.Мозеса и П.Уинстона за помощь, которую они мне оказали при написании данной работы, а также И.Голдштейн, Дж.Суссмана, С.Фальмана, Э.Рубина, С.Смолиара, М.Деникоффа, Б.Куиперса, М.Фрайлинга и других, принявших участие в обсуждении первых вариантов книги, за их конкретный вклад в этот труд.

В приложении я хотел бы разъяснить, почему считаю большинство логических подходов малоэффективными. Еще со времен Аристотеля предпринимались серьезные усилия, чтобы представить рассуждения с помощью логистической системы, т.е. такой системы, в которой полностью отделены друг от друга предложения, которые содержат конкретную информацию, и силлогизмы или общие законы построения правильных высказываний. На протяжении веков никому не удалось продемонстрировать успешное функционирование такой системы на реальном и значительном множестве высказываний. Я полагаю, что подобные попытки будут и впредь заканчиваться неудачно, но не вследствие дефектов логических формализмов, а из-за самого характера логистического метода. (Последние опыты базировались на логике предикатов первого порядка, но не в ней корень зла).

Типичная попытка имитации рассуждений на уровне здравого смысла начинается с выбора «микромира» ограниченной сложности. С одной стороны, задаются цели высокого уровня, например: «Я хочу попасть из дома в аэропорт»; с другой — множество небольших высказываний — аксиом, например: «Автомобиль находится в гараже», «Никто не выходит из дома раздетым», «Чтобы попасть в какое-то место, человек должен двигаться в том направлении» и т. д. Для работы системы используются процедуры эвристического поиска, с помощью которых должна быть доказана достижимость поставленной цели и найден соответствующий перечень необходимых действий.

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