> "I feel that when it comes to making AI, a better definition is something along the lines of "intelligence is the ability to make good choices when faced with a decision"."What defines a good choice? What defines a bad choice? Saying "A true machine intelligence is one that makes good decisions" is a tautology -- it doesn't define anything. Rather, it just reframes one vague question into another.
Intelligence is notoriously difficult to describe, so don't feel bad about it if you keep thinking of circular definitions. It's a tricky topic.
Also, IMO there's a big problem with rational agents: In order to be actually useful/implementable, they must be defined in a specific logical framework. You can define a rational agent in a vague sense without any specific domain, but doing so does not solve any problems -- it again just results in tautology. But the problem with choosing a logical framework is shown by Godel's famous theorem. Simply put, any such agent in a well-defined domain will be confined to that domain of reasoning. To me, a machine that excels in some area of planning but can never think outside the box, is not intelligent on the same level as humans.
Anyone advocating rational agent AI as true machine intelligence IMO will need to either find a flaw and disprove Godel's incompleteness theorem, or provide some system of logic that encapsulates all human reasoning (absurdly impossible IMO).
On the other hand, I personally think true machine intelligence will be solved much more "organically", far separated from formal logic and more related to fuzzy pattern matching than rigid formal optimization. I really like this definition of intelligence:
http://lesswrong.com/lw/vb/efficient_crossdomain_optimizatio...
Though I wouldn't claim it's the ultimate one, as it's still a bit vague. I think the key lies in what he describes as "cross domain" -- what is colloquially called "thinking outside the box", because this is the only thing humans seem extremely good at that every computer AI to date has failed at.
Humans are capable of transcending formal logical systems and finding new truths that are unprovable from the original formal system. How is this possible? Godel proved that a formal system cannot ever determine this by itself, from axioms, without being inconsistent.
IMO a true machine intelligence will also need to be capable of this formal-system-transcending property (which you can also call "cross domain thinking", or "thinking outside the box", or "creativity", or whatever).