Quantifier elimination and quantifier-free formulae for universally–existentially (AE) quantified formulae in Ben-Haim's info-gap model of uncertainty

• Main Author: Ioakimidis, Nikolaos
• Other Authors: Ιωακειμίδης, Νικόλαος
• Language: English
• Published: Κανένας 2021
• Subjects: Uncertainty; Info-gap; Information-gap; IGDT; Non-probabilistic methods; Robust reliability; Robustness; Opportuneness; Universal quantifier; Existential quantifier; Quantified formulae; Quantifier elimination; Quantifier-free formulae; Rectangles; Area; Rectangular cuboids; Volume; Columns; Buckling load; Beams; Reactions; Mathematica; Αβεβαιότητα; Πληροφοριακό κενό; Κενό πληροφοριών; Μη πιθανοτικές μέθοδοι; Ισχυρή αξιοπιστία; Ανθεκτικότητα; Επιτευξιμότητα; Καθολικός ποσοδείκτης; Υπαρξιακός ποσοδείκτης; Τύποι με ποσοδείκτες; Απαλοιφή ποσοδεικτών; Τύποι χωρίς ποσοδείκτες; Ορθογώνια; Εμβαδόν; Ορθογώνια παραλληλεπίπεδα; Όγκος; Στύλοι; Φορτίο λυγισμού; Δοκοί; Αντιδράσεις

The method of quantifier elimination with implementations in some computer algebra systems already proved useful for the computation of both the robustness and the opportuneness (or opportunity) functions in Ben-Haim's info-gap (or information-gap) model of uncertainty. As is well known, this m...