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