Декларативные – описания фактов, явлений (типа «А это Б»); это знания, представленные в виде структур данных (таблиц, списков, абстрактных типов данных).
Процедурные – к ним относятся сведения о способах оперирования или преобразования декларативных знаний.