Problems under uncertainty : quantifier elimination to universally–existentially (AE) quantified formulae related to two or more horizons of uncertainty

• Main Author: Ioakimidis, Nikolaos
• Other Authors: Ιωακειμίδης, Νικόλαος
• Language: English
• Published: Κανένας 2022
• Subjects: Uncertainty; Uncertainty parameter; Horizon of uncertainty; Information-gap; Info-gap; IGDT; System model; Info-gap uncertainty model; Universal quantifier; Existential quantifier; Universally–existentially (AE) quantified formulae; Quantifier elimination; Quantifier-free formulae; Product; Quotient; Fixed–free column; Buckling load; Mathematica; Aβεβαιότητα; Παράμετρος αβεβαιότητας; Ορίζοντας αβεβαιότητας; Πληροφοριακό κενό; Κενό πληροφοριών; Μοντέλο του συστήματος; Μοντέλο αβεβαιότητας πληροφοριακού κενού; Καθολικός ποσοδείκτης; Υπαρξιακός ποσοδείκτης; Καθολικά–υπαρξιακά (ΑΕ) ποσοτικοποιημένοι τύποι; Απαλοιφή ποσοδεικτών; Τύποι χωρίς ποσοδείκτες; Γινόμενο; Πηλίκο; Πακτωμένος–ελεύθερος στύλος; Φορτίο λυγισμού

Problems under uncertainty appear frequently in practical applications. Ben-Haim's IGDT (info-gap decision theory) constitutes a very efficient method for the study of such problems. The three components (or elements) of Ben-Haim's IGDT are (i) the system model, (ii) the info-gap uncertain...