Term tag: expert systems
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.
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.