bash - 代数論理

Question

Wolfram Alpha と Bing の両方が、単純な算術式 (たとえば、「5+5 は?」など) を評価するだけでなく、複雑な代数論理問題 (つまり、「この方程式が与えられたときに x を解く」) を解く機能を提供しています。これはどのように行われますか？

私は投げられる可能性のあるほとんどの種類のコードを読むことができるので、アルゴリズムの説明と表現に何を使用しても実際には違いはありません。実際に機能することは言うまでもなく、bashは本当に優れた擬似コードを作成することがわかったので、それは理想的です。また、私はそのインとアウトにかなり精通しています。余計なことを言って申し訳ありませんが、100% 機能するものをほんの少しの努力で手に入れることができるのに、人々が「疑似コード」の作成に労力を費やしているのを見ると、本当にいらいらします。とにかく、事前にどうもありがとう。

Answer 1

解決する主な方法は 2 つあります。

1. 数値メソッド。数値法とは、基本的に、方程式が満たされるまでソルバーが x の値を変更しようとすることを意味します。数値メソッドの詳細。

2. シンボリック数学。ソルバーは、多くの正式な規則に従って、方程式を一連の記号として操作します。私たちが学校で習う代数と大差ありません。ソルバーはさまざまなルールを知っているだけです。コンピューター代数の詳細。

Answer 2

Wolfram | Alpha （W | A）はMathematicaカーネルに基づいており、自然言語パーサー（これも主にMathematicaで構築されています）と組み合わされています。それらには、質問が解釈された後に使用できるキュレートされたデータと関連する数式のヒープ全体があります。

W|Aと同時に出てきたこのいくつかを説明するブログ投稿があります。

最後に、Bingは（無料ではない）APIを使用して、W|Aを介して質問に回答します。