Declarative knowledge is knowledge represented as explicit facts, rules, propositions, or theorems. In AI systems, it supports reasoning by making domain information available in a form that can be queried, inferred from, or combined with other knowledge.