A dynamic reasoning architecture for computer network management

This work focuses on improving network management and monitoring by the adoption of artificial intelligence techniques. In order to allow automated reasoning on networking concepts, we defined an accurate ontological model capable of describing as better as possible the networking domain. The thorough representation of the domain knowledge is used by a logical reasoner, which is an expert system capable of performing high-level management tasks.