17.1 Введение

Этот решатель позволяет решать задачи на составление простейших уравнений с одним неизвестным (линейных и квадратных). База знаний для данного решателя состоит из совокупности формул. Например, для класса задач "на встречу" можно записать следующие формулы:

S = S1 + S2; S = t * V ;
S1 = t1 * V1;
S2 = t2 * V2;
V1 = S1/t1;
V2 = S2/t2;
V = S/t;
t = S/V ;
t1 = S1/V1;
t2 = S2/V2;
t1 = t2;
V1 = V2 + K1;
S1 = S2 + K2;
t = t1 + t2,
где S - путь между пунктами;
S1 - путь первого "путника";
S2 - путь второго "путника";
V - средняя скорость движения;
V1 - скорость первого "путника";
V2 - скорость второго "путника";
t - общее время движения;
t1 - время движения первого "путника";
t2 - время движения второго "путника";
K1,K2 - некоторые константы.

Тогда задача может быть формально поставлена следующим образом: известны некоторые переменные (например, S, t, K2); необходимо найти другие переменные (V1, V2).

Поиск решения задачи разбивается на два этапа: составление уравнения и решение уравнения стандартными методами. Рассмотрим подробнее этап составления уравнения.