E. Onaindía, F. Barber, V. Botti
V Conferencia de la Asociación Española para la Inteligencia Artificial. Madrid(Spain), Noviembre 1993, pp. 367-377
Abstract
El cálculo de situaciones es el formalismo que ha sido utilizado como aproximación clásica en los problemas de planificación. Las acciones causan que el mundo cambie de un estado a otro hasta conseguir una situación en la que el objetivo final se cumple. Un problema del cálculo de situaciones es el conocido 'problema marco' (representación de todas las propiedades que permanecen invariables tras la ejecución de una acción). La representación STRIPS surgió como una alternativa al cálculo de situaciones para tratar de evitar la especificación de un número potencialmente grande de axiomas marco. STRIPS utiliza las listas 'add-delete' para obtener la representación del estado del mundo (situación) que resulta de aplicar una acción en una situación determinada. Este tipo de listas expresan explicitamente los cambios que deberían ocurrir, impidiendo así que el mundo cambie según su propia dinámica.
En este artículo se presenta una arquitectura de planificación para problemas que se desarrollan en entornos dinámicos. Dicha arquitectura se construye alrededor de un blackboard temporal con un módulo de razonamiento temporal y otro módulo para la evaluación de recursos.
PostScript Article (843 K).