LOGIC THEORIST

                                      Logic Theorist Artificial Intelligence or Automated Reasoning, how did it look like in the first place? It all started in 1955 when a program proved 38 out of 52 theorems in Whitehead and Russell’s Principia Mathematica using logic rules. It was the first-time world had witnessed Artificial Intelligence even before the term Artificial Intelligence was coined. Two Scientists Newell and Simon had worked together on this program. Simon was a political scientist and he recognized that machines that could manipulate symbols could similarly perform the human ability of logical reasoning and decision making. He worked with Newell who was a RAND scientist studying logistics and organization theory and printed the map of the program called LOGIC THEORIST. The working of Logic Theorist was based on the principal search tree. The root of the tree was the initial hypothesis, and the branches were deduced using logic rules. Somewhere in the tree lied th