The 1988 Laureates / Advanced Technology Category / Computer Science and Engineering, Artificial intelligence

“Fundamental Contribution to the Field of Artificial Intelligence and the Invention of LISP, a Programming Language”
Since the genesis of Artificial Intelligence (AI), he has challenged the basic problems of this field as a leader and is called "the Father of Artificial Intelligence." He has created LISP, a programming language for symbolic processing, considered to be the greatest invention this century in the field of computer science.

Abstract of the Commemorative lecture
The Logic and Philosophy of Artificial Intelligence

The lecture discusses the history and present status of logic based approaches to artificial intelligence. It emphasizes topics on which I have worked. These include the formalization of common sense knowledge and reasoning, the notion of epistemologically adequate formalism, the situation calculus and formalized nonmonotonic reasoning. The lecture will not go into these topics deeply, since we don't want to presume previous acquaintance with the topics.