One of the two main branches of AI, also called classic AI. It involves explicit encoding of knowledge using predefined, human-crafted rules and logic that mimics human reasoning. Early efforts like Logic Theorist and General Problem Solver used this approach.