Buchumschlag

CSP aplicados a la diagnosis basada en modelos

Fuente: Redalyc

Gespeichert in:

Bibliographische Detailangaben
1. Verfasser:	R. Ceballos
Format:	Artículo científico
Sprache:	es
Veröffentlicht:	Asociación Española para la Inteligencia Artificial 2003
Schlagworte:	Ingeniería testing diseno por contrato diagnosis del software Diagnosis basada en modelos satisfacción de restricciones
Online-Zugang:	Acceder al recurso
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!

_version_	1876429651915571200
author	R. Ceballos
author_facet	R. Ceballos
contents	CSP aplicados a la diagnosis basada en modelos R. Ceballos C. Del Valle M. T. Gómez R. M. Gasca Ingeniería testing diseno 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
format	Artículo científico
id	redalyc_92572011
institution	Redalyc
language	es
publishDate	2003
publisher	Asociación Española para la Inteligencia Artificial
spellingShingle	CSP aplicados a la diagnosis basada en modelos R. Ceballos Ingeniería testing diseno por contrato diagnosis del software Diagnosis basada en modelos satisfacción de restricciones CSP aplicados a la diagnosis basada en modelos R. Ceballos C. Del Valle M. T. Gómez R. M. Gasca Ingeniería testing diseno 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
title	CSP aplicados a la diagnosis basada en modelos
topic	Ingeniería testing diseno por contrato diagnosis del software Diagnosis basada en modelos satisfacción de restricciones
url	https://www.redalyc.org/articulo.oa?id=92572011