El aspecto lógico del problema de marco y sus implicancias: Razonamiento temporal y relevancia

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.

Although the so-called frame problem generated multiple debates at the end of last century, it is still a fundamental problem for the advancement of Cognitive Science, in general, and for Artificial Intelligence, in particular. In this work, and restricting us to the logical aspect of the problem, we postulate that the actual and underlying discussion to this aspect revolves around how to determine what does not change in terms of actions and properties into a formal logical system. It is on this aspect, and based on its difficulties (i) definitional and (ii) resolutive, that in this work we will argue that the so-called “temporary criterion” can not only be estimated as one of the main theoretical requirements to (i) solve it, but also to (ii) make its main difficulty more explicit, namely, “what is relevant” in the face of change over time. In this way, we argue that temporal-logical reasoning is necessary to construct any fully satisfactory solution to the logical aspect of the frame problem understood as the way in which, immediately, we determine relevance in the face of change.