CSP aplicados a la diagnosis basada en modelos
En las ´ultimas d´ecadas, parte de la comunidad cient´ıfica ha dedicado sus esfuerzos al desarrollo de una metodolog´ı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....
| Autores: | , , , |
|---|---|
| Tipo de recurso: | artículo |
| Estado: | Versión publicada |
| Fecha de publicación: | 2003 |
| País: | España |
| Institución: | Universidad de Sevilla (US) |
| Repositorio: | idUS. Depósito de Investigación de la Universidad de Sevilla |
| OAI Identifier: | oai:idus.us.es:11441/93981 |
| Acceso en línea: | https://hdl.handle.net/11441/93981 |
| Access Level: | acceso abierto |
| Palabra clave: | Diagnosis basada en modelos Satisfacción de restricciones Testing Diseño por contrato Diagnosis del software |
| Sumario: | En las ´ultimas d´ecadas, parte de la comunidad cient´ıfica ha dedicado sus esfuerzos al desarrollo de una metodolog´ı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 ´el se razona sobre la identificaci´on 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´on 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 reducci´on de costos. Algunos modelos utilizados en ingenier´ıa se han basado en la programaci´on l´ogica con restricciones (CLP) para obtener la diagnosis de un sistema. En este art´ıculo proponemos la metodolog´ıa necesaria para poder plantear la diagnosis de un sistema como un problema de satisfacci´on de restricciones (CSP). De esta forma, ser´a posible incorporar al proceso de generaci´on de la diagnosis de un sistema, los avances y optimizaciones que se han alcanzado en el campo de la b´usqueda de soluciones para problemas CSP. Plantear un problema de diagnosis de esta forma abre tambi´en 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´on. |
|---|