Цель статьи – провести критический анализ тех представлений о понимании, которые воплощаются ныне в технических устройствах, и показать возможные перспективы внедрения психологических знаний о понимании в разработку «понимающих систем».
Машинные процедуры «приписывания смысла». Система может понять текст, описывающий некоторые ситуации, события и явления объективного мира, только в том случае, если сравнит этот текст с хранящейся в ее памяти моделью описываемой предметной области. Такая модель существует в ЭВМ в виде системы символов (последовательности нулей и единиц, сочетаниями которых кодируются отдельные слова). Эти системы символов представляют собой некоторое подобие физических объектов в том отношении, что их можно хранить, сличать, изменять и т. д. То, что понимание включает в себя процедуры оперирования символами, признают и психологи, и создатели «понимающих систем», но для воспроизведения понимания текста на ЭВМ этого мало. Для того чтобы компьютеры перешли от обработки числовых данных к целесообразному оперированию знаниями, символы машинной памяти должны наделяться смыслом.
Специалисты по «искусственному интеллекту» понимают проблему наделения смыслом машинных символов как проблему установления семантической связи. Они формулируют эту проблему следующим образом: как сделать так, чтобы ЭВМ могла устанавливать связь между системой символов и обозначаемым ею предметом, т. е. чтобы машина «рассматривала» последовательности символов как описание некоторой предметной области; иначе говоря, как «привязать» смысл к конкретной последовательности символов?
По мнению А. Слоумэна, важнейшей операцией, «побуждающей» машину ассоциировать одни символы внутреннего языка «понимающей системы» с отображенными в памяти объектами внешнего мира, а другие – с их свойствами и отношениями, является процедура приписывания символами оценок истинности. Если оценки истинности приписываются способом, зависящим от реального состояния мира (а не только от логической коррекции процедур манипулирования символами), то символы могут быть мыслимы системой как репрезентирующие фактические утверждения, т. е. конкретные высказывания о том, как обстоит дело в мире. Поскольку объекты, условно говоря, являются частью памяти «понимающей системы», то установленные связи между элементарными символами программ и объектами во внутреннем мире систем оказываются простыми причинными отношениями. Вместе с тем очевидно, добавляет А. Слоумэн, что, устанавливая такие связи, машина обращается с «истиной» и «ложью» как с чем-то большим, чем простые двоичные числа: она наделяет последние простейшей, зародышевой формой смысла [13].
Адекватность описанной А. Слоумэном процедуры задаче наделения смыслом машинных символов вызывает со стороны психологов ряд возражений, которые фиксируют, главным образом, ограниченность представлений разработчиков «понимающих систем» о сущности и механизмах человеческого понимания. Эта ограниченность выражается в преимущественной фиксации внимания на референтном аспекте смыслообразования и игнорировании его операционального и интенционального аспектов.
Референтный аспект смысла и его моделирование в «понимающих системах». Описанный А. Слоумэном способ референции символов не является единственным. Например, П. А. Колерс и У. Е. Смайт выделяют три способа, которыми символы у человека могут соотноситься с действительностью: обозначение (репрезентация); приведение примеров (буквальных и метафорических); выражение свойств, к которым относится символ [8]. Разнообразие способов референции, которыми обладает символ, непосредственно влияет на индивидуальные способы его интерпретации и понимания человеком. Но дело даже не в том, что психологам известно несколько способов референции символов, а в неудовлетворенности самого референтного подхода к формированию смысла слова: ведь в психологии давно стало аксиомой, что при одной и той же предметной отнесенности смысл слова для человека может быть разным.
Для психолога основной вопрос заключается не в том, какой предмет обозначается символом, а в том, как (в виде какого символа) тот или иной объект существует для субъекта (например, путь из одного города в другой одним человеком может осознаваться как яркий зрительный образ фрагмента географической карты, тогда как второй субъект лишь приблизительно помнит последовательность названий промежуточных населенных пунктов).
В отличие от психологов разработчики «понимающих систем» работают с названиями объектов как с объектами, которые уже имеются в их распоряжении, и поэтому видят свою задачу только в том, чтобы предложить такое правило комбинации символов (формализм, описывающий последовательность процедур понимания), соответствие которого интуитивным представлениям о человеческом понимании будет проверено в ходе эксплуатации системы.
Многие специалисты по «искусственному интеллекту», видя неудовлетворенность разработанных процедур «привязывания» смысла к символу, высказывают мнение, что разумную, познающую окружающий мир систему нельзя создать до тех пор, пока она не будет иметь обратной связи от объектов. Иначе говоря, символы для «понимающей системы» станут осмысленными (будут обозначать не копии объектов в машинной памяти, а сами объекты) тогда, когда у ЭВМ появятся рецепторы, посредством которых она сама сможет получать информацию о мире (сейчас предметные знания закладываются разработчиком).
Признавая важную роль перцептивного опыта в смыслообразовании у человека, все же следует напомнить, что предпринимавшиеся в психологии попытки связать смысл слова исключительно с теми скедениями о предметах и явлениях, которые человек получает непосредственно от органов чувств (А. Пейвио и др.), оказались неудачными: смысл предъявляемого предложения нередко осознается человеком раньше, чем у него появляются соответствующие перцептивные образы; синтаксические отношения и некоторые слова предложений естественного языка не поддаются представлению в образах (каковы, например, образы слов «если» или «затем»?).
Главная причина неудачи референтных подходов, по мнению Дж. Д. Брансфорда и Н. С. Маккаррелл, состоит в том, что «информации об изолированных объектах (things) недостаточно для уяснения их смысла» [7, с. 192]. Эти авторы отмечают, что перцепция дает человеку больше, чем прямую информацию об объекте: в данных органов чувств представлены и пространственно-временные отношения, характеризующие перцептивное событие. Согласно их точке зрения, объекты становятся осмысленными через отношения с другими объектами. Соответственно смысл любого предложения является результатом воссоздания в мозгу читателя предметной ситуации, в которой выраженные в предложении отношения правдоподобны.
Другие западные психологи, признавая важную роль в смыслообразовании контекста, предметных связей понимаемого, определяют смысл исключительно в терминах знаний. Например, Дж. Дж. Франкс пишет: «Структуры смысла есть частные порождения системы знаний. Они детерминируются знанием так же, как структура предложения детерминируется грамматикой» [7, с. 235]. У. Ф. Бруэр рассматривает смысл в широком и узком значении этого слова. При широкой интерпретации смысл слова, предложения, объекта или события для понимающего субъекта может быть выражен как целостная система его знаний, относящихся к слову (предложению и т. д.). Смысл в узком значении – это то подмножество знаний, указанных словом (высказыванием) в диалоге, которое, по предположению говорящего, будет выделено слушающим.
Сеть знаний человека, по Бруэру, образуется посредством взаимосвязанных высших психических процессов и включает как образные, так и вербально-логические знания [7, с. 281].
В соответствии с такой когнитивистской интерпретацией смысла усилия западных исследователей направлены главным образом на отображение характеристик объектов предметной области в виде стабильных структур знаний, которые можно записать на машинных носителях «понимающих систем». Такой способ отображения характеристик объекта вполне соответствует референтным принципам его осмысления. Проектируя системы, разработчики озабочены в основном тем, как с помощью структур знаний, используемых для понимания (наиболее распространенная из них – фрейм), вывести смысл понимаемого. Например, П. Уинстон пишет: «Смысл простых предложений в значительной степени может быть описан фреймами действия и фреймами изменения состояния, связанными друг с другом в причинно-следственную сеть» [6, с. 228]. И далее: «Понимание с операционной точки зрения на создание вопросно-ответных систем, вероятно связано с созданием тесно взаимосвязанного множества фреймов» [там же, с. 241].
