Symbolic AI and early programs
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.
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.
Claims and evidence
Claim ledger, 2Early 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.