Рассмотрены пути реализации системы автоматического распознавания речи с использованием экспертной системы (ЭС), позволяющей проводить рассуждения в рамках естественного языка.

Розглянуто найчастіше вживані моделі формальних мов. Описана традиційна синтаксична модель, яка задає правила формування та розпізнання мовних виразів, а також ряд семантичних моделей, що застосовуються для аналізу смислової коректності мовних виразів, порівняння їх між собою, формальної верифікації програмного коду. Перелічено особливості та межі застосування існуючих та перспективні напрямки розробки нових мовних моделей.

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

A review of the most frequently used formal language models is given. The traditional syntactic model is described. It specifies rules of phrases generation and recognition. Some semantic models are also given. They are useful for the analysis of sentence's semantic correctness, their comparison, formal verification of software code, etc. Peculiar properties and limits of existing models are described as well as advanced research tends of formal language theory. Статья содержит обзор наиболее часто используемых моделей формальных языков. Описана традиционная синтаксическая модель, которая задает правила формирования и распознавания фраз языка...

Розглянуто використання формальних граматик в проектуванні програмних засобів. Запропоновано підхід до представлення результатів проектування у вигляді плекс-граматик та автоматичного генерування коду з використанням знань та логічного виводу, а також алгоритм для автоматичного виводу нейпу плекс-грамматики із нейпів більш низького рівня.

Рассмотрено использование формальных грамматик в проектировании программных продуктов. Предложен подход к представлению результатов проектирования в виде плекс-грамматик и автоматической генерации кода с применением знаний и логического вывода, а также алгоритм для автоматического вывода нейпа плекс-грамматики из нейпов более низкого уровня.

The use of formal grammars in the developing of program products is examined in the work. Approach to the idea of the results of design in the form of plexus-grammars and automatic generation of the code is proposed. Algorithm for the automatic conclusion of plexus-grammar neip from lower level neips is proposed.

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

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

Предложен метод анализа словосочетаний естественного языка, основанный на формальной грамматике и лингвистической базе знаний, представленной семантическим словарем и онтологией семантических примитивов.

Індекс рубрикатора НБУВ: З970.620 + Ш141.12-221 с51

Рубрики:

Системи оброблення текстової інформації

Російська мова

Шифр НБУВ: Ж70474 Пошук видання у каталогах НБУВ