La seguridad de la red informática es un aspecto importante de la informática. Muchos investigadores están tratando de aumentar la seguridad utilizando diferentes métodos, tecnologías o herramientas. Una de las prácticas más comunes es la implementación de un Sistema de Detección de Intrusiones (IDS). El estado actual de los IDS solo brinda protección pasiva contra intrusiones en la red, es decir, los IDS solo pueden detectar posibles intrusiones. Debido a eso, se necesita la intervención manual de un administrador. En nuestro artículo, presentamos un modelo lógico de un IDS activo basado en teoría de categorías, coalgebras, lógica lineal y lógica de Creencia-Deseo-Intención (BDI). Este IDS no solo puede detectar intrusiones, sino también reaccionar autónomamente a ellas según una política de seguridad definida. Demostramos nuestro enfoque en un ejemplo motivador con intrusiones reales en la red.