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

Abstract

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