Алгебраическая логика - PullRequest
2 голосов
/ 14 июня 2009

И Wolfram Alpha, и Bing теперь предоставляют возможность решать сложные алгебраические логические задачи (то есть «решать для x, учитывая это уравнение»), а не просто оценивать простые арифметические выражения (например, «что такое 5 + 5?») , Как это сделать?

Я могу читать большинство типов кода, которые могут быть мне брошены, так что на самом деле не имеет значения, что вы используете для объяснения и представления алгоритма. Я считаю, что bash создает действительно хороший псевдокод, не говоря уже о его функционале , так что это было бы идеально. Кроме того, я довольно знаком с его входами и выходами. Извините, что ругаюсь по касательной, но меня действительно раздражает то, что люди тратят усилия на сокращение "псевдокода", когда они могут получить что-то на 100% функциональное за чуть больше усилий. В любом случае, большое спасибо за продвижение.

Ответы [ 2 ]

7 голосов
/ 14 июня 2009

Есть 2 основных способа решения:

  1. Численные методы. Численные методы означают, в основном, что решатель пытается изменить значение х, пока не будет выполнено уравнение. Подробнее о численных методах.

  2. Символическая математика. Решатель манипулирует уравнением в виде последовательности символов по ряду формальных правил. Это не сильно отличается от алгебры, которую мы изучаем в школе, решатель просто знает много разных правил. Подробнее о компьютерной алгебре.

0 голосов
/ 22 февраля 2011

Wolfram | Alpha (W | A) основан на ядре Mathematica , в сочетании с синтаксическим анализатором естественного языка (который также построен в основном с Mathematica). У них есть целая куча проверенных данных и связанная с ними формула, которую можно использовать после интерпретации вопроса.

Есть сообщение в блоге , описывающее некоторые из них, которые вышли одновременно с W | A.

Наконец, Bing просто использует (несвободный) API для ответа на вопросы через W | A.

...