代数逻辑

Question

Wolfram Alpha和Bing现在都提供了解决复杂的代数逻辑问题的能力（即“求解x，给定这个等式”），而不只是评估简单的算术表达式（例如“什么是5 + 5？”） 。这是怎么做到的？

我可以阅读大多数可能会被我抛出的代码，因此用于解释和表示算法并没有什么区别。我发现bash是一个非常好的伪代码，更不用说它实际上是功能，所以这是理想的。而且，我对它的内外相当熟悉。很抱歉在切线上咆哮，但是当看到人们花费精力去处理“伪代码”时他们真的很烦恼，因为他们可以获得100％的功能而只需稍微努力。无论如何，非常感谢你的进步。

Answer 1

有两种主要方法需要解决：

1. 数字方法。数值方法基本上意味着求解器试图改变x的值直到满足等式。 More info on numerical methods.

2. 符号数学。求解器通过许多正式规则将方程式操作为一串符号。它与我们在学校学到的代数没有什么不同，求解者只知道很多不同的规则。 More info on computer algebra.

Answer 2

Wolfram|Alpha（W | A）基于Mathematica内核，结合自然语言解析器（也主要使用Mathematica构建）。他们有一大堆策划数据和相关公式，一旦解释了问题就可以使用。

有一个blog post描述了与W | A同时出现的一些内容。

最后，Bing simply uses（非免费）API通过W | A回答问题。