Der Prozess des logischen Schlussfolgerns, bei dem aus gegebenen Prämissen (Annahmen, Fakten, Wissen) neue, gültige Schlussfolgerungen abgeleitet werden. Dies ist ein Kernkonzept in der Logik-basierten KI und bei Expertensystemen.