通过巧妙的替换进行机器数学推理，如何使用人工智能

Question

我有三个方程式，它们将五个变量{a，b，c，r，s}与一个和和两个比率相关联。

式1： a = b + c ;
等式2： s = b / a ;
等式3： r = b / c 。

给出五个变量中任何一个的两个值，我得到一个解决方案。但是，这不是我要解决的自动化问题。

我只需知道 s ，就可以得到变量 r 的解决方案。这可以通过以下“人工算法”解决。

  
1. 用等式 a 代替。等式1 2。
  
2. 划分新方程式的第二项。 2通过变量 c 。
  
3. 用等式替换 b / c 。 3。

这意味着 s = r /（r + 1）。

问题是-AI算法如何解决这个问题？也就是说，机器应该认识到，给定变量 r ，她可以直接获得变量 s 而无需需要另一个变量。