In sistemi esperti, l'insieme di tutte le regole possibili, fatti e le relazioni come indicate nelle regole.