What is Reasoning AI?

Symbolic AI

The first AI application ever was the Logic Theorist, introduced in 1956. It was designed by Allen Newell and Herbert A. Simon, in an attempt to mimic human reasoning. Newell and Simon didn’t know how to write a computer program, as they were social scientists. So they asked computer scientist Cliff Shaw to do the coding job. Fun fact: the three of them first had to design a programming language (IPL, a forerunner of LISP), before Shaw could actually use it to write the program.