Дмитрий Александрович Поспелов: Моделирование рассуждений. Опыт анализа мыслительных актов