Revisión del concepto de posible conflicto como técnica de pre-compilación
ISSN: 1137-3601, 1988-3064
Argitalpen urtea: 2001
Zenbakien izenburua: Diagnosis, Razonamiento Cualitativo y Sistemas Socioeconomicos
Alea: 5
Zenbakia: 14
Orrialdeak: 41-53
Mota: Artikulua
Beste argitalpen batzuk: Inteligencia artificial: Revista Iberoamericana de Inteligencia Artificial
Laburpena
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.