Robustness, Stability, Recoverability and Reliability in CSP

Many real-world problems in Artificial Intelligence (AI) as well as in other areas of computer science and engineering can be efficiently modeled and solved using constraint programming techniques. In many real-world scenarios the problem is partially known, imprecise, and dynamic such that some eff...

Descripción completa

Detalles Bibliográficos
Autores: Barber, Federico|||0000-0002-3966-5742, Miguel A. Salido|||0000-0002-4835-4057
Tipo de recurso: informe técnico
Fecha de publicación:2013
País:España
Institución:Universitat Politècnica de València (UPV)
Repositorio:RiuNet. Repositorio Institucional de la Universitat Politécnica de Valéncia
Idioma:inglés
OAI Identifier:oai:riunet.upv.es:10251/28918
Acceso en línea:https://riunet.upv.es/handle/10251/28918
Access Level:acceso abierto
Palabra clave:Robustness
Stability
Dynamicity
Constraint satisfaction problems
CIENCIAS DE LA COMPUTACION E INTELIGENCIA ARTIFICIAL
LENGUAJES Y SISTEMAS INFORMATICOS
id ES_c2a8b847bd105cbfdcfe2ccb65be1a69
oai_identifier_str oai:riunet.upv.es:10251/28918
network_acronym_str ES
network_name_str España
repository_id_str
spelling Robustness, Stability, Recoverability and Reliability in CSPBarber, Federico|||0000-0002-3966-5742Miguel A. Salido|||0000-0002-4835-4057RobustnessStabilityDynamicityConstraint satisfaction problemsCIENCIAS DE LA COMPUTACION E INTELIGENCIA ARTIFICIALLENGUAJES Y SISTEMAS INFORMATICOSMany real-world problems in Artificial Intelligence (AI) as well as in other areas of computer science and engineering can be efficiently modeled and solved using constraint programming techniques. In many real-world scenarios the problem is partially known, imprecise, and dynamic such that some effects of actions are undesired and/or several un-foreseen incidences or changes can occur. Whereas expressivity, efficiency, and optimality have been the typical goals in the area, there are several issues regarding robustness that have a clear relevance in dynamic Constraint Satisfaction Problems (CSP). However, there is still no clear and common definition of robustness-related concepts in CSPs. In this paper, we propose two clearly differentiated definitions for robustness and stability in CSP solutions. We also introduce the concepts of recoverability and reliability, which arise in temporal CSPs. All these definitions are based on related well-known concepts, that are addressed in engineering and other related areas.Universitat Politècnica de ValènciaDepartamento de Sistemas Informáticos y ComputaciónEscuela Técnica Superior de Ingeniería Aeroespacial y Diseño IndustrialInstituto Universitario de Automática e Informática IndustrialRepositorio Institucional de la Universitat Politècnica de València Riunet20132013-05-17reporthttp://purl.org/coar/resource_type/c_93fcinfo:eu-repo/semantics/reportapplication/pdfhttps://riunet.upv.es/handle/10251/28918reponame:RiuNet. Repositorio Institucional de la Universitat Politécnica de Valénciainstname:Universitat Politècnica de València (UPV)Inglésengopen accesshttp://purl.org/coar/access_right/c_abf2Reconocimiento - No comercial (by-nc) http://creativecommons.org/licenses/by-nc/4.0/info:eu-repo/semantics/openAccessoai:riunet.upv.es:10251/289182026-06-13T07:49:27Z
dc.title.none.fl_str_mv Robustness, Stability, Recoverability and Reliability in CSP
title Robustness, Stability, Recoverability and Reliability in CSP
spellingShingle Robustness, Stability, Recoverability and Reliability in CSP
Barber, Federico|||0000-0002-3966-5742
Robustness
Stability
Dynamicity
Constraint satisfaction problems
CIENCIAS DE LA COMPUTACION E INTELIGENCIA ARTIFICIAL
LENGUAJES Y SISTEMAS INFORMATICOS
title_short Robustness, Stability, Recoverability and Reliability in CSP
title_full Robustness, Stability, Recoverability and Reliability in CSP
title_fullStr Robustness, Stability, Recoverability and Reliability in CSP
title_full_unstemmed Robustness, Stability, Recoverability and Reliability in CSP
title_sort Robustness, Stability, Recoverability and Reliability in CSP
dc.creator.none.fl_str_mv Barber, Federico|||0000-0002-3966-5742
Miguel A. Salido|||0000-0002-4835-4057
author Barber, Federico|||0000-0002-3966-5742
author_facet Barber, Federico|||0000-0002-3966-5742
Miguel A. Salido|||0000-0002-4835-4057
author_role author
author2 Miguel A. Salido|||0000-0002-4835-4057
author2_role author
dc.contributor.none.fl_str_mv Departamento de Sistemas Informáticos y Computación
Escuela Técnica Superior de Ingeniería Aeroespacial y Diseño Industrial
Instituto Universitario de Automática e Informática Industrial
Repositorio Institucional de la Universitat Politècnica de València Riunet
dc.subject.none.fl_str_mv Robustness
Stability
Dynamicity
Constraint satisfaction problems
CIENCIAS DE LA COMPUTACION E INTELIGENCIA ARTIFICIAL
LENGUAJES Y SISTEMAS INFORMATICOS
topic Robustness
Stability
Dynamicity
Constraint satisfaction problems
CIENCIAS DE LA COMPUTACION E INTELIGENCIA ARTIFICIAL
LENGUAJES Y SISTEMAS INFORMATICOS
description Many real-world problems in Artificial Intelligence (AI) as well as in other areas of computer science and engineering can be efficiently modeled and solved using constraint programming techniques. In many real-world scenarios the problem is partially known, imprecise, and dynamic such that some effects of actions are undesired and/or several un-foreseen incidences or changes can occur. Whereas expressivity, efficiency, and optimality have been the typical goals in the area, there are several issues regarding robustness that have a clear relevance in dynamic Constraint Satisfaction Problems (CSP). However, there is still no clear and common definition of robustness-related concepts in CSPs. In this paper, we propose two clearly differentiated definitions for robustness and stability in CSP solutions. We also introduce the concepts of recoverability and reliability, which arise in temporal CSPs. All these definitions are based on related well-known concepts, that are addressed in engineering and other related areas.
publishDate 2013
dc.date.none.fl_str_mv 2013
2013-05-17
dc.type.none.fl_str_mv report
http://purl.org/coar/resource_type/c_93fc
dc.type.openaire.fl_str_mv info:eu-repo/semantics/report
format report
dc.identifier.none.fl_str_mv https://riunet.upv.es/handle/10251/28918
url https://riunet.upv.es/handle/10251/28918
dc.language.none.fl_str_mv Inglés
eng
language_invalid_str_mv Inglés
language eng
dc.rights.none.fl_str_mv open access
http://purl.org/coar/access_right/c_abf2
Reconocimiento - No comercial (by-nc)
http://creativecommons.org/licenses/by-nc/4.0/
dc.rights.openaire.fl_str_mv info:eu-repo/semantics/openAccess
rights_invalid_str_mv open access
http://purl.org/coar/access_right/c_abf2
Reconocimiento - No comercial (by-nc)
http://creativecommons.org/licenses/by-nc/4.0/
eu_rights_str_mv openAccess
dc.format.none.fl_str_mv application/pdf
dc.publisher.none.fl_str_mv Universitat Politècnica de València
publisher.none.fl_str_mv Universitat Politècnica de València
dc.source.none.fl_str_mv reponame:RiuNet. Repositorio Institucional de la Universitat Politécnica de Valéncia
instname:Universitat Politècnica de València (UPV)
instname_str Universitat Politècnica de València (UPV)
reponame_str RiuNet. Repositorio Institucional de la Universitat Politécnica de Valéncia
collection RiuNet. Repositorio Institucional de la Universitat Politécnica de Valéncia
repository.name.fl_str_mv
repository.mail.fl_str_mv
_version_ 1869418706642141184
score 15,300724