Когнитивный инструментарий компьютерной лингвистики
Оптимизация когнитивной функции языка
Компьютерная лингвистика
Компьютерная лингвистика
Как прикладная лингвистическая дисциплина
Под термином «компьютерная лингвистика» (computational linguistics) обычно понимается широкая область использования компьютерных инструментов — программ, компьютерных технологий организации и обработки данных — для моделирования функционирования языка в тех или иных условиях, ситуациях, проблемных областях, а также сфера применения компьютерных моделей языка не только в лингвистике, но и в смежных с ней дисциплинах. Собственно, только в последнем случае речь идет о прикладной лингвистике в строгом смысле, поскольку компьютерное моделирование языка может рассматриваться и как сфера приложения теории программирования (computer science) в области лингвистики. Тем не менее общая практика такова, что сфера компьютерной лингвистики охватывает практически все, что связано с использованием компьютеров в языкознании: «Термин "компьютерная лингвистика" задает общую ориентацию на использование компьютеров для решения разнообразных научных и практических задач, связанных с языком, никак не ограничивая способы решения этих задач» [Городецкий 1989, с. 10].
В данном параграфе особое внимание уделяется компьютерным моделям отдельных фрагментов языковой системы, поскольку они позволяют расширить возможности использования языка как средства познания. Внимание к языку как средству познания объясняет возрастание роли концептуального аппарата теории знаний, возникшей в искусственном интеллекте и окончательно сформировавшейся в когнитивной науке (cognitive science), в теоретической и прикладной лингвистике.
Институциональный аспект компьютерной лингвистики.Как особое научное направление компьютерная лингвистика[1] оформилась в 60-е гг. Поток публикаций в этой области очень велик. Кроме тематических
Глава 2. Оптимизация когнитивной функции языка
§ 1. Компьютерная лингвистика15
сборников, в США ежеквартально выходит журнал «Компьютерная лингвистика». Большую организационную и научную работу проводит Ассоциация по компьютерной лингвистике, которая имеет региональные структуры по всему миру (в частности, европейское отделение). Каждые два года проходят международные конференции по компьютерной лингвистике — КОЛИНГ. Соответствующая проблематика широко представлена также на международных конференциях по искусственному интеллекту разных уровней.
Когнитивный инструментарий компьютерной лингвистики
Компьютерная лингвистика как особая прикладная дисциплина выделяется прежде всего по инструменту — то есть по использованию компьютерных средств обработки языковых данных. Поскольку компьютерные программы, моделирующие те или иные аспекты функционирования языка, могут использовать самые разные средства программирования, то об общем метаязыке говорить вроде бы не приходится. Однако это не так. Существуют общие принципы компьютерного моделирования мышления, которые так или иначе реализуются в любой компьютерной модели. В основе этого языка лежит теория знаний, разработанная в искусственном интеллекте и образующая важный раздел когнитивной науки.
Основной тезис теории знаний гласит, что мышление — это процесс обработки и порождения знаний. «Знания» или «знание» считается неопределяемой категорией. В качестве «процессора», обрабатывающего знания, выступает когнитивная система человека. В эпистемологии и когнитивной науке различают два основных вида знаний — декларативные («знание что») и процедурные («знание как»[2]). Декларативные знанияпредставляются обычно в виде совокупности пропозиций, утверждений о чем-либо. Типичным примером декларативных знаний можно считать толкования слов в обычных толковых словарях. Например, чашка і = 'небольшой сосуд для питья округлой формы, обычно с ручкой, из фарфора, фаянса и т. п.' [MAC]. Декларативные знания поддаются процедуре верификации в терминах «истина—ложь». Процедурные знанияпредставляются как последовательность (список) операций, действий, которые следует выполнить. Это некоторая общая инструкция о действиях в некоторой ситуации. Характерный пример процедурных знаний — инструкции по пользованию бытовыми приборами. Ср. текст инструкции о настойке видеосигнала для видеомагнитофона:
1) Выберите видеоканал. 2) Включите выключатель «Проверочный канал». 3) Установите переключатель «Система» в «I» положение. 4) Отрегулируйте ТВ канал таким образом, чтобы настроечная сетка была четко видна.
В отличие от декларативных знаний, процедурные знания невозможно верифицировать как истинные или ложные. Их можно оценивать только по успешности—неуспешности алгоритма.
Большинство понятий когнитивного инструментария компьютерной лингвистики омонимично: они одновременно обозначают некоторые реальные сущности когнитивной системы человека и способы представления этих сущностей на некоторых метаязыках. Иными словами, элементы метаязыка имеют онтологический и инструментальный аспект. Онтологическиразделение декларативных и процедурных знаний соответствует различным типам знаний когнитивной системы человека. Так, знания о конкретных предметах, объектах действительности преимущественно декларативны, а функциональные способности человека к хождению, бегу, вождению машины реализуются в когнитивной системе как процедурные знания. Т. Виноград в связи с этим отмечает: «Очевидно, что многое из того, что мы знаем, лучше представляется процедурно; такое знание интерпретировать чисто декларативно трудно. Если мы хотим, чтобы робот действовал в относительной простой среде (такой, например, как игровые кубики), то мы сделаем это наиболее естественно, описав его манипуляции как программы» [Winograd 1975, р. 189]. Инструментальнознание (как онтологически процедурное, так и декларативное) можно представить как совокупность дескрипций, описаний и как алгоритм, инструкцию. Иными словами, онтологически декларативное знание об объекте действительности «стол» можно представить процедурно как совокупность инструкций, алгоритмов по его созданию, сборке (= креативный аспектпроцедурного знания) или как алгоритм его типичного использования (= функциональный аспектпроцедурного знания). В первом случае это может быть руководство для начинающего столяра, а во втором — описание возможностей офисного стола. Верно и обратное: онтологически процедурное знание можно представить декларативно.
Требует отдельного обсуждения, всякое ли онтологически декларативное знание представимо как процедурное, а всякое онтологически процедурное — как декларативное. Исследователи сходятся в том, что всякое декларативное знание в принципе можно представить процедурно, хотя это может оказаться для когнитивной системы очень неэкономным. Обратное вряд ли справедливо. Дело в том, что декларативное знание существенно более эксплицитно, оно легче осознается человеком, чем процедурное. В противоположность декларативному знанию, процедурное знание преимущественно имплицитно. Так, языковая способность, будучи процедурным знанием, скрыта от человека, не осознается им. Попытка эксплицировать механизмы функционирования языка приводит к дисфункции. Специалистам в области лексической семантики известно, например, что длительная семантическая интроспекция, необходимая для изучения плана содержания слова, приводит к тому, что исследователь частично теряет способность к различению правильных и неправильных употреблений анализируемого слова. Можно привести и другие