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

Abstract

Рассматривается задача поддержки трех ограниченных типов диалога с помощью прикладной теории первого порядка. Использование введенного понятия терма в ассоциативной нормальной форме позволяет доказать 3 полезные теоремы. Лингвистическую интерпретацию полученных результатов обеспечивает модель формальной теории в виде коммутативной полугруппы образных конструкций. Приведенные примеры демонстрируют интуитивную понятность построения вопросов и ответов к естественно-языковым предложениям на русском и английском языках.The problem of support of three limited types of dialogue on the basis of the applied theory of the first order is considered. Use of the entered concept of a term in the associative normal form allows to prove 3 useful theorems. Linguistic interpretation of the received results is provided by model of the formal theory in the form of commutative semigroup of image constructions. The given examples show intuitive clearness of creation of questions and answers to natural language sentences in Russian and English languages