Resumen de CSP aplicados a la diagnosis basada en modelos

C. del Valle, Rafael Martínez Gasca , M. T. Gómez, R. Ceballo

• En las ultimas décadas, parte de la comunidad cientíifica ha dedicado sus esfuerzos al desarrollo de una metodologia para la diagnosis de sistemas desde el campo de la Inteligencia Artificial. Dicha metodologia se denomina diagnosis basada en modelos, y cubre un amplio abanico de posibilidades. Se parte de un modelo explicito del sistema a diagnosticar y a partir de el se razona sobre la identificacion 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 produccion o desarrollo es importante tener un control sobre los fallos en componentes o procesos. La diagnosis permite controlar estas irregularidades, lo que conlleva a los sistemas que la incorporan una mayor seguridad y reduccion de costos. Algunos modelos utilizados en ingenieria se han basado en la programacion logica con restricciones (CLP) para obtener la diagnosis de un sistema. En este articulo proponemos la metodologia necesaria para poder plantear la diagnosis de un sistema como un problema de satisfaccion de restricciones (CSP). De esta forma, sera posible incorporar al proceso de generacion de la diagnosis de un sistema, los avances y optimizaciones que se han alcanzado en el campo de la busqueda de soluciones para problemas CSP. Plantear un problema de diagnosis de esta forma abre tambien la posibilidad de aplicar la diagnosis a otros campos, como por ejemplo 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.