У меня есть три уравнения, которые связывают пять переменных {a, b, c, r, s} с суммой и двумя соотношениями.
Уравнение.1: a = b + c ;
ур.2: s = b / a ;
Уравн.3: r = b / c .
Учитывая два значения для любой из пяти переменных, я получаю решение.Но это не проблема автоматизации, которую я хочу решить.
Я могу получить решение переменной r , просто зная s .Это решается "человеческим алгоритмом" следующим образом.
- Заменить a уравнения.1 в формуле2.
- Разделите второй член нового уравнения.2 переменной c .
- Заменить b / c выражением уравнения.3.
Это означает, что s = r / (r + 1) .
Вопрос в том, как алгоритм ИИ может решить эту проблему?машина должна признать, что с учетом переменной r она может получить непосредственно переменную s и не требовать другой переменной.