Die Darstellung von Wissen über eine Domäne in einer formalen, logischen Sprache (z.B. Prädikatenlogik, Beschreibungslogik), die es KI-Systemen ermöglicht, dieses Wissen zu speichern, darauf zuzugreifen, es zu manipulieren und daraus durch logische Schlussfolgerungen (Inferenz) neues Wissen abzuleiten. Dies ist ein Kernkonzept der symbolischen KI.