Когнитивный инструментарий компьютерной лингвистики

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

Основной тезис теории знаний гласит, что мышление — это про­цесс обработки и порождения знаний. «Знания» или «знание» считается неопределяемой категорией. В качестве «процессора», обрабатывающе­го знания, выступает когнитивная система человека. В эпистемологии и когнитивной науке различают два основных вида знаний — деклара­тивные («знание что») и процедурные («знание как»[2]). Декларативные знанияпредставляются обычно в виде совокупности пропозиций, утвер­ждений о чем-либо. Типичным примером декларативных знаний мож­но считать толкования слов в обычных толковых словарях. Например, чашка і = 'небольшой сосуд для питья округлой формы, обычно с руч­кой, из фарфора, фаянса и т. п.' [MAC]. Декларативные знания поддаются процедуре верификации в терминах «истина—ложь». Процедурные знанияпредставляются как последовательность (список) операций, действий, которые следует выполнить. Это некоторая общая инструкция о действи­ях в некоторой ситуации. Характерный пример процедурных знаний — инструкции по пользованию бытовыми приборами. Ср. текст инструкции о настойке видеосигнала для видеомагнитофона:

1) Выберите видеоканал. 2) Включите выключатель «Проверочный канал». 3) Установите переключатель «Система» в «I» положение. 4) От­регулируйте ТВ канал таким образом, чтобы настроечная сетка была четко видна.

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

Большинство понятий когнитивного инструментария компьютерной лингвистики омонимично: они одновременно обозначают некоторые ре­альные сущности когнитивной системы человека и способы представле­ния этих сущностей на некоторых метаязыках. Иными словами, элементы метаязыка имеют онтологический и инструментальный аспект. Онтоло­гическиразделение декларативных и процедурных знаний соответствует различным типам знаний когнитивной системы человека. Так, знания о конкретных предметах, объектах действительности преимущественно декларативны, а функциональные способности человека к хождению, бегу, вождению машины реализуются в когнитивной системе как про­цедурные знания. Т. Виноград в связи с этим отмечает: «Очевидно, что многое из того, что мы знаем, лучше представляется процедурно; такое знание интерпретировать чисто декларативно трудно. Если мы хотим, чтобы робот действовал в относительной простой среде (такой, напри­мер, как игровые кубики), то мы сделаем это наиболее естественно, описав его манипуляции как программы» [Winograd 1975, р. 189]. Ин­струментальнознание (как онтологически процедурное, так и декларатив­ное) можно представить как совокупность дескрипций, описаний и как алгоритм, инструкцию. Иными словами, онтологически декларативное знание об объекте действительности «стол» можно представить процедур­но как совокупность инструкций, алгоритмов по его созданию, сборке (= креативный аспектпроцедурного знания) или как алгоритм его типич­ного использования (= функциональный аспектпроцедурного знания). В первом случае это может быть руководство для начинающего столяра, а во втором — описание возможностей офисного стола. Верно и обратное: онтологически процедурное знание можно представить декларативно.

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