Salvato in:
Dettagli Bibliografici
Autore principale: R. Ceballos
Natura: Artículo científico
Lingua:es
Pubblicazione: Asociación Española para la Inteligencia Artificial 2003
Soggetti:
Accesso online:https://www.redalyc.org/articulo.oa?id=92572011
Tags: Aggiungi Tag
Nessun Tag, puoi essere il primo ad aggiungerne!!
Sommario:
  • CSP aplicados a la diagnosis basada en modelos R. Ceballos C. Del Valle M. T. Gómez R. M. Gasca Ingeniería testing dise˜no por contrato diagnosis del software Diagnosis basada en modelos satisfacción de restricciones En las últimas décadas, parte de la comunidad científica ha dedicado sus esfuerzos al desarrollo de unametodología para la diagnosis de sistemas desde el campo de la Inteligencia Artificial. Dicha metodología se denomina diagnosis basada en modelos, y cubre un amplio abanico de posibilidades. Se parte de un modelo explícito del sistema a diagnosticar y a partir de él se razona sobre la identificación de los subsistemas que generan fallos, utilizando para ello los valores de las entradas proporcionadas y las salidas captadas del sistema. En cualquier proceso de producción o desarrollo es importante tener un control sobre los fallos encomponentes o procesos. La diagnosis permite controlar estas irregularidades, lo que conlleva a los sistemas que la incorporan una mayor seguridad y reducción de costos.Algunos modelos utilizados en ingenier´ıa se han basado en la programación lógica con restricciones (CLP) para obtener la diagnosis de un sistema. En este art´ıculo proponemos la metodolog´ıa necesaria para poderplantear la diagnosis de un sistema como un problema de satisfacción de restricciones (CSP). De esta forma,será posible incorporar al proceso de generación de la diagnosis de un sistema, los avances y optimizacionesque se han alcanzado en el campo de la b´usqueda de soluciones para problemas CSP. Plantear un problemade diagnosis de esta forma abre tambi´en la posibilidad de aplicar la diagnosis a otros campos, como porejemplo la diagnosis del software. La diagnosis del software permite identificar y localizar el origen de los errores de un desarrollo software. Un programa tendr´a un error si no existe concordancia entre los resultados especificados como correctos y los resultados observados tras la ejecución. 2003 artículo científico 1137-3601 https://www.redalyc.org/articulo.oa?id=92572011 es http://www.redalyc.org/revista.oa?id=925 Inteligencia Artificial. Revista Iberoamericana de Inteligencia Artificial application/pdf Asociación Española para la Inteligencia Artificial Inteligencia Artificial. Revista Iberoamericana de Inteligencia Artificial (España) Num.20 Vol.7