Ein Ansatz zur Entwicklung von KI-Systemen, der auf formaler Logik, explizit repräsentiertem Wissen (z.B. in Wissensgraphen oder Ontologien) und symbolischen Regeln basiert. Beispiele hierfür sind Expertensysteme. Dieser Ansatz steht im Gegensatz zu rein datengetriebenen Ansätzen wie dem tiefen maschinellen Lernen, kann aber auch mit diesen kombiniert werden. Die Definition des KI-Begriffs in der EU-KI-Verordnung schließt solche Ansätze mit ein.