Symbolic AI (também "Good Old-Fashioned AI", GOFAI, termo cunhado por John Haugeland) dominou a IA de 1956 até os anos 1990. Constrói inteligência via lógica formal, sistemas de produção, frames e busca em árvore. Sucessos: prova de teoremas, sistemas especialistas (MYCIN, XCON). Limitações: brittleness, knowledge acquisition bottleneck. Substituído gradualmente por abordagens estatísticas e neurais.

Tags: gofai · symbolic · rule-based · ai-history