Term tag: symbolic AI

General Problem Solver (GPS)

The 1957 Newell-Shaw-Simon program that solved problems by means-ends analysis, and the b^d arithmetic that stopped it from scaling past puzzles.

Knowledge Representation

How you encode what a system knows fixes which conclusions are cheap, which are exponential and which are impossible. The expressiveness-tractability trade-off.

Ontologies

An ontology is a formal, machine-readable model of a domain — classes, properties and logical axioms a computer can reason over, not just a taxonomy of labels.

Symbolic AI

Symbolic AI (GOFAI) builds intelligence from human-written symbols and logic rules rather than learned data - the paradigm behind expert systems like MYCIN.