- 2 -

     1 Так  называемая  "семантическая  грамматика" - это грамматика,  в

которой категории обозначают как  семантические,  так  и  синтаксические

понятия. Впервые она была разработана в начале 1970-х годов при создании

интерфейсов на естественном языке для программы-оболочки SOPHIE и  баз

данных LIFER и PLANES.  Ее продолжали использовать в различных коммер-

ческих и других приложениях,  таких как ROBOT (известный также  как  IN-

TELLECT),  PHRAN, XCALIBUR и CLOUT. Отличительная черта семантической

грамматики - тип кодируемой информации,  а не формализм для ее  предс-

тавления.  В семантических грамматиках использовались различные форма-

лизмы, включая расширенные сети перехода и расширенные грамматики не-

посредственных составляющих. В отличие от систем на естественном языке

в общем,  цель семантических грамматик -  описать  раздел  естественного

языка  для  свободного  взаимодействия пользователя с системой.  В таком

виде семантическая грамматика - прежде всего инструмент в  области  ин-

женерии  естественного  языка  (хотя некоторые исследователи предлагают

считать семантические грамматики психологической теорией языкового  по-

нимания).

     Пониманию семантических грамматик способствуют знания о  теориях

естественного  языка.  Цель этих теорий - объяснить закономерности языка.

Примером может служить трансформационная грамматика.  Синтаксическая

часть теории объясняет структурные закономерности языка,  например,  по-

рядок слов. Эти правила называются грамматикой.

     Пример пассивных отношений в английском языке:

     1 The boy hit the ball.

     2 The ball was hit by the boy.

     <Noun Phrase 1><Verb><Noun Phrase 2>:=

     <Noun Phrase 2><Auxiliary Verb><Verb>by<Noun Phrase 1>

     В семантических грамматиках выбор  категорий  базируется  на  семантике

знаний  о мире и сферах приложения,  а также на закономерностях языка.  Таким

образом, категории системы SOPHIE, разработанной для ответов на вопросы поль-

зователя об электрических цепях,  могут включать measurement, measurable quan-

tity, part наряду со стандартными категориями determiner, preposition. Напри-

мер, правило <Measurement>:=<Determiner><Measuable-Quantity><Preposition><Part>

применимо к следующим предложениям:

     The voltage across R9.

     The current through the voltage reference capacitor.

     The power dissipation of the current-limiting transistor.