Resumen de Revisión del concepto de posible conflicto como técnica de pre-compilación

Carlos Javier Alonso González , José Belarmino Pulido Junquera

• El registro de dependencias en linea, mediante algun mecanismo de registro de dependencias, es una de las tecnicas mas utilizadas para calcular conflictos en el Diagnostico basado en Consistencia. No obstante, dados los problemas de efciencia que conlleva, se han propuesto distintas alternativas en los ultimos años. Entre ellas, se puede considerar que los metodos topologicos forman una de las opciones mas asentadas. Dentro de esta vertiente, cabe destacar los trabajos relacionados con la compilacion fuera de linea, o pre-compilacion. Este trabajo repasa los sistemas que usan algun tipo de pre-compilacion, tanto desde el campo de la Inteligencia Artificial como de la Ingenieria de Control. A continuacion, revisa y extiende una de estas tecnicas, la basada en el concepto de posible conflicto. Finalmente, compara este metodo con otras tecnicas de pre- compilacion, discutiendo sus diferencias y ventajas.