Rövid szöveges bemutatás:
Az automatizált következtetés (automated reasoning) azt foglalja magába, hogy a tárolt információt (tudásbázist) kérdések megválaszolására és új következtetések levonására használjuk. Tehát a tényadatokból és szabályokból új tényadatokat tudunk megállapítani, valamint egy objektum paraméterére irányuló kérdésre a rendszer tud választ adni.