General problem solving, Search and control strategies, Exhaustive searches,
Heuristic search techniques, Constraint satisfaction problems (CSPs) and
models, Knowledge representation, KR using predicate logic, KR using rules,
Reasoning System, Symbolic reasoning, statistical reasoning, Learning Systems,
Expert Systems, Knowledge base, Inference engine, Expert system shells,
Explanation, Natural Language Processing.