Automatic Reasoning, Algebraic Intelligence
What is really happening when a machine does something that seems to be intelligent? If it recognizes a spoken word, proves a theorem, plays a good chess game, or solves a problem in calculus, then does it have some idea of what is going on? Of course not. Machine intelligence is fundamentally different from human intelligence. It is an illusion based on algebraic links between syntax and semantics. The semantics of a language represents meaning in terms of an object world. When a machine’s behavior seems intelligent, it is because it is semantically appropriate. However, the machine is simply a symbol shuffler—its abilities are limited to syntactic processing. Algebraic systems which provide strong formal connections between their semantics and their syntax make it possible for a symbol shuffling machine to appear to understand what it is doing.
KeywordsPropositional Logic Theorem Prove Truth Table Predicate Logic Automatic Reasoning
Unable to display preview. Download preview PDF.