Constraint Programming and Decision Making

✍ Scribed by E. Cabral Balreira, Olga Kosheleva (auth.), Martine Ceberio, Vladik Kreinovich (eds.)

• Publisher: Springer International Publishing
• Year: 2014
• Tongue: English
• Leaves: 208
• Series: Studies in Computational Intelligence 539
• Edition: 1
• Category: Library

✦ Synopsis

In many application areas, it is necessary to make effective decisions under constraints. Several area-specific techniques are known for such decision problems; however, because these techniques are area-specific, it is not easy to apply each technique to other applications areas. Cross-fertilization between different application areas is one of the main objectives of the annual International Workshops on Constraint Programming and Decision Making. Those workshops, held in the US (El Paso, Texas), in Europe (Lyon, France) and in Asia (Novosibirsk, Russia), from 2008 to 2012, have attracted researchers and practitioners from all over the world. This volume presents extended versions of selected papers from those workshops. These papers deal with all stages of decision making under constraints: (1) formulating the problem of multi-criteria decision making in precise terms, (2) determining when the corresponding decision problem is algorithmically solvable; (3) finding the corresponding algorithms and making these algorithms as efficient as possible and (4) taking into account interval, probabilistic and fuzzy uncertainty inherent in the corresponding decision making problems. The resulting application areas include environmental studies (selecting the best location for a meteorological tower), biology (selecting the most probable evolution history of a species), and engineering (designing the best control for a magnetic levitation train).

✦ Table of Contents

Front Matter....Pages 1-12
Algorithmics of Checking whether a Mapping Is Injective, Surjective, and/or Bijective....Pages 1-7
Simplicity Is Worse Than Theft: A Constraint-Based Explanation of a Seemingly Counter-Intuitive Russian Saying....Pages 9-13
Continuous If-Then Statements Are Computable....Pages 15-18
Linear Programming with Interval Type-2 Fuzzy Constraints....Pages 19-34
Epistemic Considerations on Expert Disagreement, Normative Justification, and Inconsistency Regarding Multi-criteria Decision Making....Pages 35-45
Interval Linear Programming Techniques in Constraint Programming and Global Optimization....Pages 47-59
Selecting the Best Location for a Meteorological Tower: A Case Study of Multi-objective Constraint Optimization....Pages 61-65
Gibbs Sampling as a Natural Statistical Analog of Constraints Techniques: Prediction in Science under General Probabilistic Uncertainty....Pages 67-74
Why Tensors?....Pages 75-78
Adding Constraints – A (Seemingly Counterintuitive but) Useful Heuristic in Solving Difficult Problems....Pages 79-83
Under Physics-Motivated Constraints, Generally-Non-Algorithmic Computational Problems become Algorithmically Solvable....Pages 85-89
Constraint-Related Reinterpretation of Fundamental Physical Equations Can Serve as a Built-In Regularization....Pages 91-95
Optimization of the Choquet Integral Using Genetic Algorithm....Pages 97-109
Scalable, Portable, Verifiable Kronecker Products on Multi-scale Computers....Pages 111-129
Reliable and Robust Automated Synthesis of QFT Controller for Nonlinear Magnetic Levitation System Using Interval Constraint Satisfaction Techniques....Pages 131-135
Towards an Efficient Bisection of Ellipsoids....Pages 137-141
An Auto-validating Rejection Sampler for Differentiable Arithmetical Expressions: Posterior Sampling of Phylogenetic Quartets....Pages 143-152
Graph Subdivision Methods in Interval Global Optimization....Pages 153-170
An Extended BDI-Based Model for Human Decision-Making and Social Behavior: Various Applications....Pages 171-174
Why Curvature in L-Curve: Combining Soft Constraints....Pages 175-179
Surrogate Models for Mixed Discrete-Continuous Variables....Pages 181-202
Why Ellipsoid Constraints, Ellipsoid Clusters, and Riemannian Space-Time: Dvoretzky’s Theorem Revisited....Pages 203-207
Back Matter....Pages 209-209

✦ Subjects

Computational Intelligence; Artificial Intelligence (incl. Robotics)