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