I would argue that the hard problem is not "reasoning" (taking absolute truths and deriving other truths); but rather dealing with noise.
The former problem -- logic -- ended up giving us the AI winter, and it's the later (with machine learning) that is driving Google and modern robotics.
If this is just Mathematica + Prolog + A giant hand tuned database, I think it'll be a disappointment. (Look at the Cyc project -- led by a former Stanford professor, lots of funding, supposed to revolutionize human knowledge -- where is it now?)
The former problem -- logic -- ended up giving us the AI winter, and it's the later (with machine learning) that is driving Google and modern robotics.
If this is just Mathematica + Prolog + A giant hand tuned database, I think it'll be a disappointment. (Look at the Cyc project -- led by a former Stanford professor, lots of funding, supposed to revolutionize human knowledge -- where is it now?)