Application of the method of quantifier elimination to Ben-Haim's info-gap decision theory (IGDT) under the presence of both horizon-of-uncertainty-related and ordinary interval uncertain variables

• Main Author: Ioakimidis, Nikolaos
• Other Authors: Ιωακειμίδης, Νικόλαος
• Format: Technical Report
• Language: English
• Published: 2023
• Subjects: Uncertainty; Info-gap; Information-gap; Ben-Haim's IGDT; Fractional-error model; Interval variables; Uncertainty parameter; Horizon of uncertainty; Rectangle; Rectangular cuboid; Areas; Volumes; Columns; Buckling loads; Springs; Equivalent spring constants; Resistors; Equivalent resistances; Quantified formulae; Quantifier elimination; Quantifier-free formulae

Problems under uncertainty conditions appear frequently in practice. The use of classical interval analysis constitutes an interesting tool for the study of such problems with the uncertain variables assumed to be interval variables. Ben-Haim's info-gap (or information-gap) decision theory (IGD...