| Human Cognition |
Article Index for Human |
Website Links For Human |
Information AboutHuman Cognition |
| CATEGORIES ABOUT HUMAN COGNITION | |
| cognitive science | |
| cognition | |
|
BACKGROUND AND HISTORY One could argue that human cognition began with the mathematical musings of the ancient world that attempted to mathematically codify Logic . Modus Ponens is a simple statement from that era that says, "If A implies B (written as: A → B) is known to be a true statement, and you also know that A is true, then you can conlcude that B is true." Successive application of the modus ponens principle can yield logical "reasonable" conclusions that may not be as apparent to the casual observer. For example, given the set of the following four statements: C → D, B → C, D → E, and A → B, and also given that you know that A is true, one can conclude that E is true. Is that as easily apparent as seeing that B is true? Modus ponens is the basis of the human cognition model that elicits the human-like deductive reasoning in modern rule-based expert systems. The English mathematician, Alan Turing , gave us the Turing Theorem , which is the theoretical basis for John Von Neumann 's Von Neumann Machine which, in turn, became the theoretical basis of the modern digital Computer . The Turing Theorem is the statement and proof that shows that all problems that can be solved, can be solved by first building a theoretical state-space of all possible state transitions and then traversing this state space until the problem solution is found. Turing was personally interested in creating a machine that could reason like a human, and his theorem was a significant contribution toward that end. We now know that human brains are not very similar at all to modern digital computers, but Turing's and Von Neumann's work gave us the tools to get started in building computer models of human cognition. SEE ALSO |
|
|