Constraint Programming and Decision Making / / edited by Martine Ceberio, Vladik Kreinovich |
Edizione | [1st ed. 2014.] |
Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2014 |
Descrizione fisica | 1 online resource (XII, 209 p. 33 illus.) |
Disciplina | 005.11 |
Collana | Studies in Computational Intelligence |
Soggetto topico |
Computational intelligence
Artificial intelligence Computational Intelligence Artificial Intelligence |
ISBN | 3-319-04280-7 |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto | Algorithmics of Checking Whether a Mapping Is Injective, Surjective, and/or Bijective -- Simplicity Is Worse Than Theft: A Constraint-Based Explanation of a Seemingly Counter-Intuitive Russian Saying -- Continuous If-Then Statements Are Computable -- Linear programming with Interval Type-2 fuzzy constraints -- Epistemic Considerations on Expert Disagreement, Normative Justification, and Inconsistency Regarding Multi-Criteria Decision Making .-Interval Linear Programming Techniques in Constraint Programming and Global Optimization.-Selecting the Best Location for a Meteorological Tower: A Case Study of Multi-Objective Constraint Optimization.-Gibbs Sampling as a Natural Statistical Analog of Constraints Techniques: Prediction in Science under General Probabilistic Uncertainty .-Why Tensors.-Adding Constraints – A (Seemingly Counterintuitive but) Useful Heuristic in Solving Difficult Problems.-Under Physics-Motivated Constraints, Generally-Non-Algorithmic Computational Problems Become Algorithmically Solvable -- Constraint-Related Reinterpretation of Fundamental Physical Equations Can Serve as a Built-In Regularization -- Optimization of the Choquet Integral using Genetic Algorithm -- Optimization of the Choquet Integral using Genetic Algorithm -- Scalable, Portable, Verifiable Kronecker Products on Multi-Scale Computers -- Reliable and Robust Synthesis of QFT controller using ICSP -- Towards an Efficient Bisection of Ellipsoids -- .-An Auto-validating Rejection Sampler for Differentiable Arithmetical Expressions: Posterior Sampling of Phylogenetic Quartets -- Graph Subdivision Methods in Interval Global Optimization -- An Extended BDI-Based Model for Human Decision-Making and Social Behavior: Various Applications -- Why Curvature in L-Curve: Combining Soft Constraints -- Surrogate Models for Mixed Discrete-Continuous Variables Why Ellipsoid Constraints, Ellipsoid Clusters, and Riemannian Space-Time: Dvoretzky’s Theorem Revisited. |
Record Nr. | UNINA-9910299486303321 |
Cham : , : Springer International Publishing : , : Imprint : Springer, , 2014 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. Federico II | ||
|
Constraint Programming and Decision Making: Theory and Applications / / edited by Martine Ceberio, Vladik Kreinovich |
Edizione | [1st ed. 2018.] |
Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2018 |
Descrizione fisica | 1 online resource (XII, 128 p. 7 illus., 1 illus. in color.) |
Disciplina | 006.3 |
Collana | Studies in Systems, Decision and Control |
Soggetto topico |
Computational intelligence
Artificial intelligence Computational Intelligence Artificial Intelligence |
ISBN | 3-319-61753-2 |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto | Why Deep Neural Networks: A Possible Theoretical Explanation.- From Global to Local Constraints: A Constructive Version of Bloch's Principle -- Algebraic Product is the Only t-Norm for Which Optimization Under Fuzzy Constraints is Scale-Invariant.- Automatic Loop-shaping of H ͚/μ problem in QFT using Interval Consistency based Hybrid Optimization.- Similarity Approach to Defining Basic Level of Concepts Explained from the Utility Viewpoint -- Dow Theory's Peak-and-Trough Analysis Justified. |
Record Nr. | UNINA-9910299893203321 |
Cham : , : Springer International Publishing : , : Imprint : Springer, , 2018 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. Federico II | ||
|
Decision Making under Constraints / / edited by Martine Ceberio, Vladik Kreinovich |
Edizione | [1st ed. 2020.] |
Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2020 |
Descrizione fisica | 1 online resource (222 pages) |
Disciplina | 005.11 |
Collana | Studies in Systems, Decision and Control |
Soggetto topico |
Computational intelligence
Artificial intelligence Computational Intelligence Artificial Intelligence |
ISBN | 3-030-40814-0 |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto | Fuzzy Systems Are Universal Approximators for Random Dependencies:A Simplified Proof -- How Quantum Computing Can Help With (Continuous) Optimization -- How Neural Networks (NN) Can (Hopefully) Learn Faster by Taking Into Account Known Constraints -- Fuzzy Primeness in Quantales -- Collective Defense and Possible Relaxations in Weighted Abstract Argumentation Problems -- Modeling and Specification of Nondeterministic Fuzzy Discrete-Event Systems. . |
Record Nr. | UNINA-9910483657903321 |
Cham : , : Springer International Publishing : , : Imprint : Springer, , 2020 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. Federico II | ||
|
Decision making under uncertainty and constraints : a why-book / / edited by Martine Ceberio and Vladik Kreinovich |
Edizione | [1st ed. 2023.] |
Pubbl/distr/stampa | Cham, Switzerland : , : Springer, , [2023] |
Descrizione fisica | 1 online resource (x, 304 pages) : illustrations (some color) |
Disciplina | 327.120971 |
Collana | Studies in Systems, Decision and Control |
Soggetto topico |
Uncertainty
Decision making - Mathematical models |
ISBN | 3-031-16415-6 |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto | Baudelaire's Ideas of Vagueness and Uniqueness in Art: Algorithm-Based Explanations -- Selfish Gene Theory Explains Oedipus Complex -- How to Teach Advanced Highly Motivated Students: Teaching Strategy of Iosif Yakovlevich Verebeichik -- Why 70/100 Is Satisfactory? Why Five Letter Grades? Why Other Academic Conventions? -- Shall We Ignore All Intermediate Grades? -- Why ∞ is a Reasonable Symbol for Infinity -- What is 1/0 from the Practical Viewpoint: A Pedagogical Note -- Historical Diversity Through base-10 Representation of Mayan Maths. |
Record Nr. | UNINA-9910640379403321 |
Cham, Switzerland : , : Springer, , [2023] | ||
Materiale a stampa | ||
Lo trovi qui: Univ. Federico II | ||
|
Fuzzy Information Processing 2020 : Proceedings of the 2020 Annual Conference of the North American Fuzzy Information Processing Society, NAFIPS 2020 |
Autore | Bede Barnabás |
Pubbl/distr/stampa | Cham : , : Springer International Publishing AG, , 2022 |
Descrizione fisica | 1 online resource (450 pages) |
Altri autori (Persone) |
CeberioMartine
De CockMartine KreinovichVladik |
Collana | Advances in Intelligent Systems and Computing Ser. |
Soggetto genere / forma | Electronic books. |
ISBN |
9783030815615
9783030815608 |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Record Nr. | UNINA-9910512167203321 |
Bede Barnabás | ||
Cham : , : Springer International Publishing AG, , 2022 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. Federico II | ||
|
Fuzzy Techniques: Theory and Applications : Proceedings of the 2019 Joint World Congress of the International Fuzzy Systems Association and the Annual Conference of the North American Fuzzy Information Processing Society IFSA/NAFIPS'2019 (Lafayette, Louisiana, USA, June 18–21, 2019) / / edited by Ralph Baker Kearfott, Ildar Batyrshin, Marek Reformat, Martine Ceberio, Vladik Kreinovich |
Edizione | [1st ed. 2019.] |
Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2019 |
Descrizione fisica | 1 online resource (826 pages) |
Disciplina |
003.7
006.33 |
Collana | Advances in Intelligent Systems and Computing |
Soggetto topico |
Computational intelligence
Artificial intelligence Computational Intelligence Artificial Intelligence |
ISBN | 3-030-21920-8 |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Record Nr. | UNINA-9910483538303321 |
Cham : , : Springer International Publishing : , : Imprint : Springer, , 2019 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. Federico II | ||
|
How uncertainty-related ideas can provide theoretical explanation for empirical dependencies / / Martine Ceberio and Vladik Kreinovich (editors) |
Pubbl/distr/stampa | Cham, Switzerland : , : Springer, , [2021] |
Descrizione fisica | 1 online resource (152 pages) : illustrations |
Disciplina | 003.54 |
Collana | Studies in Systems, Decision and Control |
Soggetto topico |
Justification (Theory of knowledge)
Uncertainty (Information theory) Incertesa (Teoria de la informació) Justificació (Teoria del coneixement) |
Soggetto genere / forma | Llibres electrònics |
ISBN | 3-030-65324-2 |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto |
Intro -- Preface -- Contents -- Status Quo Bias Actually Helps Decision Makers to Take Nonlinearity into Account: An Explanation -- 1 Formulation of the Problem -- 2 Analysis of the Problem and the Resulting Explanation -- References -- A Natural Explanation for the Minimum Entropy Production Principle -- 1 Formulation of the Problem -- 2 How Complex Problems Are Solved: Reminder and Related Analysis -- 3 How This Analysis Helps Explain the Minimum Entropy Production Principle -- References -- Why Class-D Audio Amplifiers Work Well: A Theoretical Explanation -- 1 Formulation of the Problem -- 2 Why Pulses -- 3 Why the Pulse's Duration Should Linearly Depend on the Amplitude of the Input Signal -- Reference -- How Can We Explain Different Number Systems? -- 1 Formulation of the Problem -- 2 Which Bases Appear if We Consider Divisibility by All Small Numbers from 1 to Some k -- 3 What if We Can Skip One Number -- 4 What if We Can Skip Two Numbers -- 5 What if We Can Skip Three or More Numbers -- References -- Why Immediate Repetition Is Good for Short-Time Learning Results but Bad for Long-Time Learning: Explanation Based on Decision Theory -- 1 Formulation of the Problem: How to Explain Recent Observations Comparing Long-Term Results of Immediate and Delayed Repetition -- 2 Main Idea Behind Our Explanation: Using Decision Theory -- 3 So When Do We Learn: Analysis of the Problem and the Resulting Explanation -- References -- Absence of Remotely Triggered Large Earthquakes: A Geometric Explanation -- 1 Formulation of the Problem -- 2 Geometric Explanation -- References -- Why Gamma Distribution of Seismic Inter-Event Times: A Theoretical Explanation -- 1 Formulation of the Problem -- 2 Our Explanation -- References -- Quantum Computing as a Particular Case of Computing with Tensors -- 1 Why Tensors -- 2 Tensors in Physics: A Brief Reminder.
3 From Tensors in Physics to Computing with Tensors -- 4 Modern Algorithm for Multiplying Large Matrices -- 5 Quantum Computing as Computing with Tensors -- 6 New Idea: Tensors to Describe Constraints -- 7 Computing with Tensors Can Also Help Physics -- 8 Remaining Open Problem -- References -- A ``Fuzzy'' Like Button Can Decrease Echo Chamber Effect -- 1 Formulation of the Problem -- 2 Proposed Solution -- References -- Intuitive Idea of Implication Versus Formal Definition: How to Define the Corresponding Degree -- 1 Formulation of the Problem -- 2 How to Define the Degree of Implication: A Seemingly Reasonable Idea and Its Limitations -- 3 Towards a New Definition of Degree of Implication -- References -- Dimension Compactification-A Possible Explanation for Superclusters and for Empirical Evidence Usually Interpreted as Dark Matter -- 1 Main Idea -- 2 Geometric Consequences of the Main Idea -- 3 Towards Physical Consequences of the Main Idea -- 4 Physical Consequences of the Main Idea -- 5 Observable Predictions of Our New Idea -- 6 Natural Open Questions -- References -- Fundamental Properties of Pair-Wise Interactions Naturally Lead to Quarks and Quark Confinement: A Theorem Motivated by Neural Universal Approximation Results -- 1 Formulation of the Problem -- 2 Definitions and the Main Result -- 3 Proof -- 4 Physical Interpretation of the Result -- References -- Linear Neural Networks Revisited: From PageRank to Family Happiness -- 1 Linear Neural Networks: A Brief Reminder -- 2 Linear Neural Networks: A Precise Description -- 3 Linear Neural Networks: From the General Case to the Simplest Case -- 4 First Application: PageRank Algorithm as an Example of a Linear Neural Network -- 5 Second Application: Family Dynamics -- References -- Why 3 Basic Colors? Why 4 Basic Tastes? -- 1 Introduction -- 2 Why 3 Basic Colors? -- 3 Why 4 Basic Tastes?. References -- What Segments Are the Best in Representing Contours? -- 1 Introduction to the Problem -- 2 Motivations of the Proposed Mathematical Definitions -- 3 Definitions and the Main Result -- 4 Proofs -- References -- Strength of Lime Stabilized Pavement Materials: Possible Theoretical Explanation of Empirical Dependencies -- 1 Formulation of the Problem -- 2 Our Explanation -- References -- Towards a Theoretical Explanation of How Pavement Condition Index Deteriorates over Time -- 1 Formulation of the Problem -- 2 General Invariances -- 3 First Attempt: Let Us Directly Apply Invariance Ideas to Our Problem -- 4 Let Us Now Apply Invariance Ideas Indirectly -- References -- A Recent Result About Random Metric Spaces Explains Why All of Us Have Similar Learning Potential -- 1 Formulation of the Problem -- 2 Our Explanation -- References -- Finitely Generated Sets of Fuzzy Values: If ``And'' Is Exact, Then ``Or'' Is Almost Always Approximate, and Vice Versa-A Theorem -- 1 Formulation of the Problem -- 2 Definitions and the Main Result -- 3 How General Is This Result? -- 4 What if We Allow Unlimited Number of ``And''-Operations and Negations: Case Study -- References -- Fuzzy Logic Explains the Usual Choice of Logical Operations in 2-Valued Logic -- 1 Formulation of the Problem -- 2 Our Explanation -- 3 Auxiliary Result: Why the Usual Quantifiers? -- References. |
Record Nr. | UNINA-9910484321203321 |
Cham, Switzerland : , : Springer, , [2021] | ||
Materiale a stampa | ||
Lo trovi qui: Univ. Federico II | ||
|