?
Компактная формализация входных и промежуточных данных алгоритмов семантического анализа предписаний
Предлагаются новые формальные средства для разработки алгоритмов семантического анализа (парсинга) естественно-языковых предписаний. В качестве методологической основы исследования выбрана теория К-представлений (концептуальных представлений)– единственная сегодня теория, удобная для построения семантических представлений (СП) произвольно сложных предписаний. Изложены следующие теоретические результаты: (а) построена новая формальная модель лингвистической базы данных (ЛБД), эта модель значительно более компактна по сравнению с двумя моделями ЛБД, рассматриваемыми теорией К-представлений (ТКП); (б) предложена новая формализация понятия “семантико-синтаксическая структура предписания”. Предложенные формальные средства были использованы в проектировании практически полезного естественно-языкового интерфейса файлового менеджера.