Analytical descriptions of quantifier solutions to interval linear systems of relations

Autor: Irene A. Sharaya, Sergey P. Shary
Jazyk: angličtina
Rok vydání: 2022
Předmět:
Zdroj: Mathematics Open, Vol 01, Iss (2022)
Druh dokumentu: article
ISSN: 28110072
2811-0072
DOI: 10.1142/S2811007222500043
Popis: We study systems of relations of the form [Formula: see text], where [Formula: see text] is a vector of binary relations with the components “[Formula: see text]”, “[Formula: see text]”, and “[Formula: see text]”, while the parameters (elements of the matrix A and right-hand side vector b) are uncertain and can take values from prescribed intervals. What is considered to be the set of its solutions depends on which logical quantifier is associated with each interval-valued parameter and what is the order of the quantifier prefixes for specific parameters. For solution sets that correspond to the quantifier prefix of a general form, we present equivalent quantifier-free analytical descriptions in the classical interval arithmetic, in Kaucher complete interval arithmetic and in the usual real arithmetic.
Databáze: Directory of Open Access Journals