No abstract

Resumen. Este trabajo presenta el diseño e implementación de un Sistema de PLanificación INteligente (SPLIN) que se compone de dos módulos principales: un compilador para el lenguaje de planificación y un Planificador de Orden Parcial (POP). SPLIN está integramente desarrollado en C, dispone de un lenguaje de planificación de fácil utilización e incorpora la técnica de menor compromiso (least commitment) [Weld94] tanto en la ordenación de pasos durante el desarrollo del plan como en el tratamiento de variables. Este último aspecto permite obtener resultados altamente satisfactorios frente a otros planificadores de orden parcial. La versión de SPLIN que se presenta en este artículo es un primer prototipo que se ha realizado en el grupo GTI-IA de la Universidad Politécnica de Valencia. IntroducciónEl planificador UCPOP [Penberthy92] es uno de los primeros prototipos que pone de manifiesto los beneficios que pueden obtenerse de una planificación de orden parcial [Barrett94]. Recientes trabajos [Gerevini96, Pollack97] muestran la importancia de emplear estrategias de búsqueda idóneas que permitan reducir la complejidad inherente a todo problema de planificación y obtener así el máximo beneficio fr la utilización de un planificador de orden parcial.Sin embargo, el rendimiento idóneo de un POP no sólo se debe a la adecuada selección de estrategias de búsqueda para la resolución de un problema particular. Son muchos los factores que intervienen directa o indirectamente en la medida de eficiencia de resolución de un POP; entre ellos se encuentra la necesidad de un lenguaje suficientemente expresivo, sencillo y de fácil utilización que permita representar diferentes tipos de conocimiento, que posteriormente puedan ser gestionados eficientemente por el planificador. Otro de los aspectos que influyen considerablemente en el rendimiento de un POP es la gestión que se realiza en el manejo de las restricciones, lo cual obliga en muchos casos a incorporar métodos y técnicas de Constraint Satisfaction Problems (CSP). SPLIN es un primer prototipo de una herramienta de planificación de fácil uso, flexible y que permite especificar fácilmente distintos dominios de aplicación. SPLIN incorpora la estrategia de menor compromiso en todas las gestiones y operaciones que se realizan en el tratamiento de variables. Estas funcionalidades permiten obtener resultados satisfactorios, los cuales se contrastan con los obtenidos por el planificador UCPOP [Penberthy92, Barrett95]. * Este trabajo ha sido subvencionado parcialmente por el proyecto CICYT TAP98-0345.

No abstract

No abstract

No abstract