In artificial intelligence, a symbolic approach was a dominant approach in the past. The idea is that there are well-defined discrete symbols and mechanisms to manipulate symbols. They were used to prove theorems in mathematics but were too abstract to generalise to the real-world.

Lisp was the main language used in the 20th century. Mechanisms included support vector machines.