Symbolism

SymbolismIt is a school of thought in the field of artificial intelligence that firmly believes in mathematical logic.

Mathematical logic developed rapidly from the end of the 19th century and began to be used to describe intelligent behavior in the 1930s. After the emergence of computers, logical deduction systems were implemented on computers.

Its representative achievements are heuristic programs, LT logic theorists, who proved 38 mathematical theorems, showing that computers can be used to study human thinking and simulate human intelligent activities. It was these symbolists who first used the term "artificial intelligence" as early as 1956.

Later, heuristic algorithms -> expert systems -> knowledge engineering theory and technology were developed, and made great progress in the 1980s.

Symbolism has long been a dominant force and has made important contributions to the development of artificial intelligence, especially the successful development and application of expert systems, which are of particular significance for the engineering application of artificial intelligence and the realization of the connection between theory and practice.

After the emergence of other schools of artificial intelligence, symbolism is still the mainstream school of artificial intelligence. Representatives of this school include Newell, Simon and Nilsson.