La lógica computacional se encarga de modelar y optimizar tales sistemas a este nivel.