Re: Wolfram Alpha

On 11 Mar 2009, at 06:34, John F. Sowa wrote:

> 3. They have built mathematical/logical models (i.e., ontology
>    plus a reasoning or computational method) for using the
>    resources in #1 to answer questions of the types in #2.

It can be understood that the Mathematica theorem prover is not  
connected in the current version of Wolfram|Alpha. Anyway, even when  
it will be connected, we are talking here about equational reasoning  
over real numbers, not really KR stuff.

--e.

---------------------------------------------------------------------
To unsubscribe, e-mail: cg-unsubscribe@...
For additional commands, e-mail: cg-help@...