Describir: Математическое обеспечение диалоговых информационных систем