Exploiting Deductive Processes for Automated Network Management