4. Проблемы компьютерной реализации лингвистических моделей. Компьютерная лингвистика.

http://ru.wikipedia.org/wiki/%D0%9A%D0%BE%D0%BC%D0%BF%D1%8C%D1%8E%D1%82%D0%B5%D1%80%D0%BD%D0%B0%D1%8F_%D0%BB%D0%B8%D0%BD%D0%B3%D0%B2%D0%B8%D1%81%D1%82%D0%B8%D0%BA%D0%B0

http://www.krugosvet.ru/enc/gumanitarnye_nauki/lingvistika/KOMPYUTERNAYA_LINGVISTIKA.html

Проблемы

Лингвистическая модель

• модель -тип, образец (language pattern) каких-либо текстовых единиц (слов, предложений);

• модель – символы, схемы для описания языковых объектов (ПР: схема модели составляющих в синтаксисе),

• модель – формализованная теория структуры с фиксированным метаязыком (ПР: формальные грамматики).

ЯПЗ- Язык представления знаний

 В когнитологии он связан с тем, как люди хранят и обрабатывают информацию. В информатике — с подбором представления конкретных и обобщённых знаний, сведений и фактов для накопления и обработки информации в ЭВМ.

СУБД- Система управления базами данных

совокупность программных и лингвистических средств общего или специального назначения, обеспечивающих управление созданием и использованием баз данных.

Для всех ЯПЗ по сравнению с традиционными языками программирования характерна существенно большая «активность> данных, что приводит к стиранию граней между декларативной и процедурной компонентами. Кроме того, реальные объемы обрабатываемых данных требуют при реализации ЯПЗ использования концепции базы данных и методов, развитых при создании СУБД. И, наконец, как следствие первых двух обстоятельств, а также в силу существенного усложнения в ЯПЗ компоненты управления их реализация тяготеет больше к режиму интерпретации, чем к компиляции, характерной для реализации обычных языков программирования. В области разработки и реализации ЯПЗ можно выделить три круга проблем: определение входных языков СПЗ; выбор выходного языка соответствующего транслятора и собственно проблемы этапа трансляции.

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

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