代數邏輯

Question

Wolfram Alpha和Bing現在都提供了解決復雜的代數邏輯問題的能力（即“給定方程解x”），而不僅僅是評估簡單的算術表達式（例如“ 5 + 5是多少”）。 這是怎么做到的？

我能讀懂大多數類型的代碼，這些代碼可能對我不利，因此您用來解釋和表示算法的內容並沒有真正改變。 我發現bash制作了一個非常好的偽代碼，更不用說它的實際功能了 ，所以這是理想的選擇。 另外，我對它的輸入和輸出非常熟悉。 很抱歉在切線上亂七八糟，但是看到人們花一點點更多的精力就能獲得100％的功能時，我真的很煩惱，他們花了很多精力來處理“偽代碼”。 無論如何，非常感謝您的進步。

Answer 1

有兩種主要的解決方法：

1. 數值方法。 數值方法基本上意味着，求解器會嘗試更改x的值，直到滿足方程式為止。 有關數值方法的更多信息。

2. 符號數學。 求解器通過許多形式規則將方程作為一串符號處理。 它與我們在學校學習的代數沒有什么不同，求解器只知道許多不同的規則。 有關計算機代數的更多信息。

Answer 2

Wolfram | Alpha （W | A）基於Mathematica內核，結合了自然語言解析器（也主要由Mathematica構建）。 它們具有一整套策展數據和相關公式，可在問題解釋后使用。

有一篇博客文章描述了其中一些與W | A同時發布的情況。

最后， Bing只需使用 （非免費） API通過W | A回答問題。