Abstract

Aunque el denominado problema de marco generó múltiples debates a finales del siglo pasado, aún es un problema fundamental para el avance en las Ciencias Cognitivas, en general, y para la Inteligencia Artificial, en particular. En este trabajo, y restringiéndonos al aspecto lógico del problema, postulamos que la discusión actual y subyacente a este aspecto gira en torno a cómo determinar lo que no cambia en términos de acciones y propiedades dentro de un sistema lógico formal. Es sobre este aspecto, y en función de sus dificultades (i) definicional y (ii) resolutiva, que en este trabajo argumentaremos que el denominado “criterio temporal” no solamente puede estimarse como uno los principales requerimientos teóricos para (i) resolverlo sino también para (ii) explicitar más claramente su dificultad principal, a saber, “lo que es relevante” frente al cambio en el tiempo. De esta manera, sostenemos que el razonamiento lógico-temporal resulta necesario para construir cualquier solución íntegramente satisfactoria del aspecto lógico del problema de marco entendido como el modo en que, inmediatamente, determinamos relevancia frente al cambio.