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

• Κύριος συγγραφέας: Ioakimidis, Nikolaos
• Άλλοι συγγραφείς: Ιωακειμίδης, Νικόλαος
• Μορφή: Technical Report
• Γλώσσα: English
• Έκδοση: 2023
• Θέματα: 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...