Knowledge representation and reasoning
The branch of artificial intelligence concerned with encoding information about the world in a form a computer can use to draw conclusions.
Covers the branch of AI concerned with encoding knowledge so that a computer can draw conclusions from it. Systems built on such a knowledge store are Knowledge-based systems; the rule-based approach as a whole is Symbolic AI.