The science of artificial intelligence is a program to accomplish the Socratic injunction, "Know Thyself." The late John McCarthy, Ph.D., invented LISP, the major language today used for artificial intelligence. Here he discusses the history of artificial intelligence and the future role which non-monotonic reasoning will play in enabling computers to simulate the human mind.