This foundational approach, also known as GOFAI, focused on explicit knowledge representation and logical reasoning, exemplified by the 1956 Logic Theorist and the General Problem Solver programs by Newell and Simon.
Open the full topic