Решатель — система, способная благодаря встроенной в нее общей стратегии нахождения решения (например, путем поиска в пространстве альтернатив или путем логического вывода) находить решения задач. Р. входит в качестве основного блока в интеллектуальные системы. Иногда этот блок называется полно: Решатель задач.
[Толковый словарь по искусственному интеллекту / Авторы-составители А.Н. Аверкин, М.Г. Гаазе-Рапопорт, Д.А. Поспелов. М.: Радио и связь, 1992. — 256 с.]
Решатель — используя исходные данные из рабочей памяти и знания из БЗ, формирует такую последовательность правил, которые, будучи примененными к исходным данным, приводят к решению задачи.
[Боровская Е. В. Основы искусственного интеллекта: учебное пособие / Е. В. Боровская, Н. А. Давыдова. 4-ое изд., электрон. М.: Лаборатория знаний, 2020. — 130 с.]
Решатель – программа, моделирующая ход рассуждений эксперта на основании знаний, имеющихся в БЗ. Синонимы:дедуктивная машина, машина вывода, блок логического вывода.
[Интеллектуальные информационные системы. История развития искусственного интеллекта. СГУ. (Электронный ресурс). Режим доступа: http:// studfile.net›preview /5997669/ page:6/, свободный]