Abstract
ABSTRACT S. Shary introduced the notion of quantifier solutions to interval systems, in which the uncertainty on the coefficients of a system is modelled by a selecting predicate, allowing an alternation in an arbitrary order of the logical quantifiers (∀ and ∃). AE solutions, a particular type of quantifier solutions, in which all the occurrences of the universal quantifier ∀ precede the occurrences of the existential quantifier ∃, have been studied by many authors. In this work we deal with EA solutions, another type of quantifier solutions to general interval linear systems, such that, in the selecting predicate, all the occurrences of the existential quantifier ∃ precede the occurrences of the universal quantifier ∀. The EA solutions can be considered as a dual form of AE solutions. We provide a full characterization of EA solutions. Moreover, we develop a necessary condition for EA solvability of the general interval linear systems, as well as a necessary and sufficient condition for a certain subcase.
Talk to us
Join us for a 30 min session where you can share your feedback and ask us any queries you have
Disclaimer: All third-party content on this website/platform is and will remain the property of their respective owners and is provided on "as is" basis without any warranties, express or implied. Use of third-party content does not indicate any affiliation, sponsorship with or endorsement by them. Any references to third-party content is to identify the corresponding services and shall be considered fair use under The CopyrightLaw.