Revisión del concepto de posible conflicto como tecnica de pre-compilacion
Autor: | Carlos Javier Alonso González, Belarmino Pulido Junquera |
---|---|
Rok vydání: | 2007 |
Předmět: | |
Zdroj: | INTELIGENCIA ARTIFICIAL. 5 |
ISSN: | 1988-3064 1137-3601 |
DOI: | 10.4114/ia.v5i14.759 |
Popis: | 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 anos. 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. |
Databáze: | OpenAIRE |
Externí odkaz: |