Эта статья посвящена описанию разработки интеллектуального решателя задач прикладной справочной системы по геометрии. Описана технология проектирования интеллектуальных решателей задач и текущее состояние решателя задач системы по геометрии. Ключевые слова: логический вывод; интеллектуальный решатель задач; интеллектуальная справочная система.
