zlacker

>>fogus+(OP)
Before you try to encapsulate common sense in a collection of obvious facts, you might want to start with a simpler task: Collect a database of elementary-school math problems and their associated answers until the database is so large that it coalesces into a fully functioning CPU.

If this seems like a bad idea, it's because it is.

>>goodsi+42
Your argument has a fundamental flaw; the information content of a large set of elementary math problems is minimal, the information content of obvious facts is much, much higher. A few hundred bytes in any decent programming language can generate the first on demand in a fraction of a second, if you can do that for the second set you deserve every accolade you will receive. It is not at all obvious that any property of the first will apply to the second.

I think Cyc is a joke, too, but your argument doesn't hold.