Рассматриваются компьютерные интерактивные системы обучения предметам естественно- научного цикла, включающие автоматические решатели задач по этим предметам, а также соотносящие шаги найденных ими решений с шагами решения обучаемого для проверки его решения на завершенность и правильность. Используемые в автоматических решателях средства логического вывода и методы теории принятия решений применяются также для автоматического планирования действий системы в ответ на действия обучаемого. В качестве систем такого типа рассмотрены программные продукты, в основе которых лежат когнитивные архитектуры и/или автоматическое доказательство теорем. В их числе – интеллектуальная обучающая система «Волга»