Wolfram|Alpha Is Coming
blog.wolfram.com
blog.wolfram.com
"But with a mixture of Mathematica and NKS automation, and a lot of human experts, I’m happy to say that we’ve gotten a very long way.... But I’m happy to say that with a mixture of many clever algorithms and heuristics, lots of linguistic discovery and linguistic curation, and what probably amount to some serious theoretical breakthroughs, we’re actually managing to make it work."
(Ellipses covers several paragraphs in this case.)
The big stopper in some sense has not been the cleverness, but the brute force necessary, because without the brute force collection and translation, there's nothing to be clever with. I, too, am "wait and see", but this could be valuable.
"But if one’s already made knowledge computable, one doesn’t need to do that kind of natural language understanding. All one needs to be able to do is to take questions people ask in natural language, and represent them in a precise form that fits into the computations one can do."
The nlp involved is quite different from the mainstream direction.
edit:
found out this little gem - Sergey Brin, before google, was an intern at Wolfram
source: http://mathworld.wolfram.com/news/2004-10-13/google/
and a letter from feynman to wolfram (only res I could find) http://bp3.blogger.com/_6pUR-THE-y4/Rh0pW_ZhckI/AAAAAAAAACI/...
Google Techtalk by Dr. Lenat http://video.google.de/videoplay?docid=-7704388615049492068
Estimating the ego of Wolfram and Lenat, it would take somewhere on the order of 10^9 ambitious geniuses for the net force of ambition to overcome the local force of ego.
"But what about all the actual knowledge that we as humans have accumulated? A lot of it is now on the web—in billions of pages of text. And with search engines, we can very efficiently search for specific terms and phrases in that text. But we can’t compute from that. And in effect, we can only answer questions that have been literally asked before. We can look things up, but we can’t figure anything new out. So how can we deal with that? Well, some people have thought the way forward must be to somehow automatically understand the natural language that exists on the web. Perhaps getting the web semantically tagged to make that easier. But armed with Mathematica and NKS I realized there’s another way: explicitly implement methods and models, as algorithms, and explicitly curate all data so that it is immediately computable."
(eg, the crucial formula is algorithms to compute further information from curated, trusted data)
(google has pretty much admitted it does a horrible job with structured information...)
http://en.wikipedia.org/wiki/A_New_Kind_of_Science#Methodolo...
Yes it does. Quite a lot of them, especially w.r.t. symbolic equation-solving and integration. They're notoriously protective of their trade secrets.
1) http://www.cscs.umich.edu/~crshalizi/reviews/wolfram/
2) http://groups.google.com/group/sci.math/msg/37f51351f5340e58...