El problema de marco: formalización de sistemas dinámicos en agentes artificiales

Abstract

El problema de marco surgió al intentar crear modelos de computación que imiten la conducta humana cotidiana. Frente a dicha posibilidad aparecieron dos grandes problemas: i) crear un sistema que tenga la información almacenada de modo tal que pueda acceder a la información correcta y relevante para un fin concreto en el tiempo apropiado y ii) conseguir que ese sistema reconozca los rasgos importantes del entorno dinámico en el que se encuentra inserto. Como se infiere a partir de (i) las referencias temporales son imprescindibles siempre que se desee modelar el comportamiento inteligente de un agente actuando en un entorno dinámico, según (ii). En nuestro trabajo consideraremos qué se entiende por el problema de marco, enfatizando sus aspectos temporales, y propondremos una alternativa posible, la lógica temporal desarrollada por Arthur Prior, para su solución.

The frame problem arose when attempting to create computer models that imitate human behavior every day. Indeed, facing the possibility of a daily task there were two major problems: i) create a system that has stored information so that the system can access the correct information and relevant for a particular purpose at the proper time and ii) ensuring that the system recognizes the important features of the dynamic environment in which it is inserted. However, as inferred from (i) the time references are essential if you want to model the intelligent behavior of an agent acting in a dynamic environment, as reflected in (ii). In our work we will consider what is meant by the frame problem, emphasizing its temporal aspects, and then propose a possible alternative, the temporal logic developed by Arthur Prior, for resolution.