>> To develop and deploy Universal Intelligent System in this decade will require considerable development beyond classical mathematical logic.

I don't disagree and I don't think that mathematical logic is the (only?) way to develop human-like artificial intelligence. Mathematical logic is the branch of mathematics that preoccupies itself with the proof of statements in a formal language. The ability to prove formal statements is probably something that is very useful to have, for any intelligent entity, but whether this ability is useful to create such an intelligent entity is another matter.

But I think we're all so far away from having a clue what an "artificially intelligent" entity might look like, or what "machine intelligence" might be like, that any predication about what may be needed to achieve it and how to come about it, is futile. We'll never know because we'll all be long dead by the time anyone creates a computer that can think like a human. Let alone one that can think better than a human.