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.

Scheme

Broader terms