бази знань, (БЗ), базы знаний, (БЗ), knowledge bases ; лексична семантика, лексическая семантика ; машинний переклад, машинный перевод ; предикати, предикаты ; природна мова, естественный язык ; семантичні словники, семантические словари ; системи штучного інтелекту, СШІ, системы искусственного интеллекта, СИИ ; формальні граматики, формальные грамматики ; формальна семантика, формальная семантика

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

• УДК // Прикладні системи штучного інтелекту. Інтелектуальні системи, основані на знаннях
• УДК // Програмні семантики