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