AI seems the flavour of the month.
I am tired and it is late, but I work in AI and am a logician so here are some thoughts:
what about logic? do we have any good logicians here |
Logic will not do it, because logic (at least if you mean anything at least as strong as predicate logic, and you surely do) is non-constructive (no computer can solve it by brute force, and - ok somewhat controversially - we have no heuristics capables of putting logic to use as a realistic AI tool).
it makes more sense to program AI to follow the principles of biological intelligence more closely. |
Perhaps. The problems are:
1. We do not know very much about biological intelligence.
2. What we do know, or what at least the models that we use to model what we like to think we know, are very, very compex.
I think the biggest problem in developing an actual thinking AI would be trying to program common sense into a computer. As far as I see it, in order to make a computer think on its own it will have to learn. |
Learning is relatively easy. Learning in a way that is both tractable (can be computed) and robust (ie does not have an unreasonable failure rate with new cases) is the trick. And what a trick it has turned out to be! :(
And that gets to the center of the problem. We know how to create an AI, if only we had a computer that could process infinite amounts of information instantly. AI is ultimately about trying to find heuristics to compute problems that are too complex for any computer to ever be able to solve by brute force. (NB, 'ever' and 'any' are not exagerations). It should be pointed out that AI is now advancing rapidly. And it is an area that interested computer scientists could meaningfully contribute. But only with a large amount of math behind the belt. Read the text books first, then find people to work with.