SymbolismeIl s’agit d’une école de pensée dans le domaine de l’intelligence artificielle qui croit fermement en la logique mathématique.

La logique mathématique s’est développée rapidement à partir de la fin du XIXe siècle et a commencé à être utilisée pour décrire le comportement intelligent dans les années 1930. Après l’apparition des ordinateurs, des systèmes de déduction logique ont été mis en œuvre sur les ordinateurs.

Ses réalisations représentatives sont le programme heuristique LT Logic Theorist, qui a prouvé 38 théorèmes mathématiques et démontré que les ordinateurs peuvent être utilisés pour étudier la pensée humaine et simuler les activités intelligentes humaines. Ce sont ces symbolistes qui ont été les premiers à utiliser le terme « intelligence artificielle » dès 1956.

Plus tard, des algorithmes heuristiques -> systèmes experts -> théorie et technologie de l'ingénierie des connaissances ont été développés et ont fait de grands progrès dans les années 1980.

Le symbolisme est depuis longtemps une force dominante et a apporté d’importantes contributions au développement de l’intelligence artificielle, en particulier au développement et à l’application réussis de systèmes experts, qui sont d’une importance particulière pour l’application technique de l’intelligence artificielle et la réalisation du lien entre la théorie et la pratique.

Après l’émergence d’autres écoles d’intelligence artificielle, le symbolisme reste l’école dominante de l’intelligence artificielle. Les figures représentatives de cette école sont Newell, Simon et Nilsson.