Questions about GOFAI

Short answers, pulled from the story.

Who introduced the phrase good old-fashioned artificial intelligence in 1985?

John Haugeland introduced the phrase good old-fashioned artificial intelligence in 1985. He published it inside his book titled Artificial Intelligence: The Very Idea.

What did Herbert A. Simon prove with Logic Theorist and General Problem Solver in 1963?

Herbert A. Simon proved that high-level thought was just rule-based processing using programs called Logic Theorist and General Problem Solver. These early tools demonstrated logical deduction and algebraic reasoning to support his physical symbol systems hypothesis from 1963.

Why did continental philosophers reject symbolic AI theories in the 20th century?

Continental philosophers rejected symbolic AI because they argued that intuition and culture mattered more than pure logic. Nietzsche, Husserl, and Heidegger claimed that human abilities come from instinctive feelings rather than logical steps.

When did Hubert Dreyfus begin criticizing the sufficiency of symbol manipulation for general intelligence?

Hubert Dreyfus began criticizing the sufficiency of symbol manipulation after John Haugeland coined the term in 1985. He joined Haugeland in challenging the assertion that rules alone could create general intelligence alongside other continental philosophers.

How does modern neuro-symbolic AI combine neural networks with symbolic logic today?

Modern neuro-symbolic AI combines neural networks with symbolic logic to capture both pattern recognition and logical deduction. This hybrid approach aims to preserve the clarity of symbols while embracing the flexibility of connectionism to handle uncertainty better than fixed logical statements.