John McCarthy

The goal of time-sharing is to give each user the illusion of having a dedicated computer.

A program with common sense should be able to deduce that if you go to the airport, you are likely to be at the airport.

The distinction between procedural and declarative knowledge is fundamental.

The idea of proving programs correct is attractive but difficult.

AI is the part of computer science concerned with designing intelligent computer systems.

The frame problem is the problem of representing the effects of action in logic.

The development of full artificial intelligence could spell the end of the human race.

The problem of heuristic search is central to artificial intelligence.

A computer program can be said to learn from experience E with respect to some class of tasks T and performance measure P.

The concept of 'belief' is too vague for scientific use.

The power of LISP comes from its simplicity and uniformity.

The attempt to formalize common sense is the major challenge of AI.