Klíčovou složkou procesu znalostního inženýrství je inferenční procedura, někdy označovaná jako únos. Po dokončení veškerého předběžného shromažďování informací a modelování jsou dotazy předány inferenční proceduře, aby získala odpovědi. V tomto kroku necháme inferenční proceduru pracovat na axiomech a faktech specifických pro daný problém, abychom odvodili informace, které nás zajímají.
Během tohoto procesu se únos používá k vyhledávání předpokladů, které v kombinaci s teorií mohou dosáhnout nějakého požadovaného cíle systému, aniž by odporovaly známým faktům. Vyhledáváním dalších a dalších předpokladů vznikají světy s konzistentními (neodporujícími) znalostmi.
Pro formální popis únosu přejděte k odůvodnění únosu.