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....

ver descrição completa

Detalhes bibliográficos
Autores: Ceballos Guerrero, Rafael, Valle Sevillano, Carmelo del, Gómez López, María Teresa, Martínez Gasca, Rafael
Formato: artículo
Estado:Versión publicada
Fecha de publicación:2003
País:España
Recursos:Universidad de Sevilla (US)
Repositorio:idUS. Depósito de Investigación de la Universidad de Sevilla
OAI Identifier:oai:idus.us.es:11441/93981
Acesso em linha:https://hdl.handle.net/11441/93981
Access Level:acceso abierto
Palavra-chave:Diagnosis basada en modelos
Satisfacción de restricciones
Testing
Diseño por contrato
Diagnosis del software
id ES_3b2f599c8152c05fbcdb8a9410e7d3b5
oai_identifier_str oai:idus.us.es:11441/93981
network_acronym_str ES
network_name_str España
repository_id_str
spelling CSP aplicados a la diagnosis basada en modelosDiagnosis applied CSP based on modelsCeballos Guerrero, RafaelValle Sevillano, Carmelo delGómez López, María TeresaMartínez Gasca, RafaelDiagnosis basada en modelosSatisfacción de restriccionesTestingDiseño por contratoDiagnosis del softwareEn 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.In the last decades, model-based diagnosis has been an active research topic for the Artificial Intelligence community. It uses the explicit model of a system, the system inputs and the measured system outputs, in order to identify the subsystems that can generate faults. The system or the process that incorporates diagnosis may reduce costs and provide more security. Some models used in engineering are based on constraint logic programming (CLP) in order to obtain the system diagnosis. In this paper we propose a methodology for the system diagnosis as a constraint satisfaction problem (CSP). Using this methodology it is possible to incorporate, the advances and optimizations achieved for the search of solutions in CSP. This methodology also offers the possibility of applying diagnosis to other areas, such as software diagnosis. Software diagnosis allows the identification of the program bugs. A bug occurs when there is not matching between the specified results and the observed results after a program execution.Ministerio de Ciencia y Tecnología DPI2000-0666-C02-02Asociación Española para la Inteligencia ArtificialLenguajes y Sistemas InformáticosMinisterio de Ciencia Y Tecnología (MCYT). España2003info:eu-repo/semantics/articleinfo:eu-repo/semantics/publishedVersionapplication/pdfapplication/pdfhttps://hdl.handle.net/11441/93981reponame:idUS. Depósito de Investigación de la Universidad de Sevillainstname:Universidad de Sevilla (US)EspañolInteligencia Artificial: Revista Iberoamericana de Inteligencia Artificial, 7 (20), 137-150.DPI2000-0666-C02-02http://journal.iberamia.org/public/Vol.1-14.html#2003info:eu-repo/semantics/openAccessoai:idus.us.es:11441/939812026-06-17T12:51:07Z
dc.title.none.fl_str_mv CSP aplicados a la diagnosis basada en modelos
Diagnosis applied CSP based on models
title CSP aplicados a la diagnosis basada en modelos
spellingShingle CSP aplicados a la diagnosis basada en modelos
Ceballos Guerrero, Rafael
Diagnosis basada en modelos
Satisfacción de restricciones
Testing
Diseño por contrato
Diagnosis del software
title_short CSP aplicados a la diagnosis basada en modelos
title_full CSP aplicados a la diagnosis basada en modelos
title_fullStr CSP aplicados a la diagnosis basada en modelos
title_full_unstemmed CSP aplicados a la diagnosis basada en modelos
title_sort CSP aplicados a la diagnosis basada en modelos
dc.creator.none.fl_str_mv Ceballos Guerrero, Rafael
Valle Sevillano, Carmelo del
Gómez López, María Teresa
Martínez Gasca, Rafael
author Ceballos Guerrero, Rafael
author_facet Ceballos Guerrero, Rafael
Valle Sevillano, Carmelo del
Gómez López, María Teresa
Martínez Gasca, Rafael
author_role author
author2 Valle Sevillano, Carmelo del
Gómez López, María Teresa
Martínez Gasca, Rafael
author2_role author
author
author
dc.contributor.none.fl_str_mv Lenguajes y Sistemas Informáticos
Ministerio de Ciencia Y Tecnología (MCYT). España
dc.subject.none.fl_str_mv Diagnosis basada en modelos
Satisfacción de restricciones
Testing
Diseño por contrato
Diagnosis del software
topic Diagnosis basada en modelos
Satisfacción de restricciones
Testing
Diseño por contrato
Diagnosis del software
description 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.
publishDate 2003
dc.date.none.fl_str_mv 2003
dc.type.none.fl_str_mv info:eu-repo/semantics/article
info:eu-repo/semantics/publishedVersion
format article
status_str publishedVersion
dc.identifier.none.fl_str_mv https://hdl.handle.net/11441/93981
url https://hdl.handle.net/11441/93981
dc.language.none.fl_str_mv Español
language_invalid_str_mv Español
dc.relation.none.fl_str_mv Inteligencia Artificial: Revista Iberoamericana de Inteligencia Artificial, 7 (20), 137-150.
DPI2000-0666-C02-02
http://journal.iberamia.org/public/Vol.1-14.html#2003
dc.rights.none.fl_str_mv info:eu-repo/semantics/openAccess
eu_rights_str_mv openAccess
dc.format.none.fl_str_mv application/pdf
application/pdf
dc.publisher.none.fl_str_mv Asociación Española para la Inteligencia Artificial
publisher.none.fl_str_mv Asociación Española para la Inteligencia Artificial
dc.source.none.fl_str_mv reponame:idUS. Depósito de Investigación de la Universidad de Sevilla
instname:Universidad de Sevilla (US)
instname_str Universidad de Sevilla (US)
reponame_str idUS. Depósito de Investigación de la Universidad de Sevilla
collection idUS. Depósito de Investigación de la Universidad de Sevilla
repository.name.fl_str_mv
repository.mail.fl_str_mv
_version_ 1869406290262884352
score 15,300719

Registos relacionados