KI-Komponente, die aus einer Wissensbasis durch logische Schlussfolgerung neue Fakten ableitet – Kernstück von Expertensystemen.