Декларативное знание — это knowledge, представленное как explicit facts, rules, propositions или theorems. В системах ИИ оно поддерживает reasoning, делая domain information доступной в форме, которую можно query, infer from или combine with other knowledge.