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

Abstract

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.

Keywords: Argumentation, Arthur Prior artificial agents, dynamical systems, frame problem, temporal logic.