As of 2026-11-04
Early AI research emphasized general problem-solving methods, with theorem proving by resolution as the paradigm case. This tradition placed symbols at the root of intelligent action, and weaknesses in neural approaches have prompted calls for hybrid neuro-symbolic models.
Revision snapshot
Overview. Early AI research emphasized general problem-solving methods, with theorem proving by resolution as the paradigm case.
Context. This tradition placed symbols at the root of intelligent action, and weaknesses in neural approaches have prompted calls for hybrid neuro-symbolic models.