L’intelligence artificielle symbolique correspond aux techniques d'IA basées sur des représentations « symboliques » (lisibles par l’homme) de haut niveau.

L’algoritheme Rete est un algorithme de filtrage de formes pour la mise en œuvre de systèmes basés sur des règles.

Un langage formel se compose de mots dont les lettres sont tirées d'un alphabet et sont bien formés selon un ensemble de règles spécifiques.