1956 computer program written by Allen Newell, Herbert A. Simon and Cliff Shaw
Logic Theorist is a computer program written in 1956 by Allen Newell, Herbert A. Simon, and Cliff Shaw.[1] It was the first program deliberately engineered to perform automated reasoning, and has been described as "the first artificial intelligence program".[1][a] Logic Theorist proved 38 of the first 52 theorems in chapter two of Whitehead and Bertrand Russell's Principia Mathematica, and found new and shorter proofs for some of them.[3]
^ ab
McCorduck 2004, pp. 123–125, Crevier 1993, pp. 44–46 and Russell & Norvig 2021, p. 17
^Crevier 1993, p. 44.
^McCorduck 2004, p. 167.
Cite error: There are <ref group=lower-alpha> tags or {{efn}} templates on this page, but the references will not show without a {{reflist|group=lower-alpha}} template or {{notelist}} template (see the help page).
LogicTheorist is a computer program written in 1956 by Allen Newell, Herbert A. Simon, and Cliff Shaw. It was the first program deliberately engineered...
Allen Newell and (future Nobel Laureate) Herbert A. Simon created the "LogicTheorist" (with help from J. C. Shaw). The program would eventually prove 38...
computers. LogicTheorist validated the theoretical work of Bertrand Russell and Alfred North Whitehead in their influential work on mathematical logic called...
Processing Language (1956) and two of the earliest AI programs, the LogicTheorist (1956) and the General Problem Solver (1957) (with Herbert A. Simon)...
Logic is the study of correct reasoning. It includes both formal and informal logic. Formal logic is the science of deductively valid inferences or logical...
work as a universal problem solver machine. In contrast to the former LogicTheorist project, the GPS works with means–ends analysis. Any problem that can...
in terms of symbolic logic. Principia Mathematica was initially published in three volumes in 1910, 1912 and 1913. LogicTheorist (LT) was the first ever...
numbers is even". More ambitious was the LogicTheorist in 1956, a deduction system for the propositional logic of the Principia Mathematica, developed...
communicate with each other in order to tune their equalization settings LogicTheorist, a computer program written in 1955–56 to prove mathematical theorems;...
field.[citation needed] An early boom, with early successes such as the LogicTheorist and Samuel's Checkers Playing Program, led to unrealistic expectations...
evidence was the performance of programs he had co-written, such as LogicTheorist and the General Problem Solver, and his psychological research on human...
He is a coauthor of the first artificial intelligence program, the LogicTheorist, and was one of the developers of General Problem Solver (universal...
systems like modal logic. But other theorists draw the distinction between the philosophy of logic and philosophical logic differently or not at all. Metalogic...
abandoned in the late 1950s. Following the success of programs such as the LogicTheorist and the General Problem Solver, algorithms for manipulating symbols...
the parents of [the] artificial intelligence [field]," for writing LogicTheorist, a program that proved theorems from Principia Mathematica automatically...
the parents of [the] artificial intelligence [field]", for writing LogicTheorist, a program which proved theorems from Principia Mathematica automatically...
Computational theorist Leslie Valiant uses the term ecorithms to describe how many less exact systems and techniques like fuzzy logic (and "less robust" logic) can...
software programs were created at Carnegie Mellon. These include the LogicTheorist, General Problem Solver, and Soar. Autonomous vehicle – Navlab, the...
program for the IBM 701, Daniel Bobrow's STUDENT, Newell and Simon's LogicTheorist and Terry Winograd's SHRDLU. Russell and Norvig write: "in almost all...
having completed the first program that could do formal reasoning (the LogicTheorist), claimed that they had "solved the venerable mind–body problem, explaining...
would find convincing. The main discipline studying logical reasoning is logic. Distinct types of logical reasoning differ from each other concerning the...
explicitly stated. Deductive reasoning is studied in logic, psychology, and the cognitive sciences. Some theorists emphasize in their definition the difference...
conception. For this reason, some theorists like Georg Brun identify a pure branch of logic and contrast it with applied logic, which includes the problem of...
original on 30 November 2006. Retrieved 24 July 2007. Zadeh, Lotfi A., "Fuzzy Logic, Neural Networks, and Soft Computing," Communications of the ACM, March...
ACM. 20 (9): 625–633. doi:10.1145/359810.359816. Scott, D. S. (1977). "Logic and programming languages". Communications of the ACM. 20 (9): 634–641....
early artificial intelligence programs, also by the same authors: the LogicTheorist (1956), the General Problem Solver (1957), and their computer chess...
systems like modal logic. Some theorists conceive philosophical logic in a wider sense as the study of the scope and nature of logic in general. In this...
Malcom McLean. 1956: The hard disk drive is invented by IBM. 1956: The LogicTheorist computer program, the first "artificial intelligence program", was written...
capable of creating logical proofs and theorems. Their program, The LogicTheorist exhibited complex symbol manipulation and even generation of new information...