88,085 research outputs found
Robustness, stability, recoverability, and reliability in constraint satisfaction problems
The final publication is available at Springer via http://dx.doi.org/10.1007/s10115-014-0778-3Many 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, which are addressed in engineering and other related areas.This work has been partially supported by the research project TIN2013-46511-C2-1 (MINECO, Spain). We would also thank the reviewers for their efforts and helpful comments.Barber SanchĂs, F.; Salido Gregorio, MA. (2015). Robustness, stability, recoverability, and reliability in constraint satisfaction problems. Knowledge and Information Systems. 44(3):719-734. https://doi.org/10.1007/s10115-014-0778-3S719734443Abril M, Barber F, Ingolotti L, Salido MA, Tormos P, Lova A (2008) An assessment of railway capacity. Transp Res Part E 44(5):774â806Barber F (2000) Reasoning on intervals and point-based disjunctive metric constraints in temporal contexts. J Artif Intell Res 12:35â86Bartak R, Salido MA (2011) Constraint satisfaction for planning and scheduling problems. Constraints 16(3):223â227Bertsimas D, Sim M (2004) The price of robustness. Oper Res 52(1):35â53Climent L, Wallace R, Salido M, Barber F (2013) Modeling robustness in CSPS as weighted CSPS. In: Integration of AI and OR techniques in constraint programming for combinatorial optimization problems CPAIOR 2013, pp 44â60Climent L, Wallace R, Salido M, Barber F (2014) Robustness and stability in constraint programming under dynamism and uncertainty. J Artif Intell Res 49(1):49â78Dechter R (1991) Temporal constraint network. Artif Intell 49:61â295Hazewinkel M (2002) Encyclopaedia of mathematics. Springer, New YorkHebrard E (2007) Robust solutions for constraint satisfaction and optimisation under uncertainty. PhD thesis, University of New South WalesHebrard E, Hnich B, Walsh T (2004) Super solutions in constraint programming. In: Integration of AI and OR techniques in constraint programming for combinatorial optimization problems (CPAIOR-04), pp 157â172Jen E (2003) Stable or robust? Whatâs the difference? Complexity 8(3):12â18Kitano H (2007) Towards a theory of biological robustness. Mol Syst Biol 3(137)Liebchen C, Lbbecke M, Mhring R, Stiller S (2009) The concept of recoverable robustness, linear programming recovery, and railway applications. In: LNCS, vol 5868Papapetrou P, Kollios G, Sclaroff S, Gunopulos D (2009) Mining frequent arrangements of temporal intervals. Knowl Inf Syst 21:133â171Rizk A, Batt G, Fages F, Solima S (2009) A general computational method for robustness analysis with applications to synthetic gene networks. Bioinformatics 25(12):168â179Rossi F, van Beek P, Walsh T (2006) Handbook of constraint programming. Elsevier, New YorkRoy B (2010) Robustness in operational research and decision aiding: a multi-faceted issue. Eur J Oper Res 200:629â638Szathmary E (2006) A robust approach. Nature 439:19â20Verfaillie G, Schiex T (1994) Solution reuse in dynamic constraint satisfaction problems. In: Proceedings of the 12th national conference on artificial intelligence (AAAI-94), pp 307â312Wallace R, Grimes D, Freuder E (2009) Solving dynamic constraint satisfaction problems by identifying stable features. In: Proceedings of international joint conferences on artificial intelligence (IJCAI-09), pp 621â627Wang D, Tse Q, Zhou Y (2011) A decentralized search engine for dynamic web communities. Knowl Inf Syst 26(1):105â125Wiggins S (1990) Introduction to applied nonlinear dynamical systems and chaos. Springer, New YorkZhou Y, Croft W (2008) Measuring ranked list robustness for query performance prediction. Knowl Inf Syst 16:155â17
A hybrid constraint programming and semidefinite programming approach for the stable set problem
This work presents a hybrid approach to solve the maximum stable set problem,
using constraint and semidefinite programming. The approach consists of two
steps: subproblem generation and subproblem solution. First we rank the
variable domain values, based on the solution of a semidefinite relaxation.
Using this ranking, we generate the most promising subproblems first, by
exploring a search tree using a limited discrepancy strategy. Then the
subproblems are being solved using a constraint programming solver. To
strengthen the semidefinite relaxation, we propose to infer additional
constraints from the discrepancy structure. Computational results show that the
semidefinite relaxation is very informative, since solutions of good quality
are found in the first subproblems, or optimality is proven immediately.Comment: 14 page
Determination of the Optimal Manpower Size Using Linear Programming Model
There would be no meaningful development lllltil manpower that involves in the transformation of production facilities into useful goods and services is well trained and planned. Recent advances in mathematical programming methodology have included:development of interior methods, competing with the simplex method, improved simplex
codes, vastly improved performance for mixed-integer programming using strong linear programming formulations and a renewed interest in decomposition. Application areas have been expanding from the traditional refinery planning and distribution models to include finance, scheduling, manufacturing, manpower planning and many others. We see the acceleration of better methods and improved codes moving together with faster, lower-cost and more interesting hardware into a variety of application areas, thereby opening up new demands for greater fi.mction of optimization codes. This study applies Linear Programming
(LP) model based on integer programming to the determination of effective size of manpower
to be engaged. The study also incorporates global constraints such as production capacity/demand rate and allowable time of operation into the model to reflect the reality activities in production organizations in developing colUltries. The results obtained show
that the model is more efficient than the existing model for effective manpower
determination
Logic Programming for Describing and Solving Planning Problems
A logic programming paradigm which expresses solutions to problems as stable
models has recently been promoted as a declarative approach to solving various
combinatorial and search problems, including planning problems. In this
paradigm, all program rules are considered as constraints and solutions are
stable models of the rule set. This is a rather radical departure from the
standard paradigm of logic programming. In this paper we revisit abductive
logic programming and argue that it allows a programming style which is as
declarative as programming based on stable models. However, within abductive
logic programming, one has two kinds of rules. On the one hand predicate
definitions (which may depend on the abducibles) which are nothing else than
standard logic programs (with their non-monotonic semantics when containing
with negation); on the other hand rules which constrain the models for the
abducibles. In this sense abductive logic programming is a smooth extension of
the standard paradigm of logic programming, not a radical departure.Comment: 8 pages, no figures, Eighth International Workshop on Nonmonotonic
Reasoning, special track on Representing Actions and Plannin
An asset and liability management (ALM) model using integrated chance constraints
This paper discusses and develops a Two Stage Integrated Chance Constraints Programming for the Employees Provident Fund Malaysia. The main aim is to manage, that is, balance assets and liabilities. Integrated Chance Constraints not only limit the event of underfunding but also the amount of underfunding. This paper includes the numerical illustration
Symmetry Breaking Constraints: Recent Results
Symmetry is an important problem in many combinatorial problems. One way of
dealing with symmetry is to add constraints that eliminate symmetric solutions.
We survey recent results in this area, focusing especially on two common and
useful cases: symmetry breaking constraints for row and column symmetry, and
symmetry breaking constraints for eliminating value symmetryComment: To appear in Proceedings of Twenty-Sixth Conference on Artificial
Intelligence (AAAI-12
Translation-based Constraint Answer Set Solving
We solve constraint satisfaction problems through translation to answer set
programming (ASP). Our reformulations have the property that unit-propagation
in the ASP solver achieves well defined local consistency properties like arc,
bound and range consistency. Experiments demonstrate the computational value of
this approach.Comment: Self-archived version for IJCAI'11 Best Paper Track submissio
Constraint Design Rewriting
We propose an algebraic approach to the design and transformation of constraint networks, inspired by Architectural Design Rewriting. The approach can be understood as (i) an extension of ADR with constraints, and (ii) an application of ADR to the design of reconfigurable constraint networks. The main idea is to consider classes of constraint networks as algebras whose operators are used to denote constraint networks with terms. Constraint network transformations such as constraint propagations are specified with rewrite rules exploiting the networkâs structure provided by terms
- âŚ