A Logical Reasoning Architecture for Computer Network Management