Аннотация:
В работе рассматриваются вопросы компьютерного моделирования процессов решения задач и автоматического создания приемов решателя. Излагается архитектура процесса перехода от теорем к приемам (алгоритмизации знаний), сложившаяся в процессе обработки многочисленных примеров. Создана компьютерная система, позволяющая решать задачи из различных разделов математики и способная пополнять свою базу приемов.
Полный текст:
PDF файл (353 kB)