Lógica temporal métrica aplicada al problema de marco [Frame problem] en inteligencia artificial

Abstract

Este trabajo consta de tres capítulos que desarrollan paulatinamente los siguientes puntos. Primero, los acercamientos filosóficos y posturas que difieren en el planteamiento del problema de marco epistemológicamente además de distinguirlo de problemas cercanos con los que se dan posibles confusiones y también delimitar en qué no consiste el problema en cuestión. Segundo, teniendo en cuenta el criterio temporal como fundamental para tratar el problema y dar una solución, presento un sistema de lógica temporal métrica inspirada en el trabajo de Arthur Prior. Tercero, ofrezco algunas últimas consideraciones acerca de cómo los presupuestos de la teoría computacional de la mente nos permiten entender más aguda y ampliamente el problema de marco; esto considerando que el problema despierta un fuerte interés epistemológico y lógico, y, por tanto, mi propuesta está presta para recibir críticas constructivas.