SymbolismusEs handelt sich um eine Denkschule im Bereich der künstlichen Intelligenz, die fest an die mathematische Logik glaubt.

Die mathematische Logik entwickelte sich ab dem Ende des 19. Jahrhunderts rasant und wurde in den 1930er Jahren erstmals zur Beschreibung intelligenten Verhaltens eingesetzt. Nach dem Aufkommen von Computern wurden logische Deduktionssysteme auf Computern implementiert.

Zu seinen repräsentativsten Errungenschaften zählt das heuristische Programm LT Logic Theorist, das 38 mathematische Theoreme bewies und demonstrierte, dass Computer zum Studium des menschlichen Denkens und zur Simulation intelligenter menschlicher Aktivitäten eingesetzt werden können. Es waren diese Symbolisten, die bereits 1956 erstmals den Begriff „künstliche Intelligenz“ verwendeten.

Später wurden heuristische Algorithmen -> Expertensysteme -> Theorie und Technologie des Wissens-Engineering entwickelt und machten in den 1980er Jahren große Fortschritte.

Der Symbolismus ist seit langem eine dominierende Kraft und hat wichtige Beiträge zur Entwicklung der künstlichen Intelligenz geleistet, insbesondere zur erfolgreichen Entwicklung und Anwendung von Expertensystemen, die für die technische Anwendung der künstlichen Intelligenz und die Realisierung der Verbindung zwischen Theorie und Praxis von besonderer Bedeutung sind.

Nach dem Aufkommen anderer Schulen der künstlichen Intelligenz bleibt der Symbolismus die vorherrschende Schule der künstlichen Intelligenz. Zu den repräsentativen Persönlichkeiten dieser Schule zählen Newell, Simon und Nilsson.