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
Descripción
Sumario: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.