Antes hemos hablado de otro tipo de conocimiento, el estratégico (o de control), que se refiere a la manipulación del conocimiento factual y normativo. Si el normativo está en forma de reglas, se refiere a la estrategia de búsqueda que decide en cada momento qué regla se aplica. Pero, independientemente de la estrategia, al aplicar la regla se está usando un cuarto tipo de conocimiento: el que dice que si se satisface el antecedente la regla permite afirmar que se satisface el consecuente, es decir, lo que en la lógica clásica se llama un razonamiento modus ponens. Este conocimiento es de tipo táctico. (Según el diccionario de la R.A.E., «táctica» es el «conjunto de reglas a que se ajustan en su ejecución las operaciones militares» , y «estrategia» es el «arte de dirigir las operaciones militares» . La estrategia es global, la táctica, «local» ).
En la arquitectura básica de los sistemas basados en conocimiento, el conocimiento táctico y el estratégico se expresan conjuntamente, de manera procedimental, y se implementan en los algoritmos del «motor de inferencias» . Pero parte de estos conocimientos puede expresarse también en forma declarativa (por ejemplo, en forma de metarreglas), lo que da lugar a las arquitecturas llamadas «multinivel» , con bases de conocimiento de varios tipos.