Работа посвящена созданию математического аппарата для поддержки диалога с пользователем на основе обобщения информации предложений текста. Разработана формальная теория первого порядка, предполагающая построение модели в ...