代数逻辑

Question

Wolfram和Bing现在都提供了解决复杂的代数逻辑问题(即“求解x，给定这个方程”)的能力，而不仅仅是计算简单的算术表达式(例如“5+5是什么？”)。这是怎么做的？

我可以阅读大多数类型的代码，这些代码可能会抛到我身上，所以这并不能真正改变您用来解释和表示算法的内容。我发现bash做了一个非常好的伪代码，更不用说它的实际功能了，所以这将是理想的。而且，我对它的“进进出出”也相当熟悉。很抱歉对切线大声疾呼，但看到人们花费精力破解“伪码”却让我感到非常恼火，因为只要付出更多的努力，他们就能得到100%的功能。不管怎么说，谢谢你提前给我。

Answer 1

解决问题的方法主要有两种：

1. 数值方法。数值方法基本上意味着求解者试图改变x的值，直到方程满足为止。更多关于数值方法的信息。
2. 象征性的数学。通过一些形式规则，求解者将方程作为一串符号处理。这和我们在学校学的代数没什么区别，求解者只是知道很多不同的规则。更多关于计算机代数的信息。

Answer 2

沃尔夫拉姆·阿尔法 (W=A)是基于数学内核的，结合了一个自然语言解析器(它也主要是用Mathematica构建的)。它们有一堆经过管理的数据和相关的公式，一旦问题被解释，就可以使用它们。

有一个博客帖子描述了其中的一些在W_A的同时出现的。

最后，Bing简单地使用 (非免费的) API接口回答问题通过W\A。